Title :
A simulation tool for design error models utilizing error compression and sampling
Author :
Hur, Youngmin ; Szygenda, Stephen A.
Author_Institution :
Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX, USA
Abstract :
Digital systems design and verification becomes more difficult as the size of the system grows. To solve this problem, many CAD tools have been developed, including simulation. However, as systems increase in size and complexity, simulating the system becomes very costly, both in time and space. For most cases that use simulation, only a subset of the total possible simulation patterns is used for design verification. The paper describes a simulation tool which applies effective methodologies such as: error compression and sampling, for reducing simulation time and resources. These methods satisfy confidence level expectations for design verification using either reduced design errors or reduced test sets
Keywords :
circuit CAD; circuit analysis computing; digital systems; errors; CAD tools; confidence bevel expectations; design error models; digital system design; digital system verification; error compression; error sampling; reduced design errors; reduced test sets; simulation patterns; simulation resource reduction; simulation time reduction; simulation tool; Automatic testing; Circuit faults; Circuit simulation; Computational modeling; Design automation; Digital systems; Formal verification; Process design; Robustness; Sampling methods;
Conference_Titel :
Simulation Symposium, 1996., Proceedings of the 29th Annual
Conference_Location :
New Orleans, LA
Print_ISBN :
0-8186-7432-6
DOI :
10.1109/SIMSYM.1996.492169