Chi-Hui Lee, Che-Hua Shih, Juinn-Dar Huang, Jing-Yang Jou. Equivalence checking of scheduling with speculative code transformations in high-level synthesis. In Proceedings of the 16th Asia South Pacific Design Automation Conference, ASP-DAC 2011, Yokohama, Japan, January 25-27, 2011. pages 497-502, IEEE, 2011. [doi]
Abstract is missing.