Analog IC design automation. II. Automated circuit correction by qualitative reasoning | IEEE Journals & Magazine | IEEE Xplore