From 5a005cefe2d605fffa71b43796f6e11263fc0e17 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Schm=C3=B6lzer?= Date: Sat, 23 Feb 2013 18:22:19 +0100 Subject: "fsm_export" pass: fix KISS file generation. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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 --- passes/fsm/fsm_export.cc | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'passes/fsm/fsm_export.cc') 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(); } -- cgit v1.2.3