Speculative execution in distributed controllers for high-level synthesis. - Miho Shimizu; Nagisa Ishiura; Sayuri Ota; Wakako Nakano (RSP, 2017)