Formal Hardware Verification
Subtitle: Methods and Systems in Comparison (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: August 27, 1997
Language: eng
Format: Paperback
Number of pages: 367
ISBN-13: 9783540634751
Subjects: Computer architecture & logic design; General Theory of Computing; Storage media & peripherals; Utilities & tools; Technology; Electronics - Circuits - VLSI; Very large scale integration; Digital Computer Hardware; Very-Large-Scale Integration (Vlsi); Computers - General Information; Logic Design; Computer Books: General; Integrated circuits; Formal methods (Computer scien; Computer Science; Computers / Personal Computers & Microcomputers / General; automatic verification; formal methods; Verification; Computer-aided design; Formal methods (Computer science); Computer Bks - General Information