Title: Modelling and verification in structured integrated circuit design
Subjects: Integrated circuits, Large scale integration, Design and construction