• DocumentCode
    1929531
  • Title

    Statistics on concurrent fault and design error simulation

  • Author

    Grayson, Brian ; Shaikh, Saghir A. ; Szygenda, Stephen A.

  • Author_Institution
    Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX, USA
  • fYear
    1995
  • fDate
    2-4 Oct 1995
  • Firstpage
    622
  • Lastpage
    627
  • Abstract
    Basic data of the nature presented here on fault and design error simulation processes have not been previously reported. Experiments are performed on c-sim, a gate level concurrent simulator developed at the University of Texas at Austin. Three types of statistics are considered: event based statistics, gate evaluation statistics and memory requirements. These statistics are important for design verification researchers and engineers for numerous reasons. For example, they help simulator developers tune up or optimize their concurrent simulators. They also fulfill the increasing need for experimental data concerning design error simulation. Most importantly, these statistics provide guidance to hardware accelerator designers in evaluating and comparing various design options
  • Keywords
    circuit analysis computing; formal verification; parallel algorithms; c-sim; concurrent fault/design error simulation; concurrent simulators; design error simulation processes; design options; design verification; event based statistics; experimental data; gate evaluation statistics; gate level concurrent simulator; hardware accelerator designers; memory requirements; simulator developers; Circuit faults; Circuit simulation; Circuit testing; Computational modeling; Computer errors; Error analysis; Logic circuits; Logic design; Logic testing; Statistics;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Design: VLSI in Computers and Processors, 1995. ICCD '95. Proceedings., 1995 IEEE International Conference on
  • Conference_Location
    Austin, TX
  • ISSN
    1063-6404
  • Print_ISBN
    0-8186-7165-3
  • Type

    conf

  • DOI
    10.1109/ICCD.1995.528933
  • Filename
    528933