Correct Hardware Design and Verification Methods
Subtitle: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September ... (Lecture Notes in Computer Science)
Contributors: Tiziana Margaria (Editor); Tom Melham (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 2, 2001
Language: eng
Format: Paperback
Number of pages: 482
ISBN-13: 9783540425410
Subjects: Computer architecture & logic design; Software engineering; Systems analysis & design; Science/Mathematics; Electronics - Circuits - VLSI; Verification; Digital Computer Hardware; Very-Large-Scale Integration (Vlsi); Technology; Computers - General Information; Logic Design; Integrated circuits; General; Hardware - Personal Computers - General; Computers / Personal Computers & Microcomputers / General; Correct Hardware Design; Correct Systems Design; Formal Methods; Formal Verification; Hardware Design; Hardware Verification; Hardware/Software Codesign; Model Checking; Very large scale integration; Computer-aided design; Computer Engineering; Congresses