Metric-driven design verification : an engineer's and executive's guide to first pass success /
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
New York :
Springer,
2007.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
High-level verification : methods and tools for verification of system-level designs /
by: Kundu, Sudipta
Published: (2011)
by: Kundu, Sudipta
Published: (2011)
Effective functional verification : principles and processes /
by: Vasudevan, Srivatsa
Published: (2006)
by: Vasudevan, Srivatsa
Published: (2006)
Functional verification coverage measurement and analysis /
by: Piziali, Andrew
Published: (2004)
by: Piziali, Andrew
Published: (2004)
A roadmap for formal property verification /
by: Dasgupta, Pallab
Published: (2006)
by: Dasgupta, Pallab
Published: (2006)
SAT-based scalable formal verification solutions /
by: Ganai, Malay
Published: (2007)
by: Ganai, Malay
Published: (2007)
Integrated circuit test engineering : modern techniques /
by: Grout, Ian
Published: (2006)
by: Grout, Ian
Published: (2006)
Advanced verification techniques : a systemC based approach for successful tapeout /
by: Singh, Leena, 1971-
Published: (2004)
by: Singh, Leena, 1971-
Published: (2004)
Creating assertion-based IP /
by: Foster, Harry, 1956-
Published: (2007)
by: Foster, Harry, 1956-
Published: (2007)
Functional verification coverage measurement and analysis /
by: Piziali, Andrew
Published: (2008)
by: Piziali, Andrew
Published: (2008)
Professional verification : a guide to advanced functional verification /
by: Wilcox, Paul, MBA
Published: (2004)
by: Wilcox, Paul, MBA
Published: (2004)
Standardized functional verification /
by: Wiemann, Alan
Published: (2007)
by: Wiemann, Alan
Published: (2007)
Comprehensive functional verification the complete industry cycle /
by: Wile, Bruce
Published: (2005)
by: Wile, Bruce
Published: (2005)
Hardware verification with C++ : a practitioner's handbook /
by: Mintz, Mike
Published: (2006)
by: Mintz, Mike
Published: (2006)
Practical design verification /
Published: (2009)
Published: (2009)
The simple art of SoC design : closing the gap between RTL and ESL /
by: Keating, Michael, 1950 May 2-
Published: (2011)
by: Keating, Michael, 1950 May 2-
Published: (2011)
ASIC/SoC functional design verification : a comprehensive guide to technologies and methodologies /
by: Mehta, Ashok B.
Published: (2018)
by: Mehta, Ashok B.
Published: (2018)
Hardware design verification : simulation and formal method-based approaches /
by: Lam, William K. C., 1962-
Published: (2005)
by: Lam, William K. C., 1962-
Published: (2005)
Co-verification of hardware and software for ARM SoC design /
by: Andrews, Jason R.
Published: (2005)
by: Andrews, Jason R.
Published: (2005)
Professional verification : a guide to advanced functional verification /
by: Wilcox, Paul, MBA
Published: (2004)
by: Wilcox, Paul, MBA
Published: (2004)
Advanced verification techniques : a SystemC based approach for successful tapeout /
by: Singh, Leena, 1971-
Published: (2004)
by: Singh, Leena, 1971-
Published: (2004)
Taxonomies for the development and verification of digital systems /
Published: (2005)
Published: (2005)
Effective functional verification : principles and processes /
by: Vasudevan, Srivatsa
Published: (2006)
by: Vasudevan, Srivatsa
Published: (2006)
Co-verification of hardware and software for ARM SoC design /
by: Andrews, Jason R.
Published: (2005)
by: Andrews, Jason R.
Published: (2005)
Co-verification of hardware and software for ARM SoC design /
by: Andrews, Jason R.
Published: (2005)
by: Andrews, Jason R.
Published: (2005)
Functional verification coverage measurement and analysis /
by: Piziali, Andrew
Published: (2004)
by: Piziali, Andrew
Published: (2004)
Applied formal verification /
by: Perry, Douglas L.
Published: (2005)
by: Perry, Douglas L.
Published: (2005)
A practical introduction to PSL /
by: Eisner, Cindy
Published: (2006)
by: Eisner, Cindy
Published: (2006)
EDA for IC system design, verification, and testing /
Published: (2006)
Published: (2006)
Co-verification of hardware and software for ARM SoC design /
by: Andrews, Jason R.
Published: (2005)
by: Andrews, Jason R.
Published: (2005)
Functional design errors in digital circuits : diagnosis, correction and repair /
by: Chang, Kai-hui
Published: (2009)
by: Chang, Kai-hui
Published: (2009)
Integrated circuit authentication : hardware trojans and counterfeit detection /
by: Tehranipoor, Mohammad, et al.
Published: (2014)
by: Tehranipoor, Mohammad, et al.
Published: (2014)
EDA for IC system design, verification, and testing /
Published: (2006)
Published: (2006)
Scalable hardware verification with symbolic simulation /
by: Bertacco, Valeria
Published: (2006)
by: Bertacco, Valeria
Published: (2006)
Comprehensive functional verification the complete industry cycle /
by: Wile, Bruce
Published: (2005)
by: Wile, Bruce
Published: (2005)
Comprehensive functional verification the complete industry cycle /
by: Wile, Bruce
Published: (2005)
by: Wile, Bruce
Published: (2005)
Introduction to formal hardware verification /
by: Kropf, Thomas, 1961-
Published: (1999)
by: Kropf, Thomas, 1961-
Published: (1999)
Taxonomies for the development and verification of digital systems /
Published: (2005)
Published: (2005)
Digital system verification : a combined formal methods and simulation framework /
by: Li, Lun, 1970-
Published: (2010)
by: Li, Lun, 1970-
Published: (2010)
Digital system verification : a combined formal methods and simulation framework /
by: Li, Lun, 1970-
Published: (2010)
by: Li, Lun, 1970-
Published: (2010)
Verification by error modeling : using testing techniques in hardware verification /
by: Radecka, Katarzyna
Published: (2003)
by: Radecka, Katarzyna
Published: (2003)