A new Saturation function to convert an output constraint into an input constraint | IEEE Conference Publication | IEEE Xplore