Equivalence checking of scheduling with speculative code transformations in high-level synthesis. - Chi-Hui Lee; Che-Hua Shih; Juinn-Dar Huang; Jing-Yang Jou (ASP-DAC, 2011)