Correct hardware design and verification methods
Subtitle: 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings
By: Laurence Pierre, Thomas Kropf (eds.)
Contributors: Laurence, Pierre.; Kropf, Thomas, 1961-
Series: Lecture notes in computer science -- 1703.
Publisher: Springer
Published: 1999
Place of publication: New York
Language: eng
Number of pages: 366
Subjects: Integrated circuits -- Very large scale integration -- Computer-aided design -- Congresses; Integrated circuits -- Verification -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references and index.