Designing Correct Circuits 2004 27-28 March, Barcelona A satellite event of the ETAPS 2004 group of conferences

The 2004 DCC workshop brought together a stimulating mix of academic and industrial researchers in formal methods for hardware design and verification. Participants were able to learn about the current state of the art in formally-based hardware verification and discuss how more effective design and verification methods can be developed.

Much research in hardware verification now takes place in industry, as well as in academia. For further progress in our field, we must ensure that academics and industrial researchers continue to work together on the real problems facing hardware designers and those developing System on a Chip solutions. A major aim of the workshop was to open the necessary communication channels.

• Scientific programme.
• Participants' proceedings.
• Abstracts accepted for DCC 2004.

Mary Sheeran and Tom Melham, 2003.

• The call for abstracts. (33K PDF)