Formal Methods in Computer-Aided Design
Subtitle: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings (Lecture Notes in Computer Science)
Contributors: Mandayam Srivas (Editor); Albert Camilleri (Editor)
Edition: 1 edition
Publisher: Springer
Published: December 6, 1996
Language: eng
Format: Paperback
Number of pages: 470
ISBN-13: 9783540619376
Subjects: Computer aided design (CAD); Storage media & peripherals; Systems analysis & design; Technology; Hardware - Personal Computers - General; Computers - General Information; Verification; Logic; Automata; Digital Integrated Circuit Design; Electronics - Digital; Science/Mathematics; Digital integrated circuits; Congresses; Computer Engineering; Programming - Software Development; Circuit Design; Computer-Aided Verification; Computergestützte Verifikation; Computergestützter Entwurf; Computers / Personal Computers & Microcomputers / General; Formal Methods; Formal Spezification; Formale Methoden; Automatic theorem proving; Integrated circuits; Computer Science; Computer-aided design
First sentence: For an integrated circuit, implementation verification is the process of verifying that the physical layout of the IC is consistent with the initial design entry.