• DocumentCode
    3019636
  • Title

    Adaptation of an event-driven simulation environment to sequentially propagated concurrent fault simulation

  • Author

    Zolfy, Mina ; Mirkhani, Shahrzad ; Navabi, Zainafabedin

  • Author_Institution
    Dept. of Electr. & Comput. Eng., Tehran Univ., Iran
  • fYear
    2001
  • fDate
    2001
  • Firstpage
    823
  • Abstract
    Summary form only given. A new fault simulation method is presented here. The method relies on the simulation cycle timing of event-driven simulators (delta delays in VHDL). This timing is used for propagation of faulty values in faulty sections of a circuit. This method is based on concurrent fault simulation and is implemented in VHDL. VHDL gate models that are capable of propagating faults in fault queues perform this fault simulation. The gate models process their fault queues and propagate them in delta time units. In these models, gates with faulty input values are expanded in delta time to evaluate faulty output values and propagate them to other sections of the circuit. Using ISCAS benchmarks, a performance improvement of up to 500X over serial fault simulation has been obtained. This work is useful for fault simulation of post-synthesis VHDL outputs
  • Keywords
    circuit simulation; discrete event simulation; fault simulation; hardware description languages; timing; VHDL gate models; VHDL-based method; delta delays; digital circuits; event-driven simulation environment; fault queues; performance improvement; post-synthesis VHDL outputs; sequentially propagated concurrent fault simulation; simulation cycle timing; simulation environment adaptation; Circuit faults; Circuit simulation; Computational modeling; Computer simulation; Concurrent computing; Delay; Discrete event simulation; Queueing analysis; System testing; Timing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design, Automation and Test in Europe, 2001. Conference and Exhibition 2001. Proceedings
  • Conference_Location
    Munich
  • ISSN
    1530-1591
  • Print_ISBN
    0-7695-0993-2
  • Type

    conf

  • DOI
    10.1109/DATE.2001.915173
  • Filename
    915173