A Formal Verification Method of Scheduling in High-level Synthesis. - Chandan Karfa; Chittaranjan A. Mandal; Dipankar Sarkar 001; S. R. Pentakota; Chris Reade (ISQED, 2006)

Verification of Scheduling in High-level Synthesis. - Chandan Karfa; Chittaranjan A. Mandal; Dipankar Sarkar 001; S. R. Pentakota; Chris Reade (ISVLSI, 2006)