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
IsOneFunction IsPositiveFunction IsUnateFunctionTo AndOr ToAndOr binary() AbsoluteExpression FromBinary BinaryNumberToString AddXorTerm ToPOS ToROBDD ToVariableInvertedFunction Equiv minterm() MantissaToPositiveInteger RadixFromIndex One Or Print Realization AutoAssignInputAndStateVariables To2layerOrAnd Fast FastVerificationData Canonical TruthTable GetSubTable ShrinkLogicFunction Zero