Efficient Verification Against Undesired Operating Points for MOS Analog Circuits | IEEE Journals & Magazine | IEEE Xplore