article · 2000
On applying incremental satisfiability to delay fault testing
Joonyoung Kim, Jesse Whittemore, João Marques‐Silva, Karem A. Sakallah
Cited by 29Abstract and details only
Abstract
The Boolean satisfiability problem (SAT) has various applications in electronic design automation (EDA) fields such as testing, timing analysis and logic verification. SAT has been typically applied to EDA as follows: (1) formulation of the given problem as a SAT instance (2) solution of the SAT instance. In this paper we present a method to simultaneously solve several closely related SAT instances using incremental satisfiability (ISAT). In ISAT, the decision sequence made for a function is used to solve another set of functions which have a number of new constraints (extensions) added to the prefix function. Our experiments show that we can achieve significant gains in total runtime when we use this methodology as opposed to resetting the decision sequences and solving each instance from scratch. Application of ISAT to delay fault testing is presented by formulating incremental path sensitization as an ISAT problem. Non-robust tests for the combinational portion of ISCAS 89 circuits are generated using this method.
Cite this paper
Kim, J., Whittemore, J., Marques‐Silva, J., & Sakallah, K. A. (2000). On applying incremental satisfiability to delay fault testing. https://doi.org/10.1145/343647.343801
Kim, Joonyoung, et al. “On applying incremental satisfiability to delay fault testing.” 2000, pp. 380–84, https://doi.org/10.1145/343647.343801.
Kim, Joonyoung, Jesse Whittemore, João Marques‐Silva, and Karem A. Sakallah. 2000. “On applying incremental satisfiability to delay fault testing.” https://doi.org/10.1145/343647.343801.
Kim, J. et al. (2000) ‘On applying incremental satisfiability to delay fault testing’. Available at: https://doi.org/10.1145/343647.343801.
@article{kim2000applying,
title = {{On applying incremental satisfiability to delay fault testing}},
author = {Kim, Joonyoung and Whittemore, Jesse and Marques‐Silva, João and Sakallah, Karem A.},
pages = {380--384},
year = {2000},
doi = {10.1145/343647.343801}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.