Performance Evaluation of SAT-Based ATPG on Multi-Core Architectures
Conference: ARCS 2009 - 22th International Conference on Architecture of Computing Systems
03/11/2009 at Delft, The Netherlands
Proceedings: ARCS 2009
Pages: 8Language: englishTyp: PDFPersonal VDE Members are entitled to a 10% discount on this title
Czutro, Alejandro; Becker, Bernd; Polian, Ilia (Albert-Ludwigs-University of Freiburg, Germany)
We study the performance of thread-parallel SAT-based ATPG tool TIGUAN in a multi-processor, multi-core compute server environment. We explore the trade-off between the additional processing power available in the system and communication overhead. Determining the optimal amount of resources is complicated by the heterogeneity of ATPG instances: test generation is done quickly for the majority of faults while a smaller number of hard faults requires intensive computations. We present first experimental results for standard stuck-at tests and high-quality gate-exhaustive tests for large industrial circuits.