Sequential.Realization.To2LayerNand
Back to table
/*
SequentialLogic
Sequential.Realization.To2LayerNand
[DigitalSystem sys]=Sequential.Realization.To2LayerNand(DigitalSystem sys);
Realize a DigitalSystem with the algorithm of 2-layer NAND-NAND gates.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBiUnateFunctionTo IsInverse IsMonotonicFunction IsNegativeUnateFunctionTo IsPositiveFunction IsSelfAntiDualFunction And AbsoluteExpression PureBinary bool ToAndXor ToSOP DiagramGateName Imply list() Minus Nor Not One Print Realization SOP Solve StateVariables Implementation FastVerificationData DontCare EnlargeLogicFunction Substitute Zero