diff options
| -rw-r--r-- | passes/fsm/fsm_export.cc | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/passes/fsm/fsm_export.cc b/passes/fsm/fsm_export.cc index 0960d65e4..aa049445c 100644 --- a/passes/fsm/fsm_export.cc +++ b/passes/fsm/fsm_export.cc @@ -80,9 +80,10 @@ void write_kiss2(struct RTLIL::Module *module, struct RTLIL::Cell *cell) { fsm_data.copy_from_cell(cell); - kiss_file << ".start_kiss" << std::endl; - kiss_file << ".i " << std::dec << fsm_data.num_inputs << std::endl; - kiss_file << ".o " << std::dec << fsm_data.num_outputs << std::endl; + kiss_file << ".i " << std::dec << fsm_data.num_inputs << std::endl; + kiss_file << ".o " << std::dec << fsm_data.num_outputs << std::endl; + kiss_file << ".p " << std::dec << fsm_data.transition_table.size() << std::endl; + kiss_file << ".s " << std::dec << fsm_data.state_table.size() << std::endl; kiss_file << ".r s" << std::dec << fsm_data.reset_state << std::endl; for (i = 0; i < fsm_data.transition_table.size(); i++) { @@ -100,7 +101,6 @@ void write_kiss2(struct RTLIL::Module *module, struct RTLIL::Cell *cell) { } } - kiss_file << ".end_kiss" << std::endl << ".end" << std::endl; kiss_file.close(); } |