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
PermuteLogicFunction IsLinearFunction IsMonotonicFunction IsOneFunction IsUnateFunction AndXor Binary FromBinary DigitalSystem Eq LogicScript logicvardef To2LayerOrAnd TransitionSeries Assign AutoAssignInputAndStateVariables ToFeedbackSystem CreateCompactTableWithFullSimplification Compatibility HuffmanMealy SimpleInner StateDeviceName string TruthTable GetNegativeLogicFunction ComputeFunctionOrder ShannonExpansion var() Xor Zero