[ETAPS 2006 Logo]
Designing Correct Circuits 2006

25-26 March 2006, Vienna, Austria

A satellite event of the ETAPS 2006 group of conferences

The Sixth International Workshop on Designing Correct Circuits was held on 25th and 26th March 2006 in Vienna, Austria, as a satellite event of ETAPS 2006. Previous workshops in the informal DCC series were held in Oxford (1990), Lyngby (1992), Båstad (1996), Grenoble (2002), and Barcelona (2004). These meetings were all very stimulating events, and each made a contribution to building our research community.

The 2006 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-chip solutions. A major aim of the workshop was to provide the necessary communication channels.

Mary Sheeran and Tom Melham, 2005.

Last modified Fri Feb 10 05:18:36 GMT 2006