Combining Stream-Based and State-Based Verification Techniques

FMCAD, pp. 126-142, 2000.

Cited by: 5|Bibtex|Views2|
EI
Other Links: dblp.uni-trier.de|dl.acm.org|academic.microsoft.com
Keywords:
state-based verification resultalgebraic techniquestate-based reasoningalgorithmic verification techniquestream-based algebraicMore(8+)

Abstract:

Algebraic verification techniques manipulate the structure of a circuit while preserving its behavior. Algorithmic verification techniques verify properties about the behavior of a circuit. These two techniques have complementary strengths: algebraic techniques are largely independent of the size of the state space, and algorithmic techni...More

Code:

Data:

Your rating :
0

 

Tags
Comments