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
IsSymmetricFunction IsUnateFunctionTo AndXor Binary MinValue GrayCode StringToBinaryNumber TwoComplement binaryioset bool ToAndXor AddXorTerm ToShannonTree Equiv Get logicvardef() LeastSignificantDigit RadixFromIndex Or SOP To2LayerAndOr ToFullAnd Save Implementation SimpleCover CreateFromLogicFunctions GetDontCareLogicFunction ShannonExpansion ShrinkLogicFunction Zero