Comprehensive functional verification the complete industry cycle /

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)

Standardized functional verification /
by: Wiemann, Alan
Published: (2007)

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

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

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Assertion-based design /
by: Foster, Harry, 1956-
Published: (2004)

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

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

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

Verification methodology manual for SystemVerilog /
Published: (2006)

Simulation and verification of electronic and biological systems /
Published: (2011)

Practical design verification /
Published: (2009)

Hardware design verification : simulation and formal method-based approaches /
by: Lam, William K. C., 1962-
Published: (2005)

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