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