Proceedings. Third ACM & IEEE International Conference on Formal Methods and Models for Co-Design (IEEE Cat. No. 05EX1093)
2005
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.