25-26 March 2006, Vienna, Austria A satellite event of the ETAPS 2006 group of conferences |
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.