Introduction to Formal Hardware Verification
Edition: 1 edition
Publisher: Springer
Published: November 23, 1999
Language: eng
Format: Hardcover
Number of pages: 299
ISBN-13: 9783540654452
Subjects: Computer Hardware & Operating Systems; Very large scale integration; General; Digital Computer Hardware; Very-Large-Scale Integration (Vlsi); Computers; Computers - General Information; Verification; Computer Books: General; Programming - Systems Analysis & Design; Integrated circuits; Logic Design; Circuit design; Computers / Personal Computers & Microcomputers / General; Computers / Programming / Systems Analysis & Design; Computers-Logic Design; Formal methods; Formale Methoden; Hardware verifikation; Hardware-Entwurf; Electronics - Circuits - VLSI; Computer-aided design