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 IsSelfAntiDualFunction IsUnateFunction IsZeroFunction BCD ToOrAnd ToDiagram ToROBDD ToSOP DigitalSystem Eq FeedbackSystem Count logicvardef MantissaToPositiveInteger MostSignificantDigit PositiveIntegerToMantissa PositiveNumberToMantissa OrAnd To2LayerAndOr Save Sequential Implementation FastVerificationData Full ComputeFunctionOrder EnlargeLogicFunction Normalization Zero