Integrated circuit authentication : hardware trojans and counterfeit detection /

A roadmap for formal property verification /
by: Dasgupta, Pallab
Published: (2006)

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

High-level verification : methods and tools for verification of system-level designs /
by: Kundu, Sudipta
Published: (2011)

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

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

Hardware malware /
by: Krieg, Christian, et al.
Published: (2013)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Timing verification of application-specific integrated circuits (ASICs) /
by: Nekoogar, Farzad
Published: (1999)

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

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

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

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

Test and design-for-testability in mixed-signal integrated circuits /
Published: (2004)

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

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

Scalable hardware verification with symbolic simulation /
by: Bertacco, Valeria
Published: (2006)

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

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

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

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

Practical design verification /
Published: (2009)

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