00975nam a2200205 a 4500001001400000003000700014005001700021008004100038020002900079020002600108040000800134245008000142260005100222300003300273504005000306505033300356650003800689700002300727700001900750vtls000075465KUKTEM20251125095603.0131017t2009    enka   f      001 0 eng d  a9780521859721 (hardback)  a0521859727 (hardback)  aUMP00aPractical design verification /cedited by Dhiraj K. Pradhan, Ian G. Harris  aCambridge :bCambridge University Press,c2009  axi, 276 p. :bill. ;c26 cm.  aIncludes bibliographical references and index0 aModel 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 0aIntegrated circuitsxVerification1 aPradhan, Dhiraj K.1 aHarris, Ian G.