Correct Hardware Design and Verification Methods
Subtitle: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, ... (Lecture Notes in Computer Science)
Contributors: Daniel Geist (Editor); Enrico Tronci (Editor)
Edition: 1 edition
Publisher: Springer
Published: December 5, 2003
Language: eng
Format: Paperback
Number of pages: 426
ISBN-13: 9783540203636
Subjects: Computer Hardware & Operating Systems; Systems analysis & design; Computers; Computers - General Information; Science/Mathematics; Logic Design; Computers / Logic Design; abstraction; correct hardware design; correct systems design; formal methods; formal specification; formal verification; hardware design; General; Computer-aided design; Congresses; Integrated circuits; Verification; Very large scale integration