Practical design verification /
Practical design verification /
edited by Dhiraj K. Pradhan, Ian G. Harris
- Cambridge : Cambridge University Press, 2009
- xi, 276 p. : ill. ; 26 cm.
Includes bibliographical references and index
Model checking and equivalence checking -- Transaction-level system modeling -- Response checkers, monitors, and assertions -- System debugging strategies -- Test generation and coverage metrics -- SystemVerilog and Vera in a verification flow -- Decision diagrams for verification -- Boolean satisfiability and EDA applications
9780521859721 (hardback) 0521859727 (hardback)
Integrated circuits--Verification
Includes bibliographical references and index
Model checking and equivalence checking -- Transaction-level system modeling -- Response checkers, monitors, and assertions -- System debugging strategies -- Test generation and coverage metrics -- SystemVerilog and Vera in a verification flow -- Decision diagrams for verification -- Boolean satisfiability and EDA applications
9780521859721 (hardback) 0521859727 (hardback)
Integrated circuits--Verification