A Fast Exploration Procedure for Analog High-Level Specification Translation | IEEE Journals & Magazine | IEEE Xplore