Logic synthesis for programmable gate arrays | IEEE Conference Publication | IEEE Xplore