"fsm_export" pass: fix KISS file generation.

The KISS file format now follows the conventions specified in
"Logic Synthesis and Optimization Benchmarks User Guide", Version 3.0
by Saeyang Yang.

This change ensures interoperability with the "trfsmgen" program by Johann
Glaser.

Signed-off-by: Martin Schmölzer <martin.schmoelzer@student.tuwien.ac.at>

diff --git a/passes/fsm/fsm_export.cc b/passes/fsm/fsm_export.cc
index 0960d65e46ffe6f9a961bbdee988b997f84f20fc..aa049445cc6d589e5341625e4be3869abda0f3aa 100644 (file)
--- 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();
 }