Two-criterial constraint-driven FSM state encoding for low power | IEEE Conference Publication | IEEE Xplore