• DocumentCode
    450639
  • Title

    Differential Fault Simulation - A Fast Method Using Minimal Memory

  • Author

    Cheng, Wu-Tung ; Yu, Meng-Lin

  • Author_Institution
    AT&T Bell Labs ERC, Princeton, NJ
  • fYear
    1989
  • fDate
    25-29 June 1989
  • Firstpage
    424
  • Lastpage
    428
  • Abstract
    A new, fast fault simulator called differential fault simulator, DSIM, for sequential circuits is described. Unlike the concurrent fault simulation, DSIM simulates each machine by simulating its machine differences from the other machine just simulated instead of simulating its input differences from the previous status of the same machine. In this manner, DSIM simulates each machine (good or bad) separately for every test vector. Therefore, DSIM dramatically reduces the dynamic memory requirement and the overhead in the memory management in the concurrent fault simulation. Also unlike the single fault propagation which simulates each bad machine by simulating its machine difference from the good machine, the overhead to restore the good machine status before each bad machine simulation is eliminated in DSIM. Our experiments show that DSIM runs 3-12 times faster than an existing concurrent fault simulator and an experimental single fault propagation simulator. Furthermore, owing to the straightforward operations, DSIM is very easy to implement and maintain. Implementation consists of less than 300 lines of "C" language statements added to the event-driven true-value simulator in an existing sequential test generation system, STG. Currently DSIM uses a zero-delay timing model, while inclusion of other delay models is under development.
  • Keywords
    Circuit faults; Circuit simulation; Circuit testing; Delay; Discrete event simulation; Memory management; Sequential analysis; Sequential circuits; System testing; Timing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design Automation, 1989. 26th Conference on
  • ISSN
    0738-100X
  • Print_ISBN
    0-89791-310-8
  • Type

    conf

  • DOI
    10.1109/DAC.1989.203435
  • Filename
    1586419