Title: Formal verification : an essential toolkit for modern VLSI design
Subjects: Integrated circuits, very large scale integration