Proceedings. Fourth ACM IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE'06) (IEEE Cat. No. 06EX1398)

摘要

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.