Sequential.Analysis.ShortestInputsForDistinguishTwoStates
Back to table
/*
SequentialLogic
Sequential.Analysis.ShortestInputsForDistinguishTwoStates
[binaryioset() result]=Sequential.Analysis.ShortestInputsForDistinguishTwoStates(StateTransition table, var stateX, var stateY);
Compute the shortest inputs for transition from state x to y.
*/
//-------------------------------------------------------------------
// examples
[binaryioset() result]=Sequential.Analysis.ShortestInputsForDistinguishTwoStates(StateTransition table, var() stateXY);
//-------------------------------------------------------------------
// result
MatchLogicFunction IsPositiveUnateFunctionTo IsSelfAntiDualFunction AbsoluteExpression BCDEx3 ToDualFunction ToTruthTable DiagramGateName DigitalSystem Eq Equiv list() Count Get Nor Not PositiveDecimalToMantissa Print To2LayerAndOr SAT AutoAssignInputAndStateVariables Forwardly Compatibility DontCare StateDeviceName StateTransition CreateDummyLogicFunction Normalization XORP Zero