✦ LIBER ✦
Test Pattern Generation using Boolean Proof Engines || SAT-Based ATPG
✍ Scribed by Drechsler, Rolf; Eggersglüβ, Stephan; Fey, Görschwin; Tille, Daniel
- Book ID
- 120646970
- Publisher
- Springer Netherlands
- Year
- 2009
- Weight
- 480 KB
- Category
- Article
- ISBN
- 9048123607
No coin nor oath required. For personal study only.