Taxonomies for the Development and Verification of Digital Systems

Taxonomies for the Development and Verification of Digital Systems

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखक:	Bailey, Brian (लेखक)
निगमित लेखक:	SpringerLink (Online service)
अन्य लेखक:	Martin, Grant, Anderson, Thomas
स्वरूप:	ई-पुस्तक
भाषा:	English
प्रकाशित:	Boston, MA : Springer Science+Business Media, Inc., 2005.
विषय:	Logic design Electronics Systems engineering Engineering Computer-aided design Computer aided design Computer engineering
ऑनलाइन पहुंच:	Click here to view the full text content
टैग :	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

समान संसाधन

Standardized Functional Verification
द्वारा: Wiemann, Alan
प्रकाशित: (2008)

A roadmap for formal property verification /
द्वारा: DasGupta, Pallab

System Verilog for Verification A Guide to Learning the Testbench Language Features /
द्वारा: Spear, Christian B.
प्रकाशित: (2008)

SAT-based scalable formal verification solutions /
द्वारा: Ganai, Malay K.
प्रकाशित: (2007)

Verification methodology manual for SystemVerilog /
द्वारा: Bergeron, Janick

Constraint-based verification /
द्वारा: Yuan, Jun

Open verification methodology cookbook
द्वारा: Glasser, Mark
प्रकाशित: (2009)

Scalable techniques for formal verification
द्वारा: Ray, Sandip
प्रकाशित: (2010)

Hardware verification with systemverilog : an object-oriented framework /
द्वारा: Mintz, Mike
प्रकाशित: (2007)

Functional verification coverage measurement and analysis
द्वारा: Piziali, Andrew
प्रकाशित: (2008)

New Algorithms, Architectures and Applications for Reconfigurable Computing
द्वारा: Lysaght, Patrick
प्रकाशित: (2005)

SystemVerilog for verification : a guide to learning the testbench language features /
द्वारा: Spear, Chris
प्रकाशित: (2012)

VLSI physical design: from graph partitioning to timing closure
प्रकाशित: (2011)

Functional Verification of Programmable Embedded Architectures A Top-Down Approach /
द्वारा: Mishra, Prabhat, 1973-
प्रकाशित: (2005)

Logic synthesis and verification /
प्रकाशित: (2002)

Systemverilog for verification : a guide to learning the testbench language features /
द्वारा: Spear, Christian B.

Design and verification of microprocessor systems for high-assurance applications
प्रकाशित: (2010)

Scalable Hardware Verification with Symbolic Simulation
द्वारा: Bertacco, Valeria
प्रकाशित: (2006)

Rapid Prototyping of Digital Systems
द्वारा: Hamblen, James O., 1954-
प्रकाशित: (2008)

Rapid prototyping of digital systems
द्वारा: Hamblen, James O., 1954-
प्रकाशित: (2006)

The MPEG representation of digital media
प्रकाशित: (2012)

Logic synthesis and verification /
प्रकाशित: (2002)

Design for Manufacturability and Statistical Design A Constructive Approach /
द्वारा: Orshansky, Michael
प्रकाशित: (2008)

Direct transistor-level layout for digital blocks
द्वारा: Gopalakrishnan, Prakash
प्रकाशित: (2005)

Digital design and implementation with field programmable devices
द्वारा: Navabi, Zainalabedin
प्रकाशित: (2005)

SystemC kernel extensions for heterogeneous system modeling : a framework for multi-MoC modeling & simulation /
द्वारा: Patel, Hiren D.

Embedded system design modeling, synthesis and verification /
प्रकाशित: (2009)

Design for manufacturability and yield for nano-scale CMOS /
द्वारा: Chiang, Charles C.
प्रकाशित: (2007)

Design of computers and other complex digital devices /
द्वारा: Lee, Sunggu
प्रकाशित: (2000)

Design of computers and other complex digital devices /
द्वारा: Lee, Sunggu
प्रकाशित: (2000)

Designing with video : focusing the user-centred design process /
द्वारा: Ylirisku, Salu
प्रकाशित: (2007)

CMOS Active Inductors and Transformers Principle, Implementation, and Applications /
द्वारा: Yuan, Fei
प्रकाशित: (2008)

Electronics computer aided design /
प्रकाशित: (2010)

Design theory andmethods using cad/cae /
द्वारा: Chang, Kuang-Hua
प्रकाशित: (2015)

Power-efficient system design
प्रकाशित: (2010)

Processor and system-on-chip simulation
प्रकाशित: (2010)

Introduction to mixed-signal, embedded design
द्वारा: Doboli, Alex
प्रकाशित: (2011)

Fundamentals of digital manufacturing science
द्वारा: Zhou, Zude
प्रकाशित: (2012)

Heterogeneous multicore processor technologies for embedded systems /
द्वारा: Uchiyama, Kunio
प्रकाशित: (2012)

Embedded software design and programming of multiprocessor system-on-chip simulink and system C case studies /
प्रकाशित: (2010)