Title: Current trends in hardware verification and automated theorem proving
Subjects: Very large scale integration, Design and construction, Verification, Integrated circuits, Automatic theorem proving