Formal verification of synthesized analog designs | IEEE Conference Publication | IEEE Xplore