Sequential.Realization.To2layerOrAnd
Back to table
/*
SequentialLogic
Sequential.Realization.To2layerOrAnd
[DigitalSystem sys]=Sequential.Realization.To2layerOrAnd(DigitalSystem sys);
Realize a DigitalSystem with the algorithm of 2-layer OR-AND gates.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBiUnateFunctionTo IsEqual IsNegativeUnateFunctionTo IsSelfDualFunction IsUnateFunctionTo And BDD AbsoluteExpression FromBinary OneComplement Convert ToVariableInvertedFunction Diagram DigitalSystem Dimacs minterm() Nand Not Radixes real To2LayerAndOr To2LayerNand Solve ShortestInputsForTransition Assign InputVariables FastVerificationData DontCare XORP Zero