The Exemplar Logic synthesis system: a logic synthesis tool for field programmable gate arrays | IEEE Conference Publication | IEEE Xplore