Title: Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 ; proceedings /
Authors: Borrione, Dominique.; Paul, Wolfgang J., 1951-; IFIP WG 10.5
Publisher: Springer,
Year: 2005
Subjects: Integrated circuits Very large scale integration Computer-aided design Congresses; Integrated circuits Verification Congresses