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; London
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: Also known as CHARME '95.

Includes bibliographical references.