fsm_export - exporting FSMs to KISS2 files¶
yosys> help fsm_export¶
fsm_export [-noauto] [-o filename] [-origenc] [selection]
This pass creates a KISS2 file for every selected FSM. For FSMs with the 'fsm_export' attribute set, the attribute value is used as filename, otherwise the module and cell name is used as filename. If the parameter '-o' is given, the first exported FSM is written to the specified filename. This overwrites the setting as specified with the 'fsm_export' attribute. All other FSMs are exported to the default name as mentioned above.
only export FSMs that have the 'fsm_export' attribute set
filename of the first exported FSM
use binary state encoding as state names instead of s0, s1, ...