Web-based system for sequential machines decomposition

This work focuses on particular but comprehensive problem of finite state machine (FSM) decomposition. The task of the FSM decomposition is essential to sequential circuits design optimization in implementation-independent manner. The main goal of the investigations has been to elaborate decomposition synthesis methods for high complexity FSMs and their implementation as Web-based computer design system. The theoretical basis for the investigation has been the algebraic structure theory of FSMs, its further development in accordance with the needs of digital systems design practice to handle the task of partition of hardware description into a network of interconnected FSMs targeting optimization criteria. Consideration of decomposition synthesis leads to investigation of hard NP-complete combinatorial problems. The synthesis system under development should not be only design automation software but it should be a research tool and educational system.