Designing Correct Circuits 2002 6-7 April 2002, Grenoble A satellite event of the ETAPS 2002 group of conferences

The 2002 DCC workshop again brought together academic and industrial researchers in formal methods for hardware design and verification. It allowed participants to learn about the current state of the art in formally-based hardware verification and provided a venue for debate about how more effective design and verification methods can be developed.

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

• Copies of presentations made at DCC 2002.
• Scientific programme.
• Participants' proceedings.
• Website for the ACL2 2002 workshop (which immediately followed DCC 2002).

Mary Sheeran and Tom Melham, 2002.

• What is the workshop on Designing Correct Circuits about?
• Why hold a workshop on Designing Correct Circuits?
• The form of the workshop.
• Will there be a proceedings?
• The call for abstracts. (33K PDF)