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
Link To Document :
بازگشت