Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings
2003 : L'Aquila, Italy
Berlin
Springer-Verlag
c2003
xii, 426 p.: ill
Lecture notes in computer science; 0682
Includes bibliographies
ISBN: 354020363X
Daniel Geist, Enrico Tronci, )Eds.(
1
Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration