Bookbot
Das Buch ist derzeit nicht auf Lager

Design für Testbarkeit, Fehlersuche und Zuverlässigkeit

Maßnahmen der nächsten Generation unter Verwendung formaler Techniken

Parameter

Seitenzahl
204 Seiten
Lesezeit
8 Stunden

Mehr zum Buch

Das Buch präsentiert innovative Ansätze zur Entwicklung der nächsten Generation integrierter Schaltungen für sicherheitskritische Anwendungen. Es behandelt zentrale Herausforderungen im Design für Testbarkeit, Fehlersuche und Zuverlässigkeit und kombiniert formale Techniken wie das Satisfiability (SAT)-Problem und Bounded Model Checking (BMC). Detaillierte Diskussionen und umfassende Evaluierungen anhand industrie-relevanter Benchmarks verdeutlichen die Wirksamkeit der Methoden. Zudem wird ein integriertes Framework vorgestellt, das standardisierte Software/Hardware-Schnittstellen implementiert.

Buchkauf

Design für Testbarkeit, Fehlersuche und Zuverlässigkeit, Sebastian Huhn, Rolf Drechsler

Sprache
Erscheinungsdatum
2024
Wir benachrichtigen dich per E-Mail.

Lieferung

  •  

Zahlungsmethoden

Feedback senden