Sequential.Simplification.HuffmanMealy
Back to table
/*
SequentialLogic
Sequential.Simplification.HuffmanMealy
[StateTransition result]=Sequential.Simplification.HuffmanMealy(StateTransition table);
Simplify a completely defined state-transition-table with the Huffman-Mealy method.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
Advanced Analysis IsNegativeUnateFunctionTo IsOneFunction IsUnateFunctionTo BDD ToBinary ToTruthTable DigitalSystem Count logicvardef() minterm Minus Not PositiveIntegerToMantissa One PermutationMatrix SOP AutoAssignInputAndStateVariables InputVariables Simplification Compatibility FastVerificationData MultiCover TruthTable CreateFromLogicFunctions Normalization SemanticEval Xor Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.