Correct hardware design and verification methods
Subtitle: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings
By: Daniel Geist, Enrico Tronci, (Eds.).
Contributors: Geist, Daniel, 1961-; Tronci, Enrico, 1961-
Series: Lecture notes in computer science -- 2860.
Publisher: Springer-Verlag
Published: 2003
Place of publication: New York
Language: eng
Number of pages: 426
Subjects: Integrated circuits -- Very large scale integration -- Computer-aided design -- Congresses; Integrated circuits -- Verification -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references and index.