The Community for Technology Leaders
Quality Electronic Design, International Symposium on (2009)
San Jose, CA, USA
Mar. 16, 2009 to Mar. 18, 2009
ISBN: 978-1-4244-2952-3
pp: 371-376
Miroslav N. Velev , Aries Design Automation, LLC, USA
Ping Gao , Aries Design Automation, LLC, USA
ABSTRACT
Design of Experiments (DOE) is an important problem for ensuring the quality of EDA with applications to the evaluation of techniques and tools in all sub-fields of EDA, e.g., yield and variability optimization, error correcting codes, and software testing. DOE can be formulated as a Quasigroup Completion Problem (QCP). We propose and compare 23 heuristics for efficient solving of QCPs by translation to Boolean Satisfiability (SAT) and exploiting static Boolean variable ordering to solve the resulting SAT formulas. This comparison is based on both satisfiable and unsatisfiable instances with varying numbers of empty cells. The translation to SAT is done with the minimal (2-D) and extended (3-D) encodings by Kautz et al. The contributions of the paper include: 1) proposal and comparison of the 23 heuristics; 2) study of the benefits from the 3-D vs. the 2-D encoding, and from local symmetry-breaking constraints, given the static variable ordering heuristics; and 3) identification of the most efficient single heuristic, and portfolios of heuristics that can be run in parallel on multiple cores in a modern CPU. Compared to the default dynamic variable ordering heuristic in the SAT solver, when using static variable-ordering heuristics we achieve an average speedup of 2.8
INDEX TERMS
CITATION

M. N. Velev and P. Gao, "Efficient SAT-based techniques for Design of Experiments by using static variable ordering," Quality Electronic Design, International Symposium on(ISQED), San Jose, CA, USA, 2009, pp. 371-376.
doi:10.1109/ISQED.2009.4810323
97 ms
(Ver 3.3 (11022016))