Encoding of Terms in LUT-based Mealy FSMs | IEEE Conference Publication | IEEE Xplore