Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair /

Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair /

Due to the dramatic increase in design complexity, modern circuits are often produced with functional errors. While improvements in verification allow engineers to find more errors, fixing these errors remains a manual and challenging task. Functional Design Errors in Digital Circuits Diagnosis cove...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Chang, Kai-hui (Συγγραφέας), Markov, Igor L. (Συγγραφέας), Bertacco, Valeria (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Dordrecht : Springer Netherlands, 2009.
Σειρά:	Lecture Notes in Electrical Engineering, 32
Θέματα:	Engineering. Logic design. Computer-aided engineering. Electronic circuits. Circuits and Systems. Computer-Aided Engineering (CAD, CAE) and Design. Logic Design.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

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

Taxonomies for the Development and Verification of Digital Systems
Έκδοση: (2005)

ESL Models and their Application Electronic System Level Design and Verification in Practice /
ανά: Bailey, Brian, κ.ά.
Έκδοση: (2010)

Regular Nanofabrics in Emerging Technologies Design and Fabrication Methods for Nanoscale Digital Circuits /
ανά: Ben Jamaa, M. Haykel
Έκδοση: (2011)

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

Error Control for Network-on-Chip Links
ανά: Fu, Bo, κ.ά.
Έκδοση: (2012)

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

Analysis and Design of Resilient VLSI Circuits Mitigating Soft Errors and Process Variations /
ανά: Garg, Rajesh, κ.ά.
Έκδοση: (2010)

Digitally-Assisted Analog and RF CMOS Circuit Design for Software-Defined Radio
Έκδοση: (2011)

Post-Silicon and Runtime Verification for Modern Processors
ανά: Wagner, Ilya, κ.ά.
Έκδοση: (2011)

Scalable Hardware Verification with Symbolic Simulation
ανά: Bertacco, Valeria
Έκδοση: (2006)

CMOS Circuits for Passive Wireless Microsystems
ανά: Yuan, Fei
Έκδοση: (2011)

Thermal and Power Management of Integrated Circuits
ανά: Vassighi, Arman, κ.ά.
Έκδοση: (2006)

Design and Analysis of Biomolecular Circuits Engineering Approaches to Systems and Synthetic Biology /
Έκδοση: (2011)

Process Variations and Probabilistic Integrated Circuit Design
Έκδοση: (2012)

Ultra High-Speed CMOS Circuits Beyond 100 GHz /
ανά: Gharavi, Sam, κ.ά.
Έκδοση: (2012)

Nanoscale Memory Repair
ανά: Horiguchi, Masashi, κ.ά.
Έκδοση: (2011)

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

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

Ultra Low-Power Integrated Circuit Design for Wireless Neural Interfaces
ανά: Holleman, Jeremy, κ.ά.
Έκδοση: (2011)

Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction /
Έκδοση: (2010)

Dependability in Electronic Systems Mitigation of Hardware Failures, Soft Errors, and Electro-Magnetic Disturbances /
ανά: Kanekawa, Nobuyasu, κ.ά.
Έκδοση: (2011)

Nanometer Variation-Tolerant SRAM Circuits and Statistical Design for Yield /
ανά: Abu-Rahma, Mohamed H., κ.ά.
Έκδοση: (2013)

Analysis and Design of Resilient VLSI Circuits Mitigating Soft Errors and Process Variations
ανά: Garg, Rajesh
Έκδοση: (2010)

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

Extreme Low-Power Mixed Signal IC Design Subthreshold Source-Coupled Circuits /
ανά: Tajalli, Armin, κ.ά.
Έκδοση: (2010)

Power-constrained Testing of VLSI Circuits
ανά: Nicolici, Nicola, κ.ά.
Έκδοση: (2003)

Computer Methods for Analysis of Mixed-Mode Switching Circuits
ανά: Yuan, Fei, κ.ά.
Έκδοση: (2004)

Full-Chip Nanometer Routing Techniques
ανά: Ho, Tsung-Yi, κ.ά.
Έκδοση: (2007)

Regular Fabrics in Deep Sub-Micron Integrated-Circuit Design
ανά: Mo, Fan, κ.ά.
Έκδοση: (2004)

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

CTL for Test Information of Digital ICS
ανά: Kapur, Rohit
Έκδοση: (2002)

Power-Aware Testing and Test Strategies for Low Power Devices
Έκδοση: (2010)

Advanced Test Methods for SRAMs Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies /
ανά: Bosio, Alberto, κ.ά.
Έκδοση: (2010)

Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification /
ανά: Gamatie, Abdoulaye
Έκδοση: (2010)

Hardware Acceleration of EDA Algorithms Custom ICs, FPGAs and GPUs /
ανά: Gulati, Kanupriya, κ.ά.
Έκδοση: (2010)

On and Off-Chip Crosstalk Avoidance in VLSI Design
ανά: Duan, Chunjie, κ.ά.
Έκδοση: (2010)

Minimizing and Exploiting Leakage in VLSI Design
ανά: Jayakumar, Nikhil, κ.ά.
Έκδοση: (2010)

VLSI Design for Video Coding H.264/AVC Encoding from Standard Specification to Chip /
ανά: Lin, Youn-Long Steve, κ.ά.
Έκδοση: (2010)

Open Verification Methodology Cookbook
ανά: Glasser, Mark
Έκδοση: (2009)

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

Cannot write session to /tmp/vufind_sessions/sess_j088o81fc90bfhhcm9go1aco3i