backends/intersynth/intersynth.cc

   1 /*
   2  *  yosys -- Yosys Open SYnthesis Suite
   3  *
   4  *  Copyright (C) 2012  Clifford Wolf <clifford@clifford.at>
   5  *
   6  *  Permission to use, copy, modify, and/or distribute this software for any
   7  *  purpose with or without fee is hereby granted, provided that the above
   8  *  copyright notice and this permission notice appear in all copies.
   9  *
  10  *  THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
  11  *  WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
  12  *  MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
  13  *  ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
  14  *  WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
  15  *  ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
  16  *  OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
  17  *
  18  */
  19
  20 #include "kernel/rtlil.h"
  21 #include "kernel/register.h"
  22 #include "kernel/sigtools.h"
  23 #include "kernel/celltypes.h"
  24 #include "kernel/log.h"
  25 #include <string>
  26 #include <assert.h>
  27
  28
  29 static std::string netname(std::set<std::string> &conntypes_code, std::set<std::string> &celltypes_code, std::set<std::string> &constcells_code, RTLIL::SigSpec sig)
  30 {
  31         if (sig.chunks().size() != 1)
  32 error:
  33                 log_error("Can't export composite or non-word-wide signal %s.\n", log_signal(sig));
  34
  35         conntypes_code.insert(stringf("conntype b%d %d 2 %d\n", sig.size(), sig.size(), sig.size()));
  36
  37         if (sig.chunks()[0].wire == NULL) {
  38                 celltypes_code.insert(stringf("celltype CONST_%d b%d *CONST cfg:%d VALUE\n", sig.size(), sig.size(), sig.size()));
  39                 constcells_code.insert(stringf("node CONST_%d_0x%x CONST_%d CONST CONST_%d_0x%x VALUE 0x%x\n", sig.size(), sig.chunks()[0].data.as_int(),
  40                                 sig.size(), sig.size(), sig.chunks()[0].data.as_int(), sig.chunks()[0].data.as_int()));
  41                 return stringf("CONST_%d_0x%x", sig.size(), sig.chunks()[0].data.as_int());
  42         }
  43
  44         if (sig.chunks()[0].offset != 0 || sig.size() != sig.chunks()[0].wire->width)
  45                 goto error;
  46
  47         return RTLIL::unescape_id(sig.chunks()[0].wire->name);
  48 }
  49
  50 struct IntersynthBackend : public Backend {
  51         IntersynthBackend() : Backend("intersynth", "write design to InterSynth netlist file") { }
  52         virtual void help()
  53         {
  54                 //   |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|
  55                 log("\n");
  56                 log("    write_intersynth [options] [filename]\n");
  57                 log("\n");
  58                 log("Write the current design to an 'intersynth' netlist file. InterSynth is\n");
  59                 log("a tool for Coarse-Grain Example-Driven Interconnect Synthesis.\n");
  60                 log("\n");
  61                 log("    -notypes\n");
  62                 log("        do not generate celltypes and conntypes commands. i.e. just output\n");
  63                 log("        the netlists. this is used for postsilicon synthesis.\n");
  64                 log("\n");
  65                 log("    -lib <verilog_or_ilang_file>\n");
  66                 log("        Use the specified library file for determining whether cell ports are\n");
  67                 log("        inputs or outputs. This option can be used multiple times to specify\n");
  68                 log("        more than one library.\n");
  69                 log("\n");
  70                 log("    -selected\n");
  71                 log("        only write selected modules. modules must be selected entirely or\n");
  72                 log("        not at all.\n");
  73                 log("\n");
  74                 log("http://www.clifford.at/intersynth/\n");
  75                 log("\n");
  76         }
  77         virtual void execute(FILE *&f, std::string filename, std::vector<std::string> args, RTLIL::Design *design)
  78         {
  79                 log_header("Executing INTERSYNTH backend.\n");
  80                 log_push();
  81
  82                 std::vector<std::string> libfiles;
  83                 std::vector<RTLIL::Design*> libs;
  84                 bool flag_notypes = false;
  85                 bool selected = false;
  86
  87                 size_t argidx;
  88                 for (argidx = 1; argidx < args.size(); argidx++)
  89                 {
  90                         if (args[argidx] == "-notypes") {
  91                                 flag_notypes = true;
  92                                 continue;
  93                         }
  94                         if (args[argidx] == "-lib" && argidx+1 < args.size()) {
  95                                 libfiles.push_back(args[++argidx]);
  96                                 continue;
  97                         }
  98                         if (args[argidx] == "-selected") {
  99                                 selected = true;
 100                                 continue;
 101                         }
 102                         break;
 103                 }
 104                 extra_args(f, filename, args, argidx);
 105
 106                 log("Output filename: %s\n", filename.c_str());
 107
 108                 for (auto filename : libfiles) {
 109                         FILE *f = fopen(filename.c_str(), "rt");
 110                         if (f == NULL)
 111                                 log_error("Can't open lib file `%s'.\n", filename.c_str());
 112                         RTLIL::Design *lib = new RTLIL::Design;
 113                         Frontend::frontend_call(lib, f, filename, (filename.size() > 3 && filename.substr(filename.size()-3) == ".il") ? "ilang" : "verilog");
 114                         libs.push_back(lib);
 115                         fclose(f);
 116                 }
 117
 118                 if (libs.size() > 0)
 119                         log_header("Continuing INTERSYNTH backend.\n");
 120
 121                 std::set<std::string> conntypes_code, celltypes_code;
 122                 std::string netlists_code;
 123                 CellTypes ct(design);
 124
 125                 for (auto lib : libs)
 126                         ct.setup_design(lib);
 127
 128                 for (auto module_it : design->modules)
 129                 {
 130                         RTLIL::Module *module = module_it.second;
 131                         SigMap sigmap(module);
 132
 133                         if (module->get_bool_attribute("\\blackbox"))
 134                                 continue;
 135                         if (module->memories.size() == 0 && module->processes.size() == 0 && module->cells.size() == 0)
 136                                 continue;
 137
 138                         if (selected && !design->selected_whole_module(module->name)) {
 139                                 if (design->selected_module(module->name))
 140                                         log_cmd_error("Can't handle partially selected module %s!\n", RTLIL::id2cstr(module->name));
 141                                 continue;
 142                         }
 143
 144                         log("Generating netlist %s.\n", RTLIL::id2cstr(module->name));
 145
 146                         if (module->memories.size() != 0 || module->processes.size() != 0)
 147                                 log_error("Can't generate a netlist for a module with unprocessed memories or processes!\n");
 148
 149                         std::set<std::string> constcells_code;
 150                         netlists_code += stringf("# Netlist of module %s\n", RTLIL::id2cstr(module->name));
 151                         netlists_code += stringf("netlist %s\n", RTLIL::id2cstr(module->name));
 152
 153                         // Module Ports: "std::set<string> celltypes_code" prevents duplicate top level ports
 154                         for (auto wire_it : module->wires) {
 155                                 RTLIL::Wire *wire = wire_it.second;
 156                                 if (wire->port_input || wire->port_output) {
 157                                         celltypes_code.insert(stringf("celltype !%s b%d %sPORT\n" "%s %s %d %s PORT\n",
 158                                                         RTLIL::id2cstr(wire->name), wire->width, wire->port_input ? "*" : "",
 159                                                         wire->port_input ? "input" : "output", RTLIL::id2cstr(wire->name), wire->width, RTLIL::id2cstr(wire->name)));
 160                                         netlists_code += stringf("node %s %s PORT %s\n", RTLIL::id2cstr(wire->name), RTLIL::id2cstr(wire->name),
 161                                                         netname(conntypes_code, celltypes_code, constcells_code, sigmap(wire)).c_str());
 162                                 }
 163                         }
 164
 165                         // Submodules: "std::set<string> celltypes_code" prevents duplicate cell types
 166                         for (auto cell_it : module->cells)
 167                         {
 168                                 RTLIL::Cell *cell = cell_it.second;
 169                                 std::string celltype_code, node_code;
 170
 171                                 if (!ct.cell_known(cell->type))
 172                                         log_error("Found unknown cell type %s in module!\n", RTLIL::id2cstr(cell->type));
 173
 174                                 celltype_code = stringf("celltype %s", RTLIL::id2cstr(cell->type));
 175                                 node_code = stringf("node %s %s", RTLIL::id2cstr(cell->name), RTLIL::id2cstr(cell->type));
 176                                 for (auto &port : cell->connections) {
 177                                         RTLIL::SigSpec sig = sigmap(port.second);
 178                                         if (sig.size() != 0) {
 179                                                 conntypes_code.insert(stringf("conntype b%d %d 2 %d\n", sig.size(), sig.size(), sig.size()));
 180                                                 celltype_code += stringf(" b%d %s%s", sig.size(), ct.cell_output(cell->type, port.first) ? "*" : "", RTLIL::id2cstr(port.first));
 181                                                 node_code += stringf(" %s %s", RTLIL::id2cstr(port.first), netname(conntypes_code, celltypes_code, constcells_code, sig).c_str());
 182                                         }
 183                                 }
 184                                 for (auto &param : cell->parameters) {
 185                                         celltype_code += stringf(" cfg:%d %s", int(param.second.bits.size()), RTLIL::id2cstr(param.first));
 186                                         if (param.second.bits.size() != 32) {
 187                                                 node_code += stringf(" %s '", RTLIL::id2cstr(param.first));
 188                                                 for (int i = param.second.bits.size()-1; i >= 0; i--)
 189                                                         node_code += param.second.bits[i] == RTLIL::S1 ? "1" : "0";
 190                                         } else
 191                                                 node_code += stringf(" %s 0x%x", RTLIL::id2cstr(param.first), param.second.as_int());
 192                                 }
 193
 194                                 celltypes_code.insert(celltype_code + "\n");
 195                                 netlists_code += node_code + "\n";
 196                         }
 197
 198                         if (constcells_code.size() > 0)
 199                           netlists_code += "# constant cells\n";
 200                         for (auto code : constcells_code)
 201                                 netlists_code += code;
 202                         netlists_code += "\n";
 203                 }
 204
 205                 if (!flag_notypes) {
 206                         fprintf(f, "### Connection Types\n");
 207                         for (auto code : conntypes_code)
 208                                 fprintf(f, "%s", code.c_str());
 209                         fprintf(f, "\n### Cell Types\n");
 210                         for (auto code : celltypes_code)
 211                                 fprintf(f, "%s", code.c_str());
 212                 }
 213                 fprintf(f, "\n### Netlists\n");
 214                 fprintf(f, "%s", netlists_code.c_str());
 215
 216                 for (auto lib : libs)
 217                         delete lib;
 218
 219                 log_pop();
 220         }
 221 } IntersynthBackend;
 222