Two-criterial constraint-driven FSM state encoding for low power | Publicación