BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CSL-TR-94-624
       ENTRY:: November 08, 1994
ORGANIZATION:: Stanford University, Computer Systems Laboratory
       TITLE:: WSIM: A Symbolic Waveform Simulator
        TYPE:: Technical Report
      AUTHOR:: Franco, Piero
      AUTHOR:: McCluskey, Edward J.
        DATE:: June 1994
       PAGES:: 25
    ABSTRACT:: A symbolic waveform simulator is proposed in this report. The
               delay of faulty element is treated as a variable in the
               generation of the output waveform. Therefore, many timing
               simulations with different delay values do not have to be
               done to analyze the behavior of the circuit-under-test with
               the timing fault. The motivation for this work was to
               investigate delay testing by Output Waveform Analysis, where
               an accurate representation of the actual waveforms is
               required, although the simulator can be used for other
               applications as well (such as power analysis). Output
               Waveform Analysis will be briefly reviewed, followed by a
               description of both a simplified and a complete
               implementation of the waveform simulator, and simulation
               results.
       NOTES:: [Adminitrivia V1/Prg/19941108]
         END:: STAN//CSL-TR-94-624