Sequential.Analysis.ShortestInputsForTransition
Back to table
/*
SequentialLogic
Sequential.Analysis.ShortestInputsForTransition
[binary() result]=Sequential.Analysis.ShortestInputsForTransition(StateTransition table, var() stateXY);
Compute the shortest inputs for transition from state x to y.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsParityFunction IsSelfDualFunction AbsoluteExpression MaxValue MinValue BCD BCDEx3 TwoComplement Convert ToAndXor ToTruthTable Eq Get long Radixes RadixFromIndex PermutationMatrix real ToFullAnd Sequential CreateCompactTable GetExcitationTable BestVariableOrder FastVerificationData Canonical DontCare TruthTable RandomGenerate IndependentBase Zero