Cover Image

Verification techniques for system-level design/

Main Author:	Fujita, Masahiro, 1956-
Other Authors:	Ghosh, Indradeep,, Prasad, Mukul
Format:	Book
Language:	English
Published:	Amsterdam ; Boston: Elsevier/Morgan Kaufmann Publishers, c2008
Series:	The Morgan Kaufmann series in systems on silicon
Subjects:	Systems on a chip > Testing Integrated circuits > Verification

Similar Items

System integration: from transistor design to large scale integrated circuits/
by: Hoffmann, Kurt, 1951-
Published: (2004)

Introduction to advanced system-on-chip test design and optimization/
by: Larsson, Erik, 1966-
Published: (2005)

ESL design and verification: a prescription for electronic system-level methodology/
by: Bailey, Brian, 1959-
Published: (2007)

Test resource partitioning for system-on-a-chip/
by: Chakrabarty, Krishnendu
Published: (2002)

Advanced production testing of RF, SoC, and SiP devices
by: Kelly, Joe.
Published: (2007)

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

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

System-on-chip test architectures nanometer design for testability /
Published: (2008)

System-on-chip test architectures: nanometer design for testability/
Published: (2008)

Computer system design system-on-chip /
by: Flynn, M. J. 1934-
Published: (2011)

System-level modelling and design space exploration for multiprocessor embedded system-on-chip architectures
by: Erbaπs, πCaζgkan.
Published: (2006)

System integration from transistor design to large scale integrated circuits /
by: Hoffmann, Kurt, 1951-
Published: (2004)

System level design model with re-use of system IP
Published: (2003)

Winning the SoC revolution: experiences in real design/
Published: (2003)

Designer's guide to the Cypress PSoC
by: Ashby, Robert.
Published: (2005)

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

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

Networks on chip
Published: (2003)

Networks on chip /
Published: (2003)

Networks on chip/
Published: (2003)

Processor design : system-on-chip computing for ASICs and FPGAs /
Published: (2007)

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

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

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

On-chip communication architectures: system on chip interconnect/
by: Pasricha, Sudeep
Published: (2008)

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

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

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

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

Designing SOCs with configured cores: unleashing the Tensilica Xtensa and diamond cores/
by: Leibson, Steve
Published: (2006)

Networks on chips : technology and tools /
by: Benini, Luca, 1967-
Published: (2006)

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

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

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

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

System-level modelling and design space exploration for multiprocessor embedded system-on-chip architectures /
by: Erbas, Cagkan.
Published: (2006)

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

Layout design and verification/
Published: (1986)

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

Specification and verification of systolic arrays/
by: Ling, Nam, 1956-
Published: (1999)

Cannot write session to /tmp/vufind_sessions/sess_ntcg2ed15ptakmaf28uffgfse7