Standardized functional verification /

Metric-driven design verification : an engineer's and executive's guide to first pass success /
by: Carter, Hamilton B.
Published: (2007)

SAT-based scalable formal verification solutions /
by: Ganai, Malay
Published: (2007)

Functional verification coverage measurement and analysis /
by: Piziali, Andrew
Published: (2008)

Creating assertion-based IP /
by: Foster, Harry, 1956-
Published: (2007)

Integrated circuit test engineering : modern techniques /
by: Grout, Ian
Published: (2006)

A practical introduction to PSL /
by: Eisner, Cindy
Published: (2006)

Comprehensive functional verification the complete industry cycle /
by: Wile, Bruce
Published: (2005)

Professional verification : a guide to advanced functional verification /
by: Wilcox, Paul, MBA
Published: (2004)

Advanced verification techniques : a systemC based approach for successful tapeout /
by: Singh, Leena, 1971-
Published: (2004)

Functional verification of programmable embedded architectures : a top-down approach /
by: Mishra, Prabhat, 1973-
Published: (2005)

Hardware verification with C++ : a practitioner's handbook /
by: Mintz, Mike
Published: (2006)

SystemVerilog for verification : a guide to learning the testbench language features /
by: Spear, Chris
Published: (2006)

SystemVerilog for verification : a guide to learning the testbench language features /
by: Spear, Chris
Published: (2008)

ASIC/SoC functional design verification : a comprehensive guide to technologies and methodologies /
by: Mehta, Ashok B.
Published: (2018)

The simple art of SoC design : closing the gap between RTL and ESL /
by: Keating, Michael, 1950 May 2-
Published: (2011)

Taxonomies for the development and verification of digital systems /
Published: (2005)

Co-verification of hardware and software for ARM SoC design /
by: Andrews, Jason R.
Published: (2005)

Formal system verification : state-of the-art and future trends /
Published: (2018)

Principles of functional verification /
by: Meyer, Andreas (Andreas S.)
Published: (2003)

Functional design errors in digital circuits : diagnosis, correction and repair /
by: Chang, Kai-hui
Published: (2009)

Verification methodology manual for SystemVerilog /
Published: (2006)

Models in hardware testing : lecture notes of the forum in honor of Christian Landrault /
Published: (2010)

Principles of functional verification /
by: Meyer, Andreas
Published: (2004)

Principles of functional verification /
by: Meyer, Andreas (Andreas S.)
Published: (2003)

Effective functional verification : principles and processes /
by: Vasudevan, Srivatsa
Published: (2006)

Integrated circuit authentication : hardware trojans and counterfeit detection /
by: Tehranipoor, Mohammad, et al.
Published: (2014)

Functional verification coverage measurement and analysis /
by: Piziali, Andrew
Published: (2004)

Counterfeit integrated circuits : detection and avoidance /
by: Tehranipoor, Mark, et al.
Published: (2015)

Professional verification : a guide to advanced functional verification /
by: Wilcox, Paul, MBA
Published: (2004)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS /
by: Yoeli, Michael, 1917-
Published: (2008)

Hardware verification with SystemVerilog : an object-oriented framework /
by: Mintz, Mike
Published: (2007)

Generating hardware assertion checkers : for hardware verification, emulation, post-fabrication debugging and on-line monitoring /
by: Boulé, Marc, 1974-
Published: (2008)

Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published: (2006)

Verification plans : the five-day verification strategy for modern hardware verification languages /
by: James, Peet
Published: (2004)

Test pattern generation using boolean proof engines /
Published: (2009)

Practical design verification /
Published: (2009)