| Title | Provably Optimal Test Cube Generation using Quantified Boolean Formula Solving |
| Author | Matthias Sauer, *Sven Reimer (Univ. of Freiburg, Germany), Ilia Polian (Univ. of Passau, Germany), Tobias Schubert, Bernd Becker (Univ. of Freiburg, Germany) |
| Page | pp. 533 - 539 |
| Detailed information (abstract, keywords, etc) | |
| Slides | |
| Title | Synthesizing Multiple Scan Chains by Cost-Driven Spectral Ordering |
| Author | *Louis Y.-Z. Lin, Christina C.-H. Liao, Charles H.-P. Wen (National Chiao Tung Univ., Taiwan) |
| Page | pp. 540 - 545 |
| Detailed information (abstract, keywords, etc) | |
| Title | A Binding Algorithm in High-Level Synthesis for Path Delay Testability |
| Author | *Yuki Yoshikawa (Kure National College of Tech., Japan) |
| Page | pp. 546 - 551 |
| Detailed information (abstract, keywords, etc) | |
| Slides | |
| Title | Full Exploitation of Process Variation Space for Continuous Delivery of Optimal Delay Test Quality |
| Author | Baris Arslan (Univ. of California, San Diego/Qualcomm, U.S.A.), *Alex Orailoglu (Univ. of California, San Diego, U.S.A.) |
| Page | pp. 552 - 557 |
| Detailed information (abstract, keywords, etc) | |