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
IsNegativeUnateFunctionTo IsPositiveFunction IsPositiveUnateFunctionTo IsSelfAntiDualFunction IsSelfDualFunction IsSymmetricFunction BDD ToAndOr binary bool ToOrAnd ToNotFunction ToShannonTree ToSOP ToTruthTable ToXORP FeedbackSystem Nand PositiveDecimalToMantissa Or To2LayerOrAnd ShortestInputsForDistinguishTwoStates TransitionSeries OutputAndStateBasedly Balanced StateDeviceName GetNegativeLogicFunction Utility ShannonExpansion Zero