An edition of Correct hardware design and verification methods (2005)
Correct hardware design and verification methods
13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 ; proceedings
By CHARME 2005 (2005 Saarbrüchen, Germany)
Publish Date
2005
Publisher
Springer
Language
eng
Pages
412
Description:
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