External procedures included in this module are:
The FSM (name myFsm) structure follows the following schema:
.Fsm myFsm
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.