High Quality Test Pattern Generation and Boolean Satisfiability
This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Boolean Satisfiability (SAT). A fast and highly fault efficient SAT-based ATPG framework is presented which is also able to generate high-quality delay tests such as robust path delay tests, as well as tests with long propagation paths to detect small delay defects.The aim of the techniques and methodologies presented in this book is to improve SAT-based ATPG, in order to make it applicable in industrial practice. Readers will learn to improve the performance and robustness of the overall test gene…
Mehr
CHF 150.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V104:
Folgt in ca. 10 Arbeitstagen
Produktdetails
Weitere Autoren: Eggersglüß, Stephan
- ISBN: 978-1-4419-9975-7
- EAN: 9781441999757
- Produktnummer: 11671179
- Verlag: Springer New York
- Sprache: Englisch
- Erscheinungsjahr: 2012
- Seitenangabe: 212 S.
- Masse: H24.5 cm x B16.4 cm x D1.8 cm 499 g
- Auflage: 2012
- Abbildungen: HC gerader Rücken kaschiert
- Gewicht: 499
100 weitere Werke von Rolf Drechsler:
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Ebook (PDF Format)
CHF 136.00
Automated Analysis of Virtual Prototypes at the Electronic System Level
Ebook (PDF Format)
CHF 94.50
Bewertungen
Anmelden