Test Pattern Generation using Boolean Proof Engines
| Main Authors: | , , , |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2009.
|
| Edition: | 1st ed. 2009. |
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-90-481-2360-5 |
Table of Contents:
- Preliminaries
- Boolean Satisfiability
- SAT-Based ATPG
- Learning Techniques
- Multiple-Valued Logic
- Improved Circuit-to-CNF Conversion
- Branching Strategies
- Integration into Industrial Flow
- Delay Faults
- Summary and Outlook.