Correct hardware design and verification methods
Subtitle: IFIP WG 10.5 advanced research working conference, CHARME  '95, 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 -- Design and construction -- Data processing -- Congresses.; Integrated circuits -- Verification -- Congresses.; Computer-aided design -- Congresses.
Other titles: CHARME '95
Notes: Includes bibliographical references.