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) |