Title: VLSI Specification, Verification and Synthesis
Subjects: Integrated circuits, very large scale integration