FsmString2Token()
Converts a token from string to enum
FsmToken2String()
Converts a token from enum to string
Fsm_BddFormatInt2String()
Given an Integer Returns a string
Fsm_BddFormatString2Int()
Given a string it Returns an Integer.
Fsm_BlifStore()
Stores (on file or stdout) of FSM structure in a blif format.
Fsm_CommonEnableCompute()
Fsm_EnableDependencyCompute()
Fsm_FindRemovableLatches()
Fsm_MgrAuxVarRemove()
Remove Auxiliary Variables from the FSM structure.
Fsm_MgrCheck()
Check the Congruence of a FSM structure.
Fsm_MgrDup()
Duplicates FSM structure.
Fsm_MgrInit()
Initializes the FSM structure.
Fsm_MgrLoadFromBlif()
Reads description of a fsmMgr (BLIF format) from file
Fsm_MgrLoad()
Fsm_MgrOperation()
Fsm_MgrPMBuild()
Fsm_MgrPrintPrm()
Prints the permutation on file "tmp.prm"
Fsm_MgrPrintStats()
Prints Statistics on the FSM Structure
Fsm_MgrQuit()
Frees unused FSM structure members
Fsm_MgrReadAuxVarBDD()
Fsm_MgrReadAuxVarName()
Fsm_MgrReadBddFormat()
Fsm_MgrReadDdManager()
Fsm_MgrReadDeltaBDD()
Fsm_MgrReadDeltaName()
Fsm_MgrReadFileName()
Fsm_MgrReadFromBDD()
Fsm_MgrReadFromName()
Fsm_MgrReadFromString()
Fsm_MgrReadFsmName()
Fsm_MgrReadIndexAuxVar()
Fsm_MgrReadIndexI()
Fsm_MgrReadIndexNS()
Fsm_MgrReadIndexO()
Fsm_MgrReadIndexPS()
Fsm_MgrReadInitBDD()
Fsm_MgrReadInitName()
Fsm_MgrReadInitString()
Fsm_MgrReadInvauxids()
Fsm_MgrReadLambdaBDD()
Fsm_MgrReadLambdaName()
Fsm_MgrReadNAuxVar()
Fsm_MgrReadNI()
Fsm_MgrReadNL()
Fsm_MgrReadNO()
Fsm_MgrReadNameAuxVar()
Fsm_MgrReadNameI()
Fsm_MgrReadNameNSTrueName()
Fsm_MgrReadNameNS()
Fsm_MgrReadNameO()
Fsm_MgrReadNamePS()
Fsm_MgrReadOrdFileName()
Fsm_MgrReadOrdFile()
Reads variable order from a .ord file
Fsm_MgrReadOrdNodeName()
Fsm_MgrReadOrdNodeid()
Fsm_MgrReadReachedBDD()
Fsm_MgrReadReachedName()
Fsm_MgrReadReachedString()
Fsm_MgrReadTrBDD()
Fsm_MgrReadTrName()
Fsm_MgrReadTrString()
Fsm_MgrReadVarAuxVar()
Fsm_MgrReadVarI()
Fsm_MgrReadVarNS()
Fsm_MgrReadVarO()
Fsm_MgrReadVarPS()
Fsm_MgrReadVarauxids()
Fsm_MgrReadVarnames()
Fsm_MgrReadVerbosity()
Fsm_MgrSetAuxVarBDD()
Fsm_MgrSetAuxVarName()
Fsm_MgrSetBddFormat()
Fsm_MgrSetDdManager()
Fsm_MgrSetDeltaBDD()
Fsm_MgrSetDeltaName()
Fsm_MgrSetFileName()
Fsm_MgrSetFromBDD()
Fsm_MgrSetFromName()
Fsm_MgrSetFromString()
Fsm_MgrSetFsmName()
Fsm_MgrSetIndexAuxVar()
Fsm_MgrSetIndexI()
Fsm_MgrSetIndexNS()
Fsm_MgrSetIndexO()
Fsm_MgrSetIndexPS()
Fsm_MgrSetInitBDD()
Fsm_MgrSetInitName()
Fsm_MgrSetInitString()
Fsm_MgrSetInvauxids()
Fsm_MgrSetLambdaBDD()
Fsm_MgrSetLambdaName()
Fsm_MgrSetNAuxVar()
Fsm_MgrSetNI()
Fsm_MgrSetNL()
Fsm_MgrSetNO()
Fsm_MgrSetNameAuxVar()
Fsm_MgrSetNameI()
Fsm_MgrSetNameNSTrueName()
Fsm_MgrSetNameNS()
Fsm_MgrSetNameO()
Fsm_MgrSetNamePS()
Fsm_MgrSetOrdFileName()
Fsm_MgrSetOrdNodeName()
Fsm_MgrSetOrdNodeid()
Fsm_MgrSetReachedBDD()
Fsm_MgrSetReachedName()
Fsm_MgrSetReachedString()
Fsm_MgrSetTrBDD()
Fsm_MgrSetTrName()
Fsm_MgrSetTrString()
Fsm_MgrSetVarAuxVar()
Fsm_MgrSetVarI()
Fsm_MgrSetVarNS()
Fsm_MgrSetVarO()
Fsm_MgrSetVarPS()
Fsm_MgrSetVarauxids()
Fsm_MgrSetVarnamesOne()
Fsm_MgrSetVarnames()
Fsm_MgrSetVerbosity()
Fsm_MgrStore()
Stores (on file o stdout) of FSM structure.
Fsm_OptimalRetimingCompute()
Fsm_PortBnetBuildNodeBDD()
Builds the BDD for the function of a node.
Fsm_PortBnetDfsVariableOrder()
Orders the BDD variables by DFS.
Fsm_PortBnetFreeNetwork()
Frees a boolean network created by Fsm_PortBnetReadNetwork.
Fsm_PortBnetReadNetwork()
Reads boolean network from blif file.
Fsm_PortBnetReadOrder()
Reads the variable order from a file.
Fsm_PortNtrBuildDDs()
Builds DDs for a network outputs and next state functions.
Fsm_PortNtrInitState()
Builds the BDD of the initial state(s).
Fsm_RetimeApply()
Given a Retiming Array Apply it to the FSM Manager. Return a new FSM Manager.
Fsm_RetimeCompute()
Fsm_RetimeForRACompute()
Pdtutil_ReadConstrain()
Reads constrain
buildExorBDD()
Builds BDD for a XOR function.
buildMuxBDD()
Builds BDD for a multiplexer.
fsmPortBnetDfsOrder()
Does a DFS from a node ordering the inputs.
fsmPortBnetLevelCompare()
Comparison function used by qsort.
fsmPortBnetLevelDFS()
Does a DFS from a node setting the level field.
fsmPortBnetOrderRoots()
Orders network roots for variable ordering.
fsmPortBnetSetLevel()
Sets the level of each node.
fsmPortNtrCountDFS()
Does a DFS from a node setting the count field.
fsmPortNtrInitializeCount()
Initializes the count fields used to drop DDs.
get_integer_array()
Inserisce i numeri in cima all'array "datum_nmb".
get_number()
Returns the current word as integer.
get_string_array()
Inse le parole in cima all'array "datum_str".
get_token()
Read a String from the File.
mainInit()
Allocates the option structure for BLIF format and initializes it.
printList()
Prints a list of strings to the standard output.
readBddFile()
read a bdd file
readFsmDelta()
Reads .delta section of the .fsm file.
readFsmFrom()
Reads .tr section of the .fsm file.
readFsmIndex()
Reads .index section of the .fsm file.
readFsmInitState()
Reads .init section of the .fsm file.
readFsmLambda()
Reads .lambda section of the .fsm file.
readFsmName()
Reads .name section of the .fsm file.
readFsmOrd()
Reads .ord section of the .fsm file.
readFsmReached()
Reads .tr section of the .fsm file.
readFsmSize()
Reads .size section of the .fsm file.
readFsmTransRel()
Reads .tr section of the .fsm file.
readFsm()
Reads current section of the .fsm file.
readList()
Reads a list of strings from a file.
readOrdFile()
Reads the order in the .ord file.
readString()
Reads a string from a file.
()
Returns 1 if the two arguments are identical strings.

Last updated on 1010515 11h48