Low power transistor level synthesis of finite state machines using a novel dual gating technique