Chandan Karfa Chittaranjan A. Mandal Dipankar Sarkar S. R. Pentakota Chris Reade A Formal Verification Method of Scheduling in High-level Synthesis. 71-78 2006 conf/isqed/2006 ISQED http://doi.ieeecomputersociety.org/10.1109/ISQED.2006.10 db/conf/isqed/isqed2006.html#KarfaMSPR06