diff options
| author | Martin Schmölzer <martin@schmoelzer.at> | 2013-02-23 18:22:19 +0100 |
|---|---|---|
| committer | Martin Schmölzer <martin@schmoelzer.at> | 2013-02-23 18:22:19 +0100 |
| commit | 5a005cefe2d605fffa71b43796f6e11263fc0e17 (patch) | |
| tree | a6d3d1df0e89a403f852867575a39c8ad7631db6 /passes | |
| parent | 6d1502b9484a445e5184bdf622f87fcd14d0a0f9 (diff) | |
| download | yosys-5a005cefe2d605fffa71b43796f6e11263fc0e17.tar.gz yosys-5a005cefe2d605fffa71b43796f6e11263fc0e17.tar.bz2 yosys-5a005cefe2d605fffa71b43796f6e11263fc0e17.zip | |
"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>
Diffstat (limited to 'passes')
| -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(); } |