Synthesis of control unit with refined state encoding for CPLD devices | IEEE Conference Publication | IEEE Xplore