Sequential.Realization.To2LayerAndOr
Back to table
/*
SequentialLogic
Sequential.Realization.To2LayerAndOr
[DigitalSystem sys]=Sequential.Realization.To2LayerAndOr(DigitalSystem sys);
Realize a DigitalSystem with the algorithm of 2-layer AND-OR gates.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsCovering IsNegativeUnateFunctionTo bool ToDualFunction ToNotFunction Diagram FeedbackDiagram list() minterm Radixes Print real SAT Sequential OutputAndStateBasedly To2layerOrAnd Simplification HuffmanMealy ShannonTree BestVariableOrder Canonical MultiCover string() GetPositiveLogicFunction EnlargeLogicFunction ShrinkLogicFunction var() Xor XORP Zero