Title :
Proceedings. Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE´06) (IEEE Cat. No. 06EX1398)
Abstract :
The following topics are dealt with: formal methods; model checking; rule-based hardware design; hardware verification; transaction level modeling; programming models; SoC-implemented architectures; time and clocks; and scheduling.
Keywords :
circuit CAD; formal verification; logic design; scheduling; system-on-chip; SoC-implemented architectures; clocks; formal methods; hardware verification; model checking; programming models; rule-based hardware design; scheduling; transaction level modeling; Design automation; Logic design; Scheduling;
Conference_Titel :
Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on
Conference_Location :
Napa, CA
Print_ISBN :
1-4244-0421-5
DOI :
10.1109/MEMCOD.2006.1695887
