Utility.SemanticEval
Back to table
/*
Logic-Function-Analysis
Utility.SemanticEval
[LogicFunction g]=Utility.SemanticEval(LogicFunction F1, LogicFunction F2)
Compute $g=F1(F2=T)$.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
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