Abstract

Debugging design errors is a challenging manual task which requires the analysis of long simulation traces. Trace compaction techniques help engineers analyze the cause of the problem by reducing the length of the trace. This work presents an optimal error trace compaction technique based on incremental SAT. The approach builds a SAT instance from the Iterative Logic Array representation of the circuit and performs a binary search to find the minimum trace length. Since failing properties in the original trace must be maintained in the compacted trace, we enrich our formulation with constraints to guarantee property preservation. Extensive experiments show the effectiveness out SAT based approach as it preserves failing properties with little overhead to the SAT problem while demonstrating on average an order of magnitude in performance improvement.


Original document

The different versions of the original document can be found in:

http://dx.doi.org/10.1109/mwscas.2009.5235932
http://www.eecg.toronto.edu/~veneris/9mid.pdf,
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000005235932,
https://ieeexplore.ieee.org/document/5235932,
https://academic.microsoft.com/#/detail/2171368936
Back to Top

Document information

Published on 01/01/2009

Volume 2009, 2009
DOI: 10.1109/mwscas.2009.5235932
Licence: CC BY-NC-SA license

Document Score

0

Views 1
Recommendations 0

Share this document

Keywords

claim authorship

Are you one of the authors of this document?