Formal VLSI correctness verification : VLSI design methods. 2 /
Formal aspects of VLSI design : proceedings of the 1985 Edinburgh Workshop on VLSI, Edinburgh, Scotland, U.K. /
VLSI engineering /
VLSI-Systeme. /
VLSI-Systeme /
Computer aids for VLSI design. /
Design of vlsi circuits : based on venus /
VLSI array processors /
VLSI technology : fundamentals and applications /
Circuits, interconnections, and packaging for VLSI /
Surface and Interface Effects in VLSI /
VLSI signal processing systems /
Asynchronous circuit design for VLSI signal processing. /
VLSI fault modeling and testing techniques. /
Very Large Scale Integration /VLSI/.
MOS-VLSI Technik : eine Einführung in Technologie, Entwurf, CAD-Systeme, Schaltkreise /
Formale Logik /
VLSI design of digital systems : proceedings of the IFIP TC 10/WG 10.5 : International Conference on very large scale integration Vancouver, 10-12 August 1987 /
Technical specifications.
Diety SPECIFIC™.
Formal VLSI specification and synthesis : VLSI design methods. 1 /