Title: Theorem provers in circuit design
Subjects: Automatic theorem proving, Computer-aided design, Congresses, Integrated circuits, Very large scale integration, Design and construction, Data processing