Title: Low power finite state machine synthesis