QUEST: a system for module selection and design optimization under multiple constraints | IEEE Conference Publication | IEEE Xplore