Hagen Gädke Andreas Koch Accelerating Speculative Execution in High-Level Synthesis with Cancel Tokens. 183-194 2008 ARC http://dx.doi.org/10.1007/978-3-540-78610-8_19 conf/arc/2008 db/conf/arc/arc2008.html#GadkeK08