Author :
Bloem, Roderick ; Schaumont, Patrick
Abstract :
The four papers in this special section are extended versions of papers presented at the 2009 ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE).
Keywords :
Formal verification; High level synthesis; Meetings; Special issues and sections;
Journal_Title :
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
DOI :
10.1109/TCAD.2010.2060170
