Equivalence checking of scheduling with speculative code transformations in high-level synthesis.

Chi-Hui Lee, Che-Hua Shih, Juinn-Dar Huang, Jing-Yang Jou

Browse the full ASPDAC paper archive.