Eggersglüß, Stephan
High Quality Test Pattern Generation and Boolean Satisfiability
Table of contents
1. Introduction
Stephan Eggersglüß, Rolf Drechsler
2. Circuits and Testing
Stephan Eggersglüß, Rolf Drechsler
3. Boolean Satisfiability
Stephan Eggersglüß, Rolf Drechsler
4. ATPG Based on Boolean Satisfiability
Stephan Eggersglüß, Rolf Drechsler
5. Dynamic Clause Activation
Stephan Eggersglüß, Rolf Drechsler
6. Circuit-Based Dynamic Learning
Stephan Eggersglüß, Rolf Drechsler
7. High Quality ATPG for Transition Faults
Stephan Eggersglüß, Rolf Drechsler
8. Path Delay Fault Model
Stephan Eggersglüß, Rolf Drechsler
9. Summary and Outlook
Stephan Eggersglüß, Rolf Drechsler
Keywords: Engineering, Circuits and Systems, Electronics and Microelectronics, Instrumentation, Processor Architectures
- Author(s)
- Eggersglüß, Stephan
- Drechsler, Rolf
- Publisher
- Springer
- Publication year
- 2012
- Language
- en
- Edition
- 2012
- Page amount
- 18 pages
- Category
- Technology, Energy, Traffic
- Format
- Ebook
- eISBN (PDF)
- 9781441999764
