Taylor's Library

Normal view MARC view ISBD view

Practical design verification / edited by Dhiraj K. Pradhan, Ian G. Harris.

Contributor(s): Pradhan, Dhiraj K | Harris, Ian G.
Publisher: Cambridge : Cambridge University Press, 2009Description: xi, 276 p. : ill. ; 26 cm.ISBN: 9780521859721 (hbk.); 0521859727 (hbk.).Subject(s): Integrated circuits -- VerificationDDC classification: 621.381548
Contents:
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.
Item type Current location Call number Status Notes Date due Barcode Remark
Main Collection TU External Storage-LCS
621.381548 PRA 2009 (Browse shelf) Available SOCIT,15008,03,GR 5000121728 Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1

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.