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
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;
Conference_Titel :
Computer Design: VLSI in Computers and Processors, 1995. ICCD '95. Proceedings., 1995 IEEE International Conference on
Conference_Location :
Austin, TX
Print_ISBN :
0-8186-7165-3
DOI :
10.1109/ICCD.1995.528933