Library of American University of Madaba

Normal View MARC View ISBD View

Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrucken, Germany, October 3-6, 2005 : proceedings / CHARME 2005 IFIP CHARME 2005 Dominique Borrione, Wolfgang Paul (eds.). - Berlin ; New York : Springer, 2005. - xii, 412 p. : ill. ; 24 cm. - Lecture notes in computer science ; 3725 0302-9743 ; .

Includes bibliographical references and index.



ISBN: 3540291059 (pbk.) 9783540291053

Subjects--Topical Terms:
Integrated circuits--Very large scale integration--Computer-aided design
Integrated circuits--Verification

Dewey Class. No.: 621.395 / C824