On the Integration of CAST.FSM into the VLSI Design Process

The integration of CAST.FSM within a VLSI design environment is presented. Currently very few algorithms for FSM manipulation and optimization are available in state-of-the art VLSI design tools. We propose a framework of tools where methods from state machine theory become applicable within a VLSI design flow and give results of a method application targeting FSM testability to illustrate the practical applicability of the approach.