A Parametric Programming Approach to Automated Integrated Circuit Design | IEEE Journals & Magazine | IEEE Xplore