El libro está agotado actualmente
Más información sobre el libro
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.
Compra de libros
Design für Testbarkeit, Fehlersuche und Zuverlässigkeit, Sebastian Huhn, Rolf Drechsler
- Idioma
- Publicado en
- 2024
- product-detail.submit-box.info.binding
- (Tapa dura)
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
Nadie lo ha calificado todavía.
- Título
- Design für Testbarkeit, Fehlersuche und Zuverlässigkeit
- Subtítulo
- Maßnahmen der nächsten Generation unter Verwendung formaler Techniken
- Idioma
- Alemán
- Autores
- Sebastian Huhn, Rolf Drechsler
- Editorial
- Springer International Publishing
- Publicado en
- 2024
- Formato
- Tapa dura
- Páginas
- 204
- ISBN13
- 9783031453182
- Serie
- Descripción
- 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.