Title: Formal methods in computer-aided design
First published: 1998
Subjects: Congresses, Computer-aided design, Digital integrated circuits, Computer engineering, Verification, Automatic theorem proving, Formal methods (Computer science), Integrated circuits, Design and construction, Data processing, Circuits intégrés numériques, Conception et construction, Informatique, Congrès, Circuits intégrés, Vérification, Conception assistée par ordinateur, Théorèmes, Démonstration automatique, Micro-elektronica, CAD, Automatische bewijsvoering, Entwurfsautomation, Formale Methode, Model Checking, Verifikation, Kongress, Computacao aplicada
LC classification: TK7874.65 .F53 1998