Xtmap: generate-and-test mapper for table-lookup gate arrays | IEEE Conference Publication | IEEE Xplore