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
Advanced MatchLogicFunction IsMonotonicFunction IsPositiveUnateFunctionTo IsSelfAntiDualFunction And AndOr ToBinary BinaryNumberToString bool ToSOP ToTruthTable ToVariableInvertedFunction minterm Nand Nor real MaxSAT Solve Assign Backwardly HuffmanMealy ShannonTree Fast Canonical GetDontCareLogicFunction Utility IndependentBase Normalization Zero