Twofold State Assignment for LUT-based Mealy FSMs | IEEE Conference Publication | IEEE Xplore