15th IEEE VLSI Test Symposium (VTS'97) The Dynamic Rollback Problem in Concurrent Event-Driven Fault Simulation Monterey, California April 27-May 01 ISBN: 0-8186-7810-0
Both simulation for design verification and fault simulation in conjunction with automatic test pattern generation (ATPG) would benefit from forward and backward shifting of the simulation time. Except in some particular cases, however, this has so far been only allowed through explicit save/restore commands issued by the user. The paper presents a general technique that makes a "run for T" command possible, where T can be any positive or negative time value. A major feature is that the user can set the maximum allowable overhead. Its generality allows its implementation in simulators for design verification and fault simulators, for both synchronous and asynchronous circuits, with either zero-delay or accurate delay models
Index Terms:
Fault Simulation
Citation:
Laura Farinetti, Pier Luca Montessoro, "The Dynamic Rollback Problem in Concurrent Event-Driven Fault Simulation," vts, pp.282, 15th IEEE VLSI Test Symposium (VTS'97), 1997 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||