01199nam a2200253 a 4500 vtls000075465 KUKTEM 20251125095603.0 131017t2009 enka f 001 0 eng d 9780521859721 (hardback) 0521859727 (hardback) 201407071019 saini 201310171108 ida UMP TK7874.58 .P73 2009 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 Integrated circuits Verification Pradhan, Dhiraj K. Harris, Ian G. 0 0 0 0 20000 20000 2019-09-04 396.09 0 TK7874.58 .P73 2009 0000084906 2019-09-04 00:00:00 1 396.09 2019-09-04 OPEN VIRTUA40 72842 72848 VTLSSORT0080*0200*0201*0400*0900*2450*2600*3000*5040*5050*6500*7000*7001*9992