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
Analysis IsBiUnateFunctionTo IsSelfDualFunction IsThresholdFunction IsUnateFunctionTo bool ToPOS FeedbackDiagram Load NumberSystem MantissaToPositiveDecimal real() real To2LayerNor Solve ShortestInputsForDistinguishTwoStates TransitionSeries Assign InputVariables ToFeedbackSystem Implementation Compatibility FastVerificationData ROBDD DontCare GetNegativeLogicFunction CreateDummyLogicFunction EnlargeLogicFunction XORP Zero