Overhead reduction techniques for hierarchical fault simulation

Overhead reduction techniques for hierarchical fault simulation are presented which reduce simulation overhead for the concurrent method and its expanded version, the Multi-List-Traversal method. The techniques include a one-pass fault simulation strategy, characteristic vectors, and contiguous concurrent machines. The cost of each process for the conventional and new methods is formulated for comparison. The methods were implemented in C, and experiments were conducted using ISCAS benchmark circuits. The results show that the new techniques make conventional concurrent fault simulators up to 4.9 times faster and also that the performance can be improved by fault ordering