/982648/1.hassmallThumbnailVersion/Exploiting-Bounds-Optimization-for-the-Semi-formal-Verification-of-Analog-Circuits_2017_Integration-the-VLSI-Journal.pdf;/982648/1/Exploiting-Bounds-Optimization-for-the-Semi-formal-Verification-of-Analog-Circuits_2017_Integration-the-VLSI-Journal.pdf