A Fast Exploration Procedure for Analog High-Level Specification Translation. - Soumya Pandit; Sumit K. Bhattacharya; Chittaranjan A. Mandal; Amit Patra (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)