A methodology for behavioral synthesis of analog systems | IEEE Conference Publication | IEEE Xplore