Sequential.Assign.InputVariables.Backwardly
Back to table
/*
SequentialLogic
Sequential.Assign.InputVariables.Backwardly
[StateTransition table]=Sequential.Assign.InputVariables.Backwardly(StateTransition table);
Assign binary to inputs according to its indexes backwardly.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsZeroFunction ToAndOr Binary BCD GrayCode StringToBinaryNumber ToDiagram ToPOS ToROBDD ToVariableInvertedFunction ToXORP minterm Nand object() One To2LayerOrAnd Save Assign OutputAndStateBasedly StateTransitionBasedly ToFeedbackSystem FastVerificationData GetPositiveLogicFunction AdjustLogicVariableCount EnlargeLogicFunction IndependentBase Normalization SemanticEval XORP Zero