Combining Stream-Based and State-Based Verification Techniques
FMCAD, pp. 126-142, 2000.
state-based verification resultalgebraic techniquestate-based reasoningalgorithmic verification techniquestream-based algebraicMore(8+)
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
Full Text (Upload PDF)
PPT (Upload PPT)