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