Title: Correct hardware design and verification methods
First published: 2005
Subjects: Congresses, Integrated circuits, Very large scale integration, Verification, Computer-aided design, TECHNOLOGY & ENGINEERING, Essai technique, Circuit integre a tres grande echelle, Circuits, COMPUTERS, Circuits integres a tres grande echelle, Logic Design, VLSI & ULSI, Conception assistee par ordinateur, Circuit integre, Logic, Congres, Electronics, Informatique, Model-checking (Informatique), Verification formelle, Circuits integres, Integrated circuits, very large scale integration