AndOr AndXor binaryioset AddXorTerm ToROBDD ToShannonTree ToTruthTable DigitalSystem FeedbackSystem Load logicvardef() MantissaToPositiveNumber MostSignificantDigit PositiveDecimalToMantissa PositiveIntegerToMantissa real Realization Save Sequential CreateCompactTableWithFullSimplification GetExcitationTable Implementation Fast CreateFromLogicFunctions GetDontCareLogicFunction ComputeDONTCARE SemanticEval Xor XORP Zero