Title page [2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design]
2008
The following topics are dealt with: arithmetic circuits verification; semantics of system description languages; latency-insensitive hardware-software interfaces; on-the-fly equivalence checker based on Boolean equation systems; directed-logical testing for functional verification of microprocessors; deterministic multithreaded software synthesis from polychronous specifications; fault-tolerant real-time scheduler; LambdaRAM verification; wide-area distributed cache for high performance computing; on-chip communication design; and Bluespec SystemVerilog.