Eggersglüß, Stephan
High Quality Test Pattern Generation and Boolean Satisfiability
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
Nyckelord: Engineering, Circuits and Systems, Electronics and Microelectronics, Instrumentation, Processor Architectures
- Författare
- Eggersglüß, Stephan
- Drechsler, Rolf
- Utgivare
- Springer
- Utgivningsår
- 2012
- Språk
- en
- Utgåva
- 2012
- Sidantal
- 18 sidor
- Kategori
- Teknologi, energi, trafik
- Format
- E-bok
- eISBN (PDF)
- 9781441999764