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
IsBiUnateFunction IsCovering IsOneFunction IsSelfDualFunction IsThresholdFunction MaxValue ToBinary Convert ToDualFunction Email Equiv logicvardef() LeastSignificantDigit MostSignificantDigit RadixFromIndex To2LayerNor To2LayerOrAnd To2LayerAndOr Save StateVariables OutputAndStateBasedly StateTransitionBasedly MultiCover Shannon TimingChart IndependentBase ShrinkLogicFunction Substitute var Zero