ExcitationTable
Back to table
/*
LogicObject
ExcitationTable
[ExcitationTable f]=ExcitationTable(){ };
Define the excitation table of a state-device, like flipflop.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBiUnateFunction IsEqual IsOneFunction IsSelfAntiDualFunction IsZeroFunction AndXor binaryioset ToDiagram Load MantissaToPositiveNumber PositiveDecimalToMantissa RadixToIndex object() Solve ShortestInputsForDistinguishTwoStates Forwardly CreateCompactTable GetExcitationTable Implementation ToDigitalSystem BestVariableOrder FastVerificationData Full MultiCover TimingChart RandomGenerate Substitute var XORP Zero