Title: Formal methods in computer-aided design
Subjects: Digital integrated circuits, Computer engineering, Computer-aided design, Verification, Automatic theorem proving, Congresses, Formal methods (Computer science), Integrated circuits