Web-based computer aided design support of finite state machine additive decomposition for low power