Library finding for high-level synthesis of analog systems | IEEE Conference Publication | IEEE Xplore