Sequential.Realization.To2LayerAndXor
Back to table
/*
SequentialLogic
Sequential.Realization.To2LayerAndXor
[DigitalSystem sys]=Sequential.Realization.To2LayerAndXor(DigitalSystem sys);
Realize a DigitalSystem with the algorithm of 2-layer AND-XOR gates.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsLinearFunction IsPositiveUnateFunctionTo IsSymmetricFunction ToAndOr bool() Convert ToROBDD ToXORP Email Eq FeedbackDiagram Load logicvardef() Minus Not To2LayerNor SAT StateTransitionBasedly To2layerOrAnd Simplification Fast MultiCover SimpleInner TruthTable Normalization SemanticEval ShannonExpansion ShrinkLogicFunction var() Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.