Chandan Karfa Chittaranjan A. Mandal Dipankar Sarkar S. R. Pentakota Chris Reade Verification of Scheduling in High-level Synthesis. 141-146 2006 conf/isvlsi/2006 ISVLSI http://doi.ieeecomputersociety.org/10.1109/ISVLSI.2006.93 db/conf/isvlsi/isvlsi2006.html#KarfaMSPR06