LUT-based FPGA technology mapping using permissible functions | IEEE Conference Publication | IEEE Xplore