A constraint satisfaction algorithm for microcontroller selection and pin assignment | IEEE Conference Publication | IEEE Xplore