Title: Formal methods for VLSI design
Subjects: Very large scale integration, Testing, Computer-aided design, Integrated circuits, Design and construction, Data processing