Title :
Fifth ACM & IEEE International Conference on Formal Methods and Models for Co-Design
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;
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
DOI :
10.1109/MEMCOD.2007.371264
