Le livre est actuellement en rupture de stock
Design for Testability, Debug and Reliability
Next Generation Measures Using Formal Techniques
Auteurs
En savoir plus sur le livre
Focusing on the advancement of integrated circuits, this book presents innovative strategies for enhancing design testability, debugging, and reliability, particularly in safety-critical environments. It explores formal techniques like the Satisfiability (SAT) problem and Bounded Model Checking (BMC) to tackle challenges related to increasing test data volume and application time. Detailed evaluations of these methods are provided, alongside industry-relevant benchmarks, all within a unified framework that supports standardized software and hardware interfaces.
Édition
Achat du livre
Design for Testability, Debug and Reliability, Rolf Drechsler, Sebastian Huhn
- Langue
- Année de publication
- 2021
- Reliure
- (rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .
- Titre
- Design for Testability, Debug and Reliability
- Sous-titre
- Next Generation Measures Using Formal Techniques
- Langue
- Anglais
- Auteurs
- Rolf Drechsler, Sebastian Huhn
- Publié
- 2021
- Format
- rigide
- Pages
- 188
- ISBN13
- 9783030692087
- Séries
- Mots clés
- Description
- Focusing on the advancement of integrated circuits, this book presents innovative strategies for enhancing design testability, debugging, and reliability, particularly in safety-critical environments. It explores formal techniques like the Satisfiability (SAT) problem and Bounded Model Checking (BMC) to tackle challenges related to increasing test data volume and application time. Detailed evaluations of these methods are provided, alongside industry-relevant benchmarks, all within a unified framework that supports standardized software and hardware interfaces.