Formal Methods in Computer-Aided Design
Subtitle: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings (Lecture Notes in Computer Science)
Contributors: Ganesh Gopalakrishnan (Editor); Phillip Windley (Editor)
Edition: 1 edition
Publisher: Springer
Published: November 25, 1998
Language: eng
Format: Paperback
Number of pages: 529
ISBN-13: 9783540651918
Subjects: Computer aided design (CAD); Integrated circuits; Congresses; Software Engineering; Digital Integrated Circuit Design; Technology; Computers - General Information; General; Science/Mathematics; Electronics - Digital; Computer Engineering; Computer Graphics - General; Circuit Design; Computers / Personal Computers & Microcomputers / General; Formal Verification; Hardware Verification; Model Checking; Verification; Automatic theorem proving; Computer-aided design; Digital integrated circuits
First sentence: Several techniques for formally verifying out-of-order microprocessor designs using theorem proving have recently been suggested [4, 10-12].