Sciweavers

Share
DAC
1997
ACM

Toward Formalizing a Validation Methodology Using Simulation Coverage

9 years 12 days ago
Toward Formalizing a Validation Methodology Using Simulation Coverage
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space traversal. The only viable solution in most casesis validation byfunctionalsimulation. Unfortunately, this has the drawbacksof high computationalrequirements due to the large number of test vectors needed, and the lack of adequate coverage measures to characterize the quality of a given test set. To overcome these limitations, there has been recent interest in hybrid techniques which combine the strengths of formal verification and simulation. Formal verification-based techniques are used on a testmodel(usually muchsmaller thanthe design)to derive a set of functional test vectors, which are then used for design validation through simulation. The test set generated typically satisfies some coverage measure on the test model. Recent research has proposed the use of state or transition coverage. However, no effort h...
Aarti Gupta, Sharad Malik, Pranav Ashar
Added 06 Aug 2010
Updated 06 Aug 2010
Type Conference
Year 1997
Where DAC
Authors Aarti Gupta, Sharad Malik, Pranav Ashar
Comments (0)
books