formal verificationlogic designsequential circuitsVLSI/ connectivityspectral methodssequential logic circuitsfinite state systemsfinite state machinesVLSI circuit designRepresenting finite state systems by means
Shiran “YNCC/sub DB/: A New Database Representation of VLSI Circuits for Fast Navigation and Layout Verification Applications”, IEEE Comput. Soc. Press. CompuEuro 88-System Design: Concepts, Methods and Tools. pp 150-155, Apr. 1988. ...
Working on symbolically represented data has potential: the standards achieved in graph sizes (playing a crucial role, for example, in verification, VLSI design, and CAD) are definitely higher. On the other hand, symbolic algorithm's design generates constraints as well. For example, Depth First...
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...