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
Analysis IsBiUnateFunctionTo IsMonotonicFunction IsParityFunction IsSelfAntiDualFunction IsThresholdFunction IsUnateFunctionTo BDD binary() Binary ToNotFunction Diagram Dimacs Eq ExcitationTable Imply MantissaToPositiveDecimal MostSignificantDigit PositiveDecimalToMantissa PositiveIntegerToMantissa OrAnd SAT MaxSAT Backwardly StateVariables OutputAndStateBasedly Full TimingChart var Zero