DocumentCode
1330200
Title
Guest Editorial
Author
Bloem, Roderick ; Schaumont, Patrick
Volume
29
Issue
10
fYear
2010
Firstpage
1457
Lastpage
1458
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;
fLanguage
English
Journal_Title
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
Publisher
ieee
ISSN
0278-0070
Type
jour
DOI
10.1109/TCAD.2010.2060170
Filename
5580235
Link To Document