Taxonomies for the Development and Verification of Digital Systems

Taxonomies for the Development and Verification of Digital Systems

Εμφάνιση άλλων εκδόσεων (1)

"In the complicated world of system-on-chip design, we need a common language so we know what we're talking about. By providing definitions for the terms used in the modeling, implementation, and verification of electronic systems, the taxonomies described in this book will help us find a...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Bailey, Brian (Επιμελητής έκδοσης), Martin, Grant (Επιμελητής έκδοσης), Anderson, Thomas (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US, 2005.
Θέματα:	Engineering. Logic design. Computer-aided engineering. Electrical engineering. Electronics. Microelectronics. Electronic circuits. Circuits and Systems. Electronics and Microelectronics, Instrumentation. Logic Design. Electrical Engineering. Computer-Aided Engineering (CAD, CAE) and Design.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

A Roadmap for Formal Property Verification
ανά: DasGupta, Pallab
Έκδοση: (2006)

Standardized Functional Verification
ανά: Wiemann, Alan
Έκδοση: (2008)

VLSI Physical Design: From Graph Partitioning to Timing Closure
ανά: Kahng, Andrew B., κ.ά.
Έκδοση: (2011)

System Verilog for Verification A Guide to Learning the Testbench Language Features /
ανά: Spear, Chris
Έκδοση: (2008)

Taxonomies for the Development and Verification of Digital Systems
ανά: Bailey, Brian
Έκδοση: (2005)

Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits
ανά: CASTRO-LÓPEZ, R., κ.ά.
Έκδοση: (2006)

The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500™ /
ανά: Silva, Francisco da, κ.ά.
Έκδοση: (2006)

Timing Optimization Through Clock Skew Scheduling
Έκδοση: (2009)

Verification Methodology Manual for SystemVerilog
ανά: Bergeron, Janick, κ.ά.
Έκδοση: (2006)

Nanometer Technology Designs High-Quality Delay Tests
ανά: Tehranipoor, Mohammad, κ.ά.
Έκδοση: (2008)

Low-Power High-Level Synthesis for Nanoscale CMOS Circuits
ανά: Patra, Priyardarsan, κ.ά.
Έκδοση: (2008)

CMOS Current-Mode Circuits for Data Communications
ανά: Yuan, Fei
Έκδοση: (2007)

Closing the Power Gap Between ASIC & Custom Tools and Techniques for Low Power Design /
ανά: Chinnery, David, κ.ά.
Έκδοση: (2007)

Introduction to Embedded System Design Using Field Programmable Gate Arrays
ανά: Dubey, Rahul
Έκδοση: (2009)

Ultra Low-Power Electronics and Design
Έκδοση: (2004)

Substrate Noise Coupling in Mixed-Signal ASICs
Έκδοση: (2003)

Equivalence Checking of Digital Circuits Fundamentals, Principles, Methods /
ανά: Molitor, Paul, κ.ά.
Έκδοση: (2004)

Digital Systems Design and Prototyping Using Field Programmable Logic and Hardware Description Languages /
ανά: Salcic, Zoran, κ.ά.
Έκδοση: (2000)

Leakage in Nanometer CMOS Technologies
ανά: Narendra, Siva G., κ.ά.
Έκδοση: (2006)

Essentials of Electronic Testing for Digital, Memory and Mixed-Signal VLSI Circuits
ανά: Bushnell, Michael L., κ.ά.
Έκδοση: (2002)

Introduction to Mixed-Signal, Embedded Design
ανά: Doboli, Alex, κ.ά.
Έκδοση: (2011)

Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04 /
Έκδοση: (2005)

Static Timing Analysis for Nanometer Designs A Practical Approach /
ανά: Chadha, Rakesh, κ.ά.
Έκδοση: (2009)

Power Distribution Networks with On-Chip Decoupling Capacitors
ανά: Popovich, Mikhhail, κ.ά.
Έκδοση: (2008)

Low-Power High-Resolution Analog to Digital Converters Design, Test and Calibration /
ανά: Zjajo, Amir, κ.ά.
Έκδοση: (2011)

The Verillog® Hardware Description Language
ανά: Thomas, Donald E., κ.ά.
Έκδοση: (2002)

Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation
Έκδοση: (2003)

New Algorithms, Architectures and Applications for Reconfigurable Computing
Έκδοση: (2005)

Quantifying and Exploring the Gap Between FPGAs and ASICs Measuring and Exploring /
ανά: Kuon, Ian, κ.ά.
Έκδοση: (2010)

Power Estimation and Optimization Methodologies for VLIW-Based Embedded Systems
ανά: Zaccaria, Vittorio, κ.ά.
Έκδοση: (2003)

Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair /
ανά: Chang, Kai-hui, κ.ά.
Έκδοση: (2009)

Semiconductor Modeling For Simulating Signal, Power, and Electromagnetic Integrity /
ανά: Leventhal, Roy G., κ.ά.
Έκδοση: (2006)

Dynamics of Microelectromechanical Systems
ανά: Lobontiu, Nicolae
Έκδοση: (2007)

Rapid Prototyping of Digital Systems
ανά: Hamblen, James O., κ.ά.
Έκδοση: (2006)

Rapid Prototyping of Digital Systems
ανά: Hamblen, James O., κ.ά.
Έκδοση: (2008)

Constraint-Based Verification
ανά: Yuan, Jun, κ.ά.
Έκδοση: (2006)

Functional Verification Coverage Measurement and Analysis
ανά: Piziali, Andrew
Έκδοση: (2008)

Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout
ανά: Singh, Leena, κ.ά.
Έκδοση: (2004)

Rapid Prototyping of Digital Systems
ανά: Hamblen, James O., κ.ά.
Έκδοση: (2002)

System-on-a-Chip Verification Methodology and Techniques /
ανά: Rashinkar, Prakash, κ.ά.
Έκδοση: (2002)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_059jev6fi9ql69krj94gfhflsv