Title :
Proceedings. Third ACM & IEEE International Conference on Formal Methods and Models for Co-Design (IEEE Cat. No. 05EX1093)
Abstract :
The following topics are dealt with: hardware synthesis; hardware languages; hardware semantics; software verification; system-level verification; model checking; microarchitectural specification; microarchitectural verification; core algorithms.
Keywords :
algorithm theory; computer architecture; formal specification; formal verification; hardware description languages; hardware-software codesign; core algorithms; hardware languages; hardware semantics; hardware synthesis; microarchitectural specification; microarchitectural verification; model checking; software verification; system-level verification;
Conference_Titel :
Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. Proceedings. Third ACM and IEEE International Conference on
Conference_Location :
Verona
Print_ISBN :
0-7803-9227-2
DOI :
10.1109/MEMCOD.2005.1487882
