Correct Hardware Design and Verification Methods
Subtitle: 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, ... (Lecture Notes in Computer Science)
Contributors: Dominique Borrione (Editor); Wolfgang Paul (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 26, 2005
Language: eng
Format: Paperback
Number of pages: 412
ISBN-13: 9783540291053
Subjects: Computer Hardware & Operating Systems; Systems analysis & design; Programming - Software Development; Computers - General Information; Computers; Computer Books: General; Hardware - Personal Computers - General; Logic Design; Computers / Logic Design; abstraction; correct hardware design; formal methods; Circuits intâegrâes áa tráes grande âechelle; Computer-aided design; Conception assistâee par ordinateur; Congresses; Congráes; Integrated circuits; Verification; Very large scale integration