Title: Theorem provers in circuit design
Subjects: Congresses, Computer-aided design, Digital integrated circuits, Automatic theorem proving, Electronics, Microprogramming, Computer science, Artificial intelligence, Design and construction, Data processing