fsm_export.cc File Reference

#include "kernel/log.h"
#include "kernel/register.h"
#include "kernel/sigtools.h"
#include "kernel/consteval.h"
#include "kernel/celltypes.h"
#include "fsmdata.h"
#include <string>
#include <iostream>
#include <fstream>

Include dependency graph for fsm_export.cc:

Go to the source code of this file.

Data Structures
struct	FsmExportPass

Functions
USING_YOSYS_NAMESPACE PRIVATE_NAMESPACE_BEGIN std::string	kiss_convert_signal (const RTLIL::SigSpec &sig)
void	write_kiss2 (struct RTLIL::Module *module, struct RTLIL::Cell *cell, std::string filename, bool origenc)

Variables
FsmExportPass	FsmExportPass

Function Documentation

USING_YOSYS_NAMESPACE PRIVATE_NAMESPACE_BEGIN std::string kiss_convert_signal

(

const RTLIL::SigSpec &

sig

)

Convert a signal into a KISS-compatible textual representation.

Definition at line 37 of file fsm_export.cc.

                                                       {
    log_assert(sig.is_fully_const());
    return sig.as_const().as_string();
}

Here is the call graph for this function:

Here is the caller graph for this function:

void write_kiss2	(	struct RTLIL::Module *	module,
		struct RTLIL::Cell *	cell,
		std::string	filename,
		bool	origenc
	)

Create a KISS2 file from a cell.

The destination file name is taken from the fsm_export attribute if present, e.g. (* fsm_export="filename.kiss2" *). If this attribute is not present, the file name will be assembled from the module and cell names.

Parameters

module	pointer to module which contains the FSM cell.
cell	pointer to the FSM cell which should be exported.

Definition at line 52 of file fsm_export.cc.

                                                                                                       {
    std::map<RTLIL::IdString, RTLIL::Const>::iterator attr_it;
    FsmData fsm_data;
    FsmData::transition_t tr;
    std::ofstream kiss_file;
    std::string kiss_name;
    size_t i;

    attr_it = cell->attributes.find("\\fsm_export");
    if (!filename.empty()) {
        kiss_name.assign(filename);
    } else if (attr_it != cell->attributes.end() && attr_it->second.decode_string() != "") {
        kiss_name.assign(attr_it->second.decode_string());
    }
    else {
        kiss_name.assign(log_id(module) + std::string("-") + log_id(cell) + ".kiss2");
    }

    log("\n");
    log("Exporting FSM `%s' from module `%s' to file `%s'.\n",
            cell->name.c_str(),
            module->name.c_str(),
            kiss_name.c_str());

    kiss_file.open(kiss_name, std::ios::out | std::ios::trunc);

    if (!kiss_file.is_open()) {
        log_error("Could not open file \"%s\" with write access.\n", kiss_name.c_str());
    }

    fsm_data.copy_from_cell(cell);

    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;
    if (origenc) {
        kiss_file << ".r " << kiss_convert_signal(fsm_data.state_table[fsm_data.reset_state]) << std::endl;
    } else {
        kiss_file << ".r s" << std::dec << fsm_data.reset_state << std::endl;
    }

    for (i = 0; i < fsm_data.transition_table.size(); i++) {
        tr = fsm_data.transition_table[i];

        try {
            kiss_file << kiss_convert_signal(tr.ctrl_in) << ' ';
            if (origenc) {
                kiss_file << kiss_convert_signal(fsm_data.state_table[tr.state_in])  << ' ';
                kiss_file << kiss_convert_signal(fsm_data.state_table[tr.state_out]) << ' ';
            } else {
                kiss_file << 's' << tr.state_in << ' ';
                kiss_file << 's' << tr.state_out << ' ';
            }
            kiss_file << kiss_convert_signal(tr.ctrl_out) << std::endl;
        }
        catch (int) {
            kiss_file.close();
            log_error("exporting an FSM input or output signal failed.\n");
        }
    }

    kiss_file.close();
}

Here is the call graph for this function:

Here is the caller graph for this function:

Variable Documentation

FsmExportPass FsmExportPass