PROOFS Fault Simulation Algorithm
Pratap S. Prasad · 2005
This paper discusses the prominent features of PROOFS, a super-fast sequential circuit simulator used in VLSI fault simulations. It touches upon the salient aspects such as the PROOFS algorithm, comparison with other contemporary simulators and experimental results. Also, PROOFS uses the advantageous features of differential, concurrent and parallel fault simulation techniques and uses the single fault propagation model. Moreover, it also reduces the software complexity, memory usage and the time required for simulation. It is demonstrated that PROOFS needs only 20 % of the memory required for concurrent fault simulation but runs 6 to 67 times faster on certain ISCAS benchmark circuits.