Sequential.GetExcitationTable
Back to table
/*
SequentialLogic
Sequential.GetExcitationTable
[ExcitationTable sys]=Sequential.GetExcitationTable(String deviceName);
deviceName: name of the predefinied state-device.
Implement a state-transition-table with the state-devices.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBiUnateFunctionTo IsBlankFunction IsEqual IsSelfAntiDualFunction IsSymmetricFunction IsThresholdFunction IsZeroFunction BDD Binary AbsoluteExpression AddXorTerm ToROBDD ToVariableInvertedFunction FeedbackSystem Imply logicvardef() MantissaToPositiveInteger RadixFromIndex To2LayerOrAnd SAT AutoAssignInputAndStateVariables Simplification Compatibility HuffmanMealy Full StateTransition TruthTable SemanticEval ShannonExpansion Zero