Title: Current Trends in Hardware Verification and Automated Theorem Proving
Subjects: Engineering, Electronics, Integrated circuits, very large scale integration, Electronic circuit design, Automatic theorem proving