ShannonTree.FastVerificationData
Back to table
/*
Shannon-Tree
ShannonTree.FastVerificationData
[BinaryIOSet() dataList ]=ShannonTree.FastVerificationData(LogicFunction F);
F : a logic function
dataList : a list of data-set in the form {input : output}
Generate the fast verification input-output pattern for validating a logic circuit.
The series of the results are not sorts.
*/
//-------------------------------------------------------------------
// examples
f = AndOr()
{
2,4;
1,-3;
-1,2,3;
-1,2,3,4;
-2,-4;
}
g=ShannonTree.FastVerificationData(f);
Print(f,g);
//-------------------------------------------------------------------
// result
Analysis IsBlankFunction IsLinearFunction AbsoluteExpression FromBinary MinValue ToNotFunction ToShannonTree Dimacs Email FeedbackSystem Count LogicScript logicvardef() long() MantissaToPositiveNumber object() real Realization AutoAssignInputAndStateVariables To2layerOrAnd Simplification Compatibility CreateFromLogicFunctions GetDontCareLogicFunction ComputeFunctionOrder CreateDummyLogicFunction SemanticEval XORP Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.