Abstract
Purchase PDF (947 K)
E-mail Article
Add to my Quick Links
Cited By in Scopus (0)
Purchase PDF (439 K)
doi:10.1016/0165-6074(95)00028-M 
Copyright © 1995 Published by Elsevier Science B. V.
Paper
Using connectivity and spectral methods to characterize the structure of sequential logic circuits
Received 19 July 1994;
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
Representing finite state systems by means of finite state machines is a common approach in VLSI circuit design. BDD-based algorithms have made possible the manipulation of FSMs with very large state spaces; however, when the representation of the set of reachable states grows too much, the original FSM is no longer manageable as a whole, and it needs to be decomposed into smaller sub-machines. Structural analysis of the circuit from which the FSM has been extracted has shown to be very effective to determine good state variable partitions which induce FSM decomposition for logic synthesis and formal verification applications. In this paper we propose FSM analysis techniques based on connectivity and spectral characteristics of the state machine which take into account the mutual dependency of the state variables, but which are no longer dependent on the structure of the underlying circuit; therefore, they may be used in a context different from sequential logic optimization and FSM verification. Experimental results are presented and discussed for the
'91 FSM benchmarks and for the
'89 sequential circuits.
Author Keywords: Sequential circuit; Finite state machine; Spectral analysis
