About this document
FSM Synthesis: State Assignment Algorithm by kannanrk1984 is a document available to read on EtoBox.
The document describes a new algorithm for finite state machine (FSM) synthesis that performs state merging and state splitting concurrently with state assignment. The algorithm is suitable for machines with compatibility relations among states, as it exploits potentials for state merging during assignment. The algorithm was tested on benchmark problems and compared to an existing assignment program. It represents an alternative approach to traditional separate treatment of state minimization and assignment
- Author
- kannanrk1984
- Language
- EN