Items related to Functional Design Errors in Digital Circuits: Diagnosis...

Functional Design Errors in Digital Circuits: Diagnosis Correction and Repair: 32 (Lecture Notes in Electrical Engineering, 32) - Hardcover

 
9781402093647: Functional Design Errors in Digital Circuits: Diagnosis Correction and Repair: 32 (Lecture Notes in Electrical Engineering, 32)

Synopsis

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 framework to automatically fix errors in gate-level and RTL designs; (4) a symmetry-based rewiring technology for fixing electrical errors; (5) an incremental verification system for physical synthesis; and (6) an integrated framework for post-silicon debugging and layout repair. The solutions provided in this book can greatly reduce debugging effort, enhance design quality, and ultimately enable the design and manufacture of more reliable electronic devices.

"synopsis" may belong to another edition of this title.

About the Author

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

From the Back Cover

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 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 framework to automatically fix errors in gate-level and RTL designs; (4) a symmetry-based rewiring technology for fixing electrical errors; (5) an incremental verification system for physical synthesis; and (6) an integrated framework for post-silicon debugging and layout repair. In addition, Functional Design Errors in Digital Circuits Diagnosis describes a comprehensive evaluation of spare-cell insertion methods. The solutions provided in this book can greatly reduce debugging effort, enhance design quality, and ultimately enable the design and manufacture of more reliable electronic devices.

"About this title" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date2008
  • ISBN 10 1402093640
  • ISBN 13 9781402093647
  • BindingHardcover
  • LanguageEnglish
  • Number of pages224

Buy Used

Condition: Fine
Zustand: Sehr gut | Seiten: 200...
View this item

£ 7.58 shipping from Germany to United Kingdom

Destination, rates & speeds

Buy New

View this item

FREE shipping within United Kingdom

Destination, rates & speeds

Other Popular Editions of the Same Title

9789048181124: Functional Design Errors in Digital Circuits: Diagnosis Correction and Repair: 32 (Lecture Notes in Electrical Engineering, 32)

Featured Edition

ISBN 10:  9048181127 ISBN 13:  9789048181124
Publisher: Springer, 2010
Softcover

Search results for Functional Design Errors in Digital Circuits: Diagnosis...

Stock Image

Kai-Hui Chang, Igor L. Markov, Valeria Bertacco
Published by SPRINGER NATURE, 2008
ISBN 10: 1402093640 ISBN 13: 9781402093647
Used Hardcover

Seller: Buchpark, Trebbin, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Sehr gut. Zustand: Sehr gut | Seiten: 200 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 4705182/2

Contact seller

Buy Used

£ 98.79
Convert currency
Shipping: £ 7.58
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Kai-Hui Chang, Igor L. Markov, Valeria Bertacco
Published by SPRINGER NATURE, 2008
ISBN 10: 1402093640 ISBN 13: 9781402093647
Used Hardcover

Seller: Buchpark, Trebbin, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Sehr gut. Zustand: Sehr gut | Seiten: 200 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 4705182/12

Contact seller

Buy Used

£ 98.79
Convert currency
Shipping: £ 7.58
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Chang, Kai-hui; Markov, Igor L.; Bertacco, Valeria
Published by Springer, 2008
ISBN 10: 1402093640 ISBN 13: 9781402093647
New Hardcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9781402093647_new

Contact seller

Buy New

£ 139.22
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Kai-hui Chang|Igor L. Markov|Valeria Bertacco
Published by Springer Netherlands, 2008
ISBN 10: 1402093640 ISBN 13: 9781402093647
New Hardcover
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Coverage of novel techniques to automate IC debugging, a subject rarely covered in other booksComprehensive scope and solutions: from RTL to post-silicon debuggingThe innovative techniques covered in this book are recent and have been featu. Seller Inventory # 4095882

Contact seller

Buy New

£ 120.39
Convert currency
Shipping: £ 21.28
From Germany to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Kai-Hui Chang
Published by SPRINGER NATURE Dez 2008, 2008
ISBN 10: 1402093640 ISBN 13: 9781402093647
New Hardcover
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 framework to automatically fix errors in gate-level and RTL designs; (4) a symmetry-based rewiring technology for fixing electrical errors; (5) an incremental verification system for physical synthesis; and (6) an integrated framework for post-silicon debugging and layout repair. The solutions provided in this book can greatly reduce debugging effort, enhance design quality, and ultimately enable the design and manufacture of more reliable electronic devices. 200 pp. Englisch. Seller Inventory # 9781402093647

Contact seller

Buy New

£ 140.76
Convert currency
Shipping: £ 9.37
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Kai-Hui Chang
Published by Springer, 2008
ISBN 10: 1402093640 ISBN 13: 9781402093647
New Hardcover

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 framework to automatically fix errors in gate-level and RTL designs; (4) a symmetry-based rewiring technology for fixing electrical errors; (5) an incremental verification system for physical synthesis; and (6) an integrated framework for post-silicon debugging and layout repair. The solutions provided in this book can greatly reduce debugging effort, enhance design quality, and ultimately enable the design and manufacture of more reliable electronic devices. Seller Inventory # 9781402093647

Contact seller

Buy New

£ 144.27
Convert currency
Shipping: £ 11.91
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Chang, Kai-hui; Markov, Igor L.; Bertacco, Valeria
Published by Springer, 2008
ISBN 10: 1402093640 ISBN 13: 9781402093647
New Hardcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar2411530145572

Contact seller

Buy New

£ 134.92
Convert currency
Shipping: £ 55.03
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket