Specman/Verification Books

Specman Books

Design Verification with e Author : Samir Palnitkar ISBN 0131413090 Publisher Prentice Hall Professional Technical Reference Publish Date Auguts, 2003 Page 416 Preview   The e-Hardware Verification Language Author : Sasan Iman and Sunita Joshi ISBN 1402080239 Publisher Kluwer Academic Publishers Publish Date May, 2004 Page 349 Preview   Aspect-Oriented Programming with the e Verification Language: A Pragmatic Guide for Testbench Developers Author : David Robinson ISBN 0123742102 Publisher Morgan Kaufmann Publishers Publish Date August, 2007 Page 244 Preview

Verification Books

Metric Driven Design Verification: An Engineer's and Executive's Guide to First Pass Success Author : Hamilton B. Carter; Shankar G. Hemmady ISBN 0387381511 Publisher Springer Verlag Publish Date May, 2007 Page 361 Preview   Writing Testbenches: Functional Verification of HDL Models Author : Janick Bergeron ISBN 1402074018 Publisher Kluwer Academic Publishers Publish Date February, 2003 Page 512 Preview   Effective Functional Verification: Principles and Processes Author : Srivatsa Vasudevan ISBN 0387286012 Publisher Springer Verlag Publish Date June, 2006 Page 256 Preview   Principles of Functional Verification Author : Andrea S. Meyer ISBN 0750676175 Publisher Newnes Publish Date November, 2003 Page 240 Preview

SystemVerilog Books

Step-by-step Functional Verification with SystemVerilog and OVM Author : Sasan Iman ISBN 0981656218 Publisher Hansen Brown Publishing Publish Date May, 2008 Page 520 Preview   SystemVerilog for Verification: A Guide to Learning the Testbench Language Features Author : Spear, Chris ISBN 0387270361 Publisher Springer Publish Date June, 2007 Page 429 Preview   Verification Methodology Manual For Systerm Verilog Author : Andy Nightingale, Alan Hunter, Eduard Cerny and Janick Bergeron ISBN 0387255389 Publisher Springer-Verlag New York Inc Publish Date 2005 Page 503 Preview   Writing Testbenches Using SystemVerilog Author : Janick Bergeron ISBN 0387292217 Publisher Springer-Verlag New York Inc Publish Date 2006 Page 412 Preview   A Practical Guide for System Verilog Assertions Author : Srikanth Vijayaraghavan and Meyyappan Ramanathan ISBN 0387260498 Publisher Springer Verlag Publish Date 2005 Page 334 Preview   Hardware Verification With SystemVerilog: An Object-oriented Framework Author : Mike Mintz and Robert Ekendahl ISBN 0387717382 Publisher Springer Publish Date May, 2007 Page 314 Preview