Correct hardware design and verification methods : IFIP WG 10.5 advanced research working conference, CHARME'95 Frankfurt, Germany, October 1995 : proceedings
1995 : Frankfurt, Gr.
Berlin
Springer-Verlag
1995
viii, 342p.: ill., tables
Lecture notes in computer science; 789
Includes bibliographies
ISBN: 3540603859
Paolo E. Camurati, Hans Eveleing )eds.(
1
Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration
Congresses ، Integrated circuits -- Verification
QA
76
.
L28
Vol
.
987
AU
AU Camurati, Paolo E.
AU Eveking, Hans
CO International Federation for Information Processing