Utility.Normalization
Back to table
/*
Logic-Function-Analysis
Utility.Normalization
[LogicFunction() bases]=Utility.Normalization(LogicFunction F1, ...)
Compute the exclusive bases of a list of logic function.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
Analysis IsBiUnateFunction IsMonotonicFunction IsPositiveUnateFunctionTo IsSelfDualFunction AndOr List MaxValue MinValue BCD binaryioset() DiagramGateName Get PositiveIntegerToMantissa PermutationMatrix Realization MaxSAT Solve Sequential Implementation FastVerificationData Canonical DontCare Full MultiCover Shannon RandomGenerate Utility CreateDummyLogicFunction Zero