Practical design verification

Saved in:
Bibliographic Details
Group Author: Pradhan Dhiraj K; Harris Ian G
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.