Design für Testbarkeit, Fehlersuche und Zuverlässigkeit
Maßnahmen der nächsten Generation unter Verwendung formaler Techniken
Auteurs
En savoir plus sur le livre
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.
Achat du livre
Design für Testbarkeit, Fehlersuche und Zuverlässigkeit, Rolf Drechsler, Sebastian Huhn
- Langue
- Année de publication
- 2024
- Reliure
- (rigide)
Modes de paiement
Personne n'a encore évalué .
- Titre
- Design für Testbarkeit, Fehlersuche und Zuverlässigkeit
- Sous-titre
- Maßnahmen der nächsten Generation unter Verwendung formaler Techniken
- Langue
- Allemand
- Auteurs
- Rolf Drechsler, Sebastian Huhn
- Publié
- 2024
- Format
- rigide
- Pages
- 204
- ISBN13
- 9783031453182
- Séries
- Mots clés
- Description
- 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.