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
IsInverse IsSymmetricFunctionTo IsThresholdFunction IsUnateFunction AbsoluteExpression MaxValue StringToBinaryNumber ToPOS ToXORP DiagramGateName Dimacs ExcitationTable Not MantissaToPositiveNumber MostSignificantDigit PositiveNumberToMantissa Radixes object() object PermutationMatrix Save GetExcitationTable To2layerOrAnd string() string TimingChart CreateFromLogicFunctions ShannonExpansion Substitute Zero