This paper discusses a "structural" technique for traversing the state space of a finite state machine (FSM) and its application to equivalence checking of ...

In this paper, we study the general principles of structural. FSM traversal and its application to equivalence checking of se- quential circuits. The basis of ...

This paper discusses a "structural" technique for traversing the state space of a finite state machine (FSM) and its application to equivalence checking of ...

It is shown that for most circuits encountered in practice exact structural FSM traversal reaches the fixed point as fast as symbolic F SM traversal, ...

We increase the reasoning power of the Record&Play algorithm for structural FSM traversal by incorporating a constraint-satisfying simulation technique.

FSM traversal is the core computation in design verification. Efficient traversal requires grouping the MDDs, in a manner optimal for traversal. To traverse the ...

The reasoning power of the Record & Play algorithm for structural FSM traversal is increased, by incorporating a constraint-satisfying simulation technique ...

We present a theoretical analysis of structural FSM traversal, which is the basis for the sequential equivalence checking algorithm Record & Play presented ...

be repeated over and over (“structural fixed point”). The fixed point iteration of Record & Play can be interpreted as approximative structural FSM traversal.

We store the spanning tree of edges computed, during FSM traversal. We use information about the changes made to the system, and the original spanning graph of ...