Logic synthesis for a single large look-up table | IEEE Conference Publication | IEEE Xplore