Correct hardware design and verification methods
Subtitle: IFIP WG10.5 advanced research working conference, CHARME  9̕5, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings
By: Paolo E. Camurati, Hans Eveking(eds.).
Contributors: Camurati, Paolo.; Eveking, Hans.
Series: Lecture notes in computer science ;; 987
Publisher: Springer
Published: 1995
Place of publication: Berlin; New York
Language: eng
Number of pages: 342
Subjects: Integrated circuits -- Very large scale integration -- Computer-aided design -- Congresses; Integrated circuits -- Verification -- Congresses
Genres: Congresses.
Other titles: CHARME '95
Notes: Includes bibliographical references.