-
RecordNumber
16885
-
Author
,
-
Title
VLSI design methods
-
Author Statement
Proceed. of the IFIP WG 10.2/ WG 10.5 Inter. Workshop...
-
Publication
North-Holland , North-Holland
-
Publication Year
1990
-
Collation
2V., illus., tables
-
Notes
Includes bibliographical references , 044488372X
-
Contents
V.1. Formal VLSI specification and synthesis.- V.2. Formal VLSI correctness verification
-
Subject
Integrated circuits- Very large scale integration , Computer-aided design , Integrated circuits-Very Large scale integration
-
ADDED ENTRIES
Claesen, Luc J. M , , ,
-
LC Class
TK
-
LC Number
7874
-
LC CutterNumber
.I3283
-
LC Date
1989
-
Link To Document :
