A parallel algorithm for fault simulation based on PROOFS

S Parkes, P Banerjee, J Patel - Proceedings of ICCD'95 …, 1995 - ieeexplore.ieee.org
Fault simulation for sequential circuits numbers among the highly compute intensive tasks in
the integrated circuit design process. In the quest for rapid design turn around …

Overcoming the serial logic simulation bottleneck in parallel fault simulation

EM Rudmocl, JH Patel - Proceedings Tenth International …, 1997 - ieeexplore.ieee.org
We propose a new approach to parallelizing fault simulation in which the test set is
partitioned among the available processors. The approach can be used for any of the …

SPITFIRE: Scalable parallel algorithms for test set partitioned fault simulation

D Krishnaswamy, EM Rudnick, JH Patel… - … . 15th IEEE VLSI Test …, 1997 - ieeexplore.ieee.org
We propose three synchronous parallel algorithms for scalable parallel test set partitioned
fault simulation. The algorithms are based on a new two-stage approach to parallelizing fault …

Pipelined fault simulation on parallel machines using the circuit flow graph

SE Tai, D Bhattacharya - Proceedings of 1993 IEEE …, 1993 - ieeexplore.ieee.org
A new technique to parallelize fault simulation for combinational digital circuits, suitable for
message passing based parallel processors, is described. Speedup is achieved via …

New methods for parallel pattern fast fault simulation for synchronous sequential circuits

M Mojtahedi, W Geisselhardt - Proceedings of 1993 …, 1993 - ieeexplore.ieee.org
The paper describes COMBINED, a super fast fault simulator for synchronous sequential
circuits. COMBINED results from coupling a parallel pattern simulator with a nonparallel …

Portable parallel logic and fault simulation

RB Mueller-Thuns, DG Saab, RF Damiano… - … on Computer-Aided …, 1989 - computer.org
Consideration is given to the use of general-purpose multiprocessors for various simulation
tasks. The aims of the work are to define a general framework for the parallel simulation of …

Dynamic fault grouping for PROOFS: A win for large sequential circuits

CR Graham, EM Rudnick… - … Conference on VLSI …, 1997 - ieeexplore.ieee.org
This paper discusses the important role of fault grouping in a parallel 32-bit fault simulator
such as PROOFS. Three algorithms are presented which dynamically order the fault list …

New methods of improving parallel fault simulation in synchronous sequential circuits

HK Lee, DS Ha - Proceedings of 1993 International …, 1993 - ieeexplore.ieee.org
A highly successful parallel fault simulator, called PROOFS, for synchronous sequential
circuits has been reported. The performance of PROOFS has been substantially improved in …

PROOFS: A fast, memory-efficient sequential circuit fault simulator

TM Niermann, WT Cheng… - IEEE Transactions on …, 1992 - ieeexplore.ieee.org
The authors describe PROOFS, a fast fault simulator for synchronous sequential circuits,
PROOFS achieves high performance by combining all the advantages of differential fault …

Concurrent fault simulation of logic gates and memory blocks on message passing multicomputers

S Bose, P Agrawal - [1992] Proceedings 29th ACM/IEEE Design …, 1992 - ieeexplore.ieee.org
The authors present a concurrent fault simulation algorithm. The pipelined algorithm is
suitable for implementation on memory limited hardware accelerators and message passing …