Functional Design Errors in Digital Circuits: Diagnosis Correction and Repair

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

Book Overview

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. In particular, this book describes: (1) techniques for bug trace minimization that simplify debugging; (2) an RTL error diagnosis method that identifies the root cause of errors directly; (3) a counterexample-guided error-repair...

• Format: Paperback
• Language: English
• ISBN: 9048181127
• ISBN13: 9789048181124
• Release Date: October 2010
• Publisher: Springer
• Length: 200 Pages
• Weight: 0.71 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"