Cover Image

Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings /

Bibliographic Details
Corporate Author: CHARME'99 Bad Herrenalb, Germany
Other Authors: Pierre, Laurence, Kropf, Thomas, 1961-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [1999]
Series:Lecture notes in computer science. 1703.
Subjects:
Integrated circuits > Very large scale integration > Computer-aided design > Congresses.
Integrated circuits > Verification > Congresses.
Description
Physical Description:xi, 366 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3540665595 (pbk.)
ISSN:0302-9743 ;