Correct hardware design and verification methods
Subtitle: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings
By: Tiziana Margaria, Tom Melham (eds.)
Contributors: Margaria, Tiziana.; Melham, T. F.
Series: Lecture notes in computer science -- 2144.
Publisher: Springer
Published: 2001
Place of publication: New York
Language: eng
Number of pages: 482
Subjects: Integrated circuits -- Very large scale integration -- Computer-aided design -- Congresses; Integrated circuits -- Verification -- Congresses
Genres: Congresses.
Other titles: IFIP WG 10.5 advanced research working conference.; CHARME 2001.
Notes: Includes bibliographical references and index.