Chortle-crf: fast technology mapping for lookup table-based FPGAs | IEEE Conference Publication | IEEE Xplore