fsm.h
External header file
fsmInt.h
Internal header file
fsmLoad.c
Functions to read BDD based description of FSMs
fsmMgr.c
Utility functions to create, free and duplicate a FSM
fsmPort.c
Functions to guarantee portability
fsmPortBnet.c
Nanotrav parts used by pdtrav
fsmPortNtr.c
Nanotrav parts used by pdtrav
fsmProMac.c
Functions to build a Product Machine
fsmStore.c
Functions to write description of FSMs
fsmToken.c
Functions to convert tokens (keywords) between string and integer (enum) format.
fsmUtil.c
Utility functions to manipulate a FSM

fsm.h

External header file

By: Gianpiero Cabodi and Stefano Quer


fsmInt.h

Internal header file

By: Gianpiero Cabodi and Stefano Quer

()
Returns 1 if the two arguments are identical strings.

fsmLoad.c

Functions to read BDD based description of FSMs

By: Gianpiero Cabodi and Stefano Quer

External procedures included in this module:

Fsm_MgrLoad()
Fsm_MgrReadFileOrd()
Reads variable order from a .ord file
readFsm()
Reads current section of the .fsm file.
readFsmSize()
Reads .size section of the .fsm file.
readFsmOrd()
Reads .ord section of the .fsm file.
readFsmName()
Reads .name section of the .fsm file.
readFsmIndex()
Reads .index section of the .fsm file.
readFsmDelta()
Reads .delta section of the .fsm file.
readFsmLambda()
Reads .lambda section of the .fsm file.
readFsmTransRel()
Reads .tr section of the .fsm file.
readFsmFrom()
Reads .tr section of the .fsm file.
readFsmReached()
Reads .tr section of the .fsm file.
readFsmInitState()
Reads .init section of the .fsm file.
readOrdFile()
Reads the order in the .ord file.
readBddFile()
read a bdd file
readInitFile()
Reads initial state in the file .fsm.
get_token()
Read a String from the File.
get_number()
Returns the current word as integer.
get_string_array()
Inse le parole in cima all'array "datum_str".
get_integer_array()
Inserisce i numeri in cima all'array "datum_nmb".

fsmMgr.c

Utility functions to create, free and duplicate a FSM

By: Gianpiero Cabodi and Stefano Quer

Fsm_MgrInit()
Initializes the FSM structure.
Fsm_MgrFree()
Frees unused FSM structure members
Fsm_MgrDup()
Duplicates FSM structure.
Fsm_MgrOperation()
Fsm_MgrReadFileName()
Fsm_MgrReadFsmName()
Fsm_MgrReadDdManager()
Fsm_MgrReadY()
Fsm_MgrReadZ()
Fsm_MgrReadSX()
Fsm_MgrReadReachedBDD()
Fsm_MgrReadBddFormat()
Fsm_MgrReadNI()
Fsm_MgrReadNO()
Fsm_MgrReadNL()
Fsm_MgrReadOrdFileName()
Fsm_MgrReadOrdNodeName()
Fsm_MgrReadOrdNodeid()
Fsm_MgrReadNameI()
Fsm_MgrReadNameO()
Fsm_MgrReadNameNS()
Fsm_MgrReadNamePS()
Fsm_MgrReadIndexI()
Fsm_MgrReadIndexO()
Fsm_MgrReadIndexNS()
Fsm_MgrReadIndexPS()
Fsm_MgrReadVarI()
Fsm_MgrReadVarO()
Fsm_MgrReadVarPS()
Fsm_MgrReadVarNS()
Fsm_MgrReadDeltaName()
Fsm_MgrReadDeltaBDD()
Fsm_MgrReadLambdaName()
Fsm_MgrReadLambdaBDD()
Fsm_MgrReadTrName()
Fsm_MgrReadTrBDD()
Fsm_MgrReadInitName()
Fsm_MgrReadInitString()
Fsm_MgrReadTrString()
Fsm_MgrReadReachedString()
Fsm_MgrReadFromString()
Fsm_MgrReadInitBDD()
Fsm_MgrReadFromName()
Fsm_MgrReadReachedName()
Fsm_MgrReadFromBDD()
Fsm_MgrReadVarnames()
Fsm_MgrReadVarauxids()
Fsm_MgrReadInvauxids()
Fsm_MgrReadVerbosity()
Fsm_MgrSetFileName()
Fsm_MgrSetFsmName()
Fsm_MgrSetDdManager()
Fsm_MgrSetY()
Fsm_MgrSetZ()
Fsm_MgrSetSX()
Fsm_MgrSetReachedBDD()
Fsm_MgrSetBddFormat()
Fsm_MgrSetNI()
Fsm_MgrSetNO()
Fsm_MgrSetNL()
Fsm_MgrSetOrdFileName()
Fsm_MgrSetOrdNodeName()
Fsm_MgrSetOrdNodeid()
Fsm_MgrSetNameI()
Fsm_MgrSetNameO()
Fsm_MgrSetNameNS()
Fsm_MgrSetNamePS()
Fsm_MgrSetIndexI()
Fsm_MgrSetIndexO()
Fsm_MgrSetIndexNS()
Fsm_MgrSetIndexPS()
Fsm_MgrSetVarI()
Fsm_MgrSetVarO()
Fsm_MgrSetVarPS()
Fsm_MgrSetVarNS()
Fsm_MgrSetDeltaName()
Fsm_MgrSetDeltaBDD()
Fsm_MgrSetLambdaName()
Fsm_MgrSetLambdaBDD()
Fsm_MgrSetTrName()
Fsm_MgrSetTrBDD()
Fsm_MgrSetInitName()
Fsm_MgrSetInitString()
Fsm_MgrSetTrString()
Fsm_MgrSetFromString()
Fsm_MgrSetReachedString()
Fsm_MgrSetInitBDD()
Fsm_MgrSetFromName()
Fsm_MgrSetReachedName()
Fsm_MgrSetFromBDD()
Fsm_MgrSetVarnames()
Fsm_MgrSetVarnamesOne()
Fsm_MgrSetVarauxids()
Fsm_MgrSetInvauxids()
Fsm_MgrSetVerbosity()

