DocumentCode
2806617
Title
Fifth ACM & IEEE International Conference on Formal Methods and Models for Co-Design
fYear
2007
fDate
May 30 2007-June 2 2007
Abstract
The following topics are dealt with: formal methods and models for co-design; HW/SW codesign; system level design; proof assistant COQ; globally asynchronous design; and locally asynchronous design.
Keywords
asynchronous circuits; formal languages; formal specification; hardware-software codesign; logic design; HW/SW codesign; formal methods; formal models; globally asynchronous design; locally asynchronous design; proof assistant COQ; system level design;
fLanguage
English
Publisher
ieee
Conference_Titel
Formal Methods and Models for Codesign, 2007. MEMOCODE 2007. 5th IEEE/ACM International Conference on
Conference_Location
Nice
Print_ISBN
1-4244-1050-9
Type
conf
DOI
10.1109/MEMCOD.2007.371264
Filename
4231757
Link To Document