-
SimFromCompute()
- Compute New From for Next Iteration.
-
TravFromCompute()
- Compute from given to and reached
-
Trav_FromSelectEnum2String()
- Given an Enumerated type Returns a string
-
Trav_FromSelectString2Enum()
- Given a string it Returns an Enumerated type
-
Trav_Main()
- Temporary main program to be used as interface for cmd.
-
Trav_MgrInit()
- Create a Manager.
-
Trav_MgrOperation()
- Perform an Operation on the Traversal Manager.
-
Trav_MgrPrintStats()
- Print Statistics on the Traversal Manager.
-
Trav_MgrQuit()
- Closes a Manager.
-
Trav_MgrReadAssertFlag()
- Read Assert Flag.
-
Trav_MgrReadAssert()
- Read Assert.
-
Trav_MgrReadAux()
- Read AUX array
-
Trav_MgrReadBackward()
- Read the backward traversal flag
-
Trav_MgrReadDdiMgrDefault()
- Read default DDi Mgr
-
Trav_MgrReadDdiMgrR()
- Read DDi Mgr R
-
Trav_MgrReadDdiMgrTr()
- Read DDi Mgr TR
-
Trav_MgrReadEnableDdR()
- Read
-
Trav_MgrReadFromSelect()
- Read from selection
-
Trav_MgrReadFrom()
- Read from
-
Trav_MgrReadI()
- Read PI array
-
Trav_MgrReadKeepNew()
- Read the keepNew flag
-
Trav_MgrReadLevel()
- Read Number of Level
-
Trav_MgrReadLogPeriod()
- Read the period for verbosity enabling
-
Trav_MgrReadMaxIter()
- Read the maximum number of traversal iterations
-
Trav_MgrReadMgrAuxFlag()
- Read the flag to indicate that during traversal there is an
additional auziliary manager
-
Trav_MgrReadNS()
- Read NS array
-
Trav_MgrReadName()
- Read
-
Trav_MgrReadNewi()
- Read newi
-
Trav_MgrReadPS()
- Read PS array
-
Trav_MgrReadProductPeak()
- Read Product Peak Value
-
Trav_MgrReadReached()
- Read reached
-
Trav_MgrReadSavePeriodName()
- Read the period for save BDDs enabling
-
Trav_MgrReadSavePeriod()
- Read the period for save BDDs enabling
-
Trav_MgrReadSmoothVar()
- Read
-
Trav_MgrReadSorting()
- Read verbosity
-
Trav_MgrReadSquaring()
- Read
-
Trav_MgrReadThreshold()
- Read
-
Trav_MgrReadTrProfileDynamicEnable()
- Read
-
Trav_MgrReadTrProfileMethod()
- Read
-
Trav_MgrReadTrProfileThreshold()
- Read
-
Trav_MgrReadTr()
- Read transition relation
-
Trav_MgrReadVerbosity()
- Read verbosity
-
Trav_MgrReadW1()
- Read
-
Trav_MgrReadW2()
- Read
-
Trav_MgrReadW3()
- Read
-
Trav_MgrReadW4()
- Read
-
Trav_MgrSetAssertFlag()
- Set Assert Flag.
-
Trav_MgrSetAssert()
- Set Assert.
-
Trav_MgrSetAux()
- Set the aux array
-
Trav_MgrSetBackward()
- Set the backward traversal flag
-
Trav_MgrSetDdiMgrDefault()
- Set default DDi Mgr
-
Trav_MgrSetDdiMgrR()
- Set DDi Mgr R
-
Trav_MgrSetDdiMgrTr()
- Set DDi Mgr TR
-
Trav_MgrSetFromSelect()
- Set the from selection
-
Trav_MgrSetFrom()
- Read
-
Trav_MgrSetI()
- Set the PI array
-
Trav_MgrSetKeepNew()
- Set the keepNew flag
-
Trav_MgrSetLogPeriod()
- Set the period for verbosity enabling
-
Trav_MgrSetMaxIter()
- Set the maximum number of traversal iterations
-
Trav_MgrSetMgrAuxFlag()
- Set the flag to indicate that during traversal there is an
additional auziliary manager
-
Trav_MgrSetNS()
- Set the NS array
-
Trav_MgrSetName()
- Read
-
Trav_MgrSetNewi()
- Set Newi
-
Trav_MgrSetPS()
- Set the PS array
-
Trav_MgrSetProductPeak()
- Read
-
Trav_MgrSetReached()
- Read
-
Trav_MgrSetSavePeriodName()
- Set the period for verbosity enabling
-
Trav_MgrSetSavePeriod()
- Set the period for verbosity enabling
-
Trav_MgrSetSorting()
- Read verbosity
-
Trav_MgrSetTrProfileDynamicEnable()
- Read
-
Trav_MgrSetTrProfileMethod()
- Set
-
Trav_MgrSetTrProfileThreshold()
- Read
-
Trav_MgrSetTr()
- Read
-
Trav_MgrSetVerbosity()
- Set verbosity
-
Trav_MismatchPat()
- Generation of a mismatch input sequence
-
Trav_SimulateMain()
- Temporary main program to be used as interface for cmd.
-
Trav_TrPartition()
- Partitions the Transition Relation
-
Trav_Traversal()
- FSM traversal given a transition relation
-
Trav_UnivAlignPat()
- Find a universal alignment sequence
-
constrainWith1()
- Constraint delta (Ddi_Bddarray_t) with suppLocal (Ddi_Varset_t).
-
constrainWith2()
- Constraint delta (Ddi_Bddarray_t) with suppLocal (Ddi_Varset_t).
-
constrainWithAllRandomValue()
- Constraint delta (Ddi_Bddarray_t) with suppLocal (Ddi_Varset_t).
Use random values for each variable in suppLocal.
constrainIn is not used.
-
constrainWithPartialRandomValue()
- Constraint delta (Ddi_Bddarray_t) with suppLocal (Ddi_Varset_t).
Use random values for each variable in suppLocal that does not appear in
constrain. All the new values are and-ed with constrain that is returned.
-
printWave()
- Print Out A Wave Depending on Present and Next Value
-
reduceNextStateFunctions()
- Reduce Next PsNumber Functions
-
simulateSimple()
- Simulation Engine for PdTrav
-
simulateWave()
- Simulation Engine for PdTrav
-
simulateWithDac99()
- Follow Bertacco, Damiani, Quer, DAC'99 paper to
peeform simbolic simulation.
Last updated on 1010515 11h48