A Formal Verification Method of Scheduling in High-level Synthesis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chandan Karfa, Chittaranjan A. Mandal, Dipankar Sarkar, S. R. Pentakota, Chris Reade. A Formal Verification Method of Scheduling in High-level Synthesis. In 7th International Symposium on Quality of Electronic Design (ISQED 2006), 27-29 March 2006, San Jose, CA, USA. pages 71-78, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Chandan Karfa' in GoogleThis author has not been identified. Look up 'Chittaranjan A. Mandal' in GoogleThis author has not been identified. Look up 'Dipankar Sarkar' in GoogleThis author has not been identified. Look up 'S. R. Pentakota' in GoogleThis author has not been identified. Look up 'Chris Reade' in Google

runs on WebDSL