summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Schmölzer <martin@schmoelzer.at>2013-02-23 18:22:19 +0100
committerMartin Schmölzer <martin@schmoelzer.at>2013-02-23 18:22:19 +0100
commit5a005cefe2d605fffa71b43796f6e11263fc0e17 (patch)
treea6d3d1df0e89a403f852867575a39c8ad7631db6
parent6d1502b9484a445e5184bdf622f87fcd14d0a0f9 (diff)
"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>
-rw-r--r--passes/fsm/fsm_export.cc8
1 files changed, 4 insertions, 4 deletions
diff --git a/passes/fsm/fsm_export.cc b/passes/fsm/fsm_export.cc
index 0960d65e..aa049445 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();
}