Practical design verification
Saved in:
Group Author: | ; |
---|---|
Published: |
Cambridge University Press,
|
Publisher Address: | Cambridge, UK New York |
Publication Dates: | 2009. |
Literature type: | Book |
Language: | English |
Subjects: | |
Carrier Form: | xi, 276 p.: ill. ; 26 cm. |
ISBN: |
9780521859721 (hardback) 0521859727 (hardback) |
Index Number: | TN45 |
CLC: | TN45 |
Call Number: | TN45/P895 |
Contents: |
Includes bibliographical references and index. Model checking and equivalence checking / Masahiro Fujita -- Transaction-level system modeling / Daniel Gajski and Samar Abdi -- Response checkers, monitors, and assertions / Harry Foster -- System debugging strategies / Wayne H. Wolf -- Test generation and coverage metrics / Ernesto Sánchez, Giovanni Squillero, and Matteo Sonza Reorda -- SystemVerilog and Vera in a verification flow / Shireesh Verma and Ian G. Harris -- Decision diagrams for verification / Maciej Ciesielski, Dhiraj K. Pradhan, and Abusaleh M. Jabir -- Boolean satisfiability and EDA applications / Joao Marques-Silva. |