Structural FSM traversal

@article{Stoffel2004StructuralFT,
  title={Structural FSM traversal},
  author={Dominik Stoffel and Markus Wedler and Peter Warkentin and Wolfgang Kunz},
  journal={IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  year={2004},
  volume={23},
  pages={598-619}
}
This paper discusses a "structural" technique for traversing the state space of a finite state machine (FSM) and its application to equivalence checking of sequential circuits. The key ingredient to a state-space traversal is a data structure to represent state sets. In structural FSM, traversal-state sets are represented noncanonically and implicitly as gate netlists. First, we present an exact algorithm, which is based on an iterative expansion of the FSM into time frames and a network… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS
16 Citations
28 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 16 extracted citations

Similar Papers

Loading similar papers…