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
IsBlankFunction IsEqual ToBinary GrayCode binary binaryioset() bool() ToXORP Dimacs Imply logicvardef long Minus Nor PositiveDecimalToMantissa PositiveNumberToMantissa OrAnd ToFullAnd TransitionSeries AutoAssignInputAndStateVariables ToFeedbackSystem Simplification Balanced DontCare TimingChart TruthTable GetSubTable SemanticEval Xor Zero