PBO-Based Test Compression

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21240%2F14%3A00219272" target="_blank" >RIV/68407700:21240/14:00219272 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1109/DSD.2014.86" target="_blank" >http://dx.doi.org/10.1109/DSD.2014.86</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/DSD.2014.86" target="_blank" >10.1109/DSD.2014.86</a>

Result language
angličtina
Original language name
PBO-Based Test Compression
Original language description
This paper presents a novel ATPG and test compression algorithm based on Pseudo-Boolean (PBO) optimization. Similarly to SAT-based ATPGs, the test for each fault is represented implicitly as a PBO instance. The optimization process solves the problem of maximizing the number of unspecified values in the test. A novel don’t care aware circuit-to-PBO conversion procedure is presented. The obtained unspecified values in the test are efficiently exploited in test compression. The produced compressed test sequence is suited for the RESPIN decompression architecture, thus for testing systems-on-chip. The presented experimental results show the efficiency and competitiveness of the proposed method.
Czech name
—
Czech description
—

Project
—
Continuities
S - Specificky vyzkum na vysokych skolach<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year
2014
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)