Cover Image

Co-verification of hardware and software for ARM SoC design /

Show other versions (3)

Bibliographic Details
Main Author:	Andrews, Jason R.
Format:	Book
Language:	English
Published:	Burlington, MA : Elsevier/Newnes, [2005]
Series:	Embedded technology series.
Subjects:	Integrated circuits > Verification. Computer software > Verification. Systems on a chip.

Similar Items

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)

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

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

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

Practical design verification /
Published: (2009)

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

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

Introduction to formal hardware verification /
by: Kropf, Thomas, 1961-
Published: (1999)

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

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

Formal verification of hardware design /
by: Yoeli, Michael, 1917-
Published: (1990)

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

Verification techniques for system-level design /
by: Fujita, Masahiro, 1956-
Published: (2008)

Verification techniques for system-level design /
by: Fujita, Masahiro, 1956-
Published: (2008)

Correct hardware design and verification methods : IFIP WG10.5 advanced research working conference, CHARME ̕95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings /
Published: (1995)

Applied formal verification /
by: Perry, Douglas L.
Published: (2005)

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

Verification techniques for system-level design /
by: Fujita, Masahiro, 1956-
Published: (2008)

Formal hardware verification : methods and systems in comparison /
Published: (1997)

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

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

Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 ; proceedings /
Published: (2005)

Interconnect-centric design for advanced SoC and NoC /
Published: (2004)

Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings /
Published: (2001)

Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings /
Published: (1999)

Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings /
Published: (2003)

Hardware specification, verification, and synthesis : Mathematical aspects : proceedings /
Published: (1990)

Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings /
Published: (2002)

Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings /
Published: (2001)

Computer aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999 ; proceedings /
Published: (1999)

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

Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings /
Published: (2000)

Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings /
Published: (1998)

Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [as printed], May 24-26, 1993 : proceedings /
Published: (1993)

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

EDA for IC system design, verification, and testing /
Published: (2006)

Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 : proceedings /
Published: (2005)

Formal hardware verification : methods and systems in comparison /
Published: (1997)

Verification by error modeling : using testing techniques in hardware verification /
by: Radecka, Katarzyna
Published: (2003)