Correct hardware design and verification methods
Subtitle: 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 ; proceedings
By: Dominique Borrione, Wolfgang Paul (eds.).
Contributors: Borrione, Dominique.; Paul, Wolfgang J., 1951-; IFIP WG 10.5.
Series: Lecture notes in computer science -- 3725.
Publisher: Springer
Published: 2005
Place of publication: Berlin; New York
Language: eng
Number of pages: 412
Subjects: Integrated circuits -- Very large scale integration -- Computer-aided design -- Congresses; Integrated circuits -- Verification -- Congresses
Genres: Congresses.
Other titles: CHARME 2005.; IFIP CHARME 2005.
Notes: Includes bibiographical references and index.

Also issued online.