The fsm package

External header file for package Fsm

By Gianpiero Cabodi and Stefano Quer


This package provides functions to read in and write out descriptions of FSMs in the PdTrav format.
Support to read a blif file are also given.

External procedures included in this module are:

The FSM (name myFsm) structure follows the following schema:

.Fsm myFsm

.Size
.i 4
.o 1
.l 3
.EndSize

.Ord
.ordFile myFsmFSM.ord
.EndOrd

.Name
.i G0 G1 G2 G3
.ps G5 G6 G7
.ns G5$NS G6$NS G7$NS
.EndName

.Index
.i 0 1 2 3
.ps 4 5 6
.ns 7 8 9
.EndIndex

.Delta
.bddFile myFsmdelta.bdd
.EndDelta

.Lambda
.bddFile myFsmlambda.bdd
.EndLambda

.InitState
.bddFile myFsms0.bdd
.EndInitState

.Tr
.bddFile myFsmTR.bdd
.EndTr

.Reached
.bddFile myFsmReached.bdd
.EndReached

.EndFsm

The functions to read a blif file are partially taken, almost verbatim, from the nanotrav directory of the Cudd-2.3.0 package.
The original names have been modified changing the prefix in the following way:

Port_ ---> Fsm_Port
Port ---> FsmPort
port ---> fsmPort
PORT_ ---> FSM_

The functions directly called by nanotrav are:

    (name in nanotrav)     (name in the fsmPort package)
    

Bnet_ReadNetwork Fsm_PortBnetReadNetwork Bnet_FreeNetwork Fsm_PortBnetFreeNetwork Ntr_buildDDs Fsm_PortNtrBuildDDs Ntr_initState Fsm_PortNtrInitState

fsmPortBnet.c contains the parts taken from bnet.c fsmPortNtr.c contains the parts taken from ntr.c.


Last updated on 990617 11h53