11th Advanced Research Working Conference
on Correct Hardware Design and Verification Methods

4-7 September 2001
Institute for System Level Integration
Livingston, Scotland.

Sponsors

International Federation for Information Processing
CHARME 2001 is co-sponsored by the IFIP TC10/WG10.5 Working Group on Design and Engineering of Electronic Systems.
The CHARME 2001 organisers are grateful to the following companies for their generous support.

Intel Siemens Esterel Technologies