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
IsMonotonicFunction IsParityFunction IsPositiveFunction IsUnateFunction AndXor binary() Binary NineComplement bool() ToDualFunction ToShannonTree ToSOP Diagram long NumberSystem PositiveIntegerToMantissa object() Or OrAnd real() AutoAssignInputAndStateVariables Backwardly CreateCompactTableWithFullSimplification GetDontCareLogicFunction GetNegativeLogicFunction ComputeFunctionOrder CreateDummyLogicFunction EnlargeLogicFunction ShrinkLogicFunction Zero