Bookbot
Das Buch ist derzeit nicht auf Lager

Design for Testability, Debug and Reliability

Next Generation Measures Using Formal Techniques

Parameter

Seitenzahl
188 Seiten
Lesezeit
7 Stunden

Mehr zum Buch

Focusing on advancements in integrated circuits, the book presents innovative strategies for enhancing design reliability and testability, particularly in safety-critical applications. It explores formal techniques like the Satisfiability (SAT) problem and Bounded Model Checking (BMC) to tackle challenges related to test data volume and application time. Detailed discussions and extensive evaluations of these methods are provided, alongside industry-relevant benchmarks. The authors integrate these approaches into a unified framework with standardized software and hardware interfaces.

Publikation

Buchkauf

Design for Testability, Debug and Reliability, Sebastian Huhn, Rolf Drechsler

Sprache
Erscheinungsdatum
2022
product-detail.submit-box.info.binding
(Paperback)
Wir benachrichtigen dich per E-Mail.

Lieferung

  •  

Zahlungsmethoden

Feedback senden