fsmPort.c

Functions to guarantee portability

By: Gianpiero Cabodi and Stefano Quer

In this file are declarated function to deal with BLIF format (as package Nanotrav in CUDD).

Fsm_MgrLoadFromBlif()
Reads description of a fsmMgr (BLIF format) from file
mainInit()
Allocates the option structure for BLIF format and initializes it.

fsmPortBnet.c

Nanotrav parts used by pdtrav

By: Gianpiero Cabodi, Stefano Quer

This package contains functions, types and constants taken from nanotrav to be used in pdtrav. The original names have been modified adding the "Fsm_Port" prefix.

FsmPortBnet.c contains the parts taken from bnet.c.

See AlsofsmPortNtr.c pdtrav

Fsm_PortBnetReadNetwork()
Reads boolean network from blif file.
Fsm_PortBnetBuildNodeBDD()
Builds the BDD for the function of a node.
Fsm_PortBnetDfsVariableOrder()
Orders the BDD variables by DFS.
Fsm_PortBnetReadOrder()
Reads the variable order from a file.
fsmPortBnetSetLevel()
Sets the level of each node.
fsmPortBnetLevelDFS()
Does a DFS from a node setting the level field.
Fsm_PortBnetFreeNetwork()
Frees a boolean network created by Fsm_PortBnetReadNetwork.
readString()
Reads a string from a file.
readList()
Reads a list of strings from a file.
printList()
Prints a list of strings to the standard output.
buildExorBDD()
Builds BDD for a XOR function.
buildMuxBDD()
Builds BDD for a multiplexer.
fsmPortBnetOrderRoots()
Orders network roots for variable ordering.
fsmPortBnetDfsOrder()
Does a DFS from a node ordering the inputs.
fsmPortBnetLevelCompare()
Comparison function used by qsort.

fsmPortNtr.c

Nanotrav parts used by pdtrav

By: Gianpiero Cabodi, Stefano Quer

This package contains functions, types and constants taken from nanotrav to be used in pdtrav. The original names have been modified adding the "FsmPort" prefix.

FsmPortNtr.c contains the parts taken from ntr.c.

See AlsofsmPortBnet.c pdtrav

Fsm_PortNtrBuildDDs()
Builds DDs for a network outputs and next state functions.
Fsm_PortNtrInitState()
Builds the BDD of the initial state(s).
fsmPortNtrInitializeCount()
Initializes the count fields used to drop DDs.
fsmPortNtrCountDFS()
Does a DFS from a node setting the count field.

fsmProMac.c

Functions to build a Product Machine

By: Gianpiero Cabodi and Stefano Quer

External procedures included in this module:

Fsm_MgrPMBuild()

fsmStore.c

Functions to write description of FSMs

By: Gianpiero Cabodi and Stefano Quer

External procedures included in this module:

Fsm_MgrStore()
Stores (on file o stdout) of FSM structure

fsmToken.c

Functions to convert tokens (keywords) between string and integer (enum) format.

By: Gianpiero Cabodi and Stefano Quer

FsmString2Token()
Converts a token from string to enum
FsmToken2String()
Converts a token from enum to string

fsmUtil.c

Utility functions to manipulate a FSM

By: Gianpiero Cabodi and Stefano Quer

Fsm_BddFormatString2Int()
Given a string it Returns an Integer.
Fsm_BddFormatInt2String()
Given an Integer Returns a string
Fsm_MgrPrintStats()
Prints Statistics on the FSM Structure
Fsm_MgrPrintPrm()
Prints the permutation on file "tmp.prm"
Pdtutil_ReadConstrain()
Reads constrain

Last updated on 990617 11h53