Functional Design Errors in Digital Circuits

Diagnosis Correction and Repair

AvKai-hui Chang,Igor L. Markov

Inbunden, Engelska, 2008

Del i serien Lecture Notes in Electrical Engineering

1 621 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

1 541 kr

Beskrivning

Functional Design Errors in Digital Circuits Diagnosis covers a wide spectrum of innovative methods to automate the debugging process throughout the design flow: from Register-Transfer Level (RTL) all the way to the silicon die. (2) an RTL error diagnosis method that identifies the root cause of errors directly;

Produktinformation

Utgivningsdatum:2008-12-10
Mått:155 x 235 x 20 mm
Vikt:483 g
Format:Inbunden
Språk:Engelska
Serie:Lecture Notes in Electrical Engineering
Antal sidor:200
Upplaga:2009
Förlag:Springer-Verlag New York Inc.
ISBN:9781402093647

Utforska kategorier

Elektronik och kommunikationer inom Naturvetenskap och teknik

Mer om författaren

Winner of the EDAA (European Design Automation Association) Outstanding Monograph Award in the Verification section. Co-authors Bertacco and Markov are existing Springer authors

Innehållsförteckning

Background and Prior Art.- Current Landscape in Design and Verification.- Finding Bugs and Repairing Circuits.- FogClear Methodologies and Theoretical Advances in Error Repair.- Circuit Design and Verification Methodologies.- Counterexample-Guided Error-Repair Framework.- Signature-Based Resynthesis Techniques.- Symmetry-Based Rewiring.- FogClear Components.- Bug Trace Minimization.- Functional Error Diagnosis and Correction.- Incremental Verification for Physical Synthesis.- Post-Silicon Debugging and Layout Repair.- Methodologies for Spare-Cell Insertion.- Conclusions.

Mer från samma författare

Valeria Bertacco, Igor L. Markov, Kai-hui Chang - Functional Design Errors in Digital Circuits, E-bok

Functional Design Errors in Digital Circuits

Valeria Bertacco, Igor L. Markov, Kai-hui Chang

E-bok

2008

1 977 kr

Mer från samma serie

James J. (Jong Hyuk) Park, Han-Chieh Chao, Hamid Arabnia, Neil Y. Yen - Advanced Multimedia and Ubiquitous Engineering, Inbunden

Del 352

Advanced Multimedia and Ubiquitous Engineering

James J. (Jong Hyuk) Park, Han-Chieh Chao, Hamid Arabnia, Neil Y. Yen

Inbunden, 2015

2 156 kr

Roland Beutler - Digital Terrestrial Broadcasting Networks, Inbunden

Del 23

Digital Terrestrial Broadcasting Networks

Roland Beutler

Inbunden, 2008

1 083 kr

Julien Bourgeois, Wolfgang Minker - Time-Domain Beamforming and Blind Source Separation, Inbunden

Time-Domain Beamforming and Blind Source Separation

Julien Bourgeois, Wolfgang Minker

Inbunden, 2009

1 083 kr

Bernd Iser, Gerhard Schmidt, Wolfgang Minker - Bandwidth Extension of Speech Signals, Inbunden

Del 13

Bandwidth Extension of Speech Signals

Bernd Iser, Gerhard Schmidt, Wolfgang Minker

Inbunden, 2008

1 083 kr

Telman Aliev - Digital Noise Monitoring of Defect Origin, Inbunden

Digital Noise Monitoring of Defect Origin

Telman Aliev

Inbunden, 2007

1 083 kr

Steven Powell, J.P. Shim - Wireless Technology, Inbunden

Wireless Technology

Steven Powell, J.P. Shim

Inbunden, 2009

1 621 kr

Ronald Waynant, Darrell B. Tata - Proceedings of Light-Activated Tissue Regeneration and Therapy Conference, Inbunden

Del 12

Proceedings of Light-Activated Tissue Regeneration and Therapy Conference

Ronald Waynant, Darrell B. Tata

Inbunden, 2008

1 669 kr

Alan H.S. Chan - Advances in Industrial Engineering and Operations Research, Inbunden

Del 5

Advances in Industrial Engineering and Operations Research

Alan H.S. Chan

Inbunden, 2008

2 223 kr

Oscar Castillo, Li Xu - Trends in Intelligent Systems and Computer Engineering, Häftad

Trends in Intelligent Systems and Computer Engineering

Oscar Castillo, Li Xu

Häftad, 2008

1 621 kr

He Huang, Yuh-Shyan Chen - Advances in Communication Systems and Electrical Engineering, Inbunden

Del 4

Advances in Communication Systems and Electrical Engineering

He Huang, Yuh-Shyan Chen

Inbunden, 2008

2 159 kr

Du kanske också är intresserad av

Kai-hui Chang, Igor L. Markov, Valeria Bertacco - Functional Design Errors in Digital Circuits, Häftad

Del 32

Functional Design Errors in Digital Circuits

Kai-hui Chang, Igor L. Markov, Valeria Bertacco

Häftad, 2010

1 541 kr

Valeria Bertacco, Igor L. Markov, Kai-hui Chang - Functional Design Errors in Digital Circuits, E-bok

Functional Design Errors in Digital Circuits

Valeria Bertacco, Igor L. Markov, Kai-hui Chang

E-bok

2008

1 977 kr

Axel Legay, Valeria Bertacco - Hardware and Software: Verification and Testing, E-bok

Hardware and Software: Verification and Testing

Axel Legay, Valeria Bertacco

E-bok

2013

708 kr

Valeria Bertacco - Scalable Hardware Verification with Symbolic Simulation, E-bok

Scalable Hardware Verification with Symbolic Simulation

Valeria Bertacco

E-bok

2006

1 367 kr

Ilya Wagner, Valeria Bertacco - Post-Silicon and Runtime Verification for Modern Processors, Häftad

Post-Silicon and Runtime Verification for Modern Processors

Ilya Wagner, Valeria Bertacco

Häftad, 2014

1 619 kr

Valeria Bertacco - Scalable Hardware Verification with Symbolic Simulation, Häftad

Scalable Hardware Verification with Symbolic Simulation

Valeria Bertacco

Häftad, 2010

1 113 kr

Valeria Bertacco - Scalable Hardware Verification with Symbolic Simulation, Inbunden

Scalable Hardware Verification with Symbolic Simulation

Valeria Bertacco

Inbunden, 2005

1 115 kr

Valeria Bertacco, Axel Legay - Hardware and Software: Verification and Testing, Häftad

Del 8244

Hardware and Software: Verification and Testing

Valeria Bertacco, Axel Legay

Häftad, 2013

561 kr

Valeria Bertacco, Ilya Wagner - Post-Silicon and Runtime Verification for Modern Processors, E-bok

Post-Silicon and Runtime Verification for Modern Processors

Valeria Bertacco, Ilya Wagner

E-bok

2010

1 977 kr

Ilya Wagner, Valeria Bertacco - Post-Silicon and Runtime Verification for Modern Processors, Inbunden

Post-Silicon and Runtime Verification for Modern Processors

Ilya Wagner, Valeria Bertacco

Inbunden, 2010

1 621 kr