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
PermuteLogicFunction IsInverse IsNegativeUnateFunctionTo IsParityFunction IsUnateFunctionTo BinaryNumberToString NineComplement ToXORP Equiv long() long Nor MantissaToPositiveDecimal PositiveDecimalToMantissa RadixFromIndex One Realization To2LayerNor SAT Assign CreateCompactTableWithFullSimplification GetExcitationTable BestVariableOrder MultiCover Shannon SimpleCover CreateFromLogicFunctions ComputeDONTCARE Substitute Zero