ISAID: qualitative reasoning and trade-off analysis in analog IC design automation | IEEE Conference Publication | IEEE Xplore