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
IsPositiveFunction IsSelfDualFunction BDD Binary ToBinary NineComplement StringToBinaryNumber TwoComplement ToOrAnd ToNotFunction ToROBDD FeedbackSystem Count long minterm Nand MantissaToPositiveDecimal Print To2LayerAndXor SAT StateVariables Simplification Balanced ROBDD DontCare StateTransition string RandomGenerate ShrinkLogicFunction Zero