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

Contributor(s):

Material type: Text

TextPublication details: Cambridge : Cambridge University Press, 2009Description: xi, 276 p. : ill. ; 26 cmISBN:

9780521859721 (hardback)
0521859727 (hardback)

Subject(s):

Integrated circuits -- Verification

Contents:

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

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 2 )

Holdings
Item type	Current library	Call number	Copy number	Status	Date due	Barcode
Open Shelf	UMPLIB PEKAN	TK7874.58 .P73 2009 (Browse shelf(Opens below))	1	Available		0000084906

Includes bibliographical references and index