Title: Formal aspects of VLSI design
Subjects: Congresses, Design and construction, Integrated circuits, Very large scale integration