projects / yosys.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge remote-tracking branch 'origin/eddie/synth_keepdc' into xc7mux
[yosys.git] / techlibs / xilinx / synth_xilinx.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/register.h"
21 #include "kernel/celltypes.h"
22 #include "kernel/rtlil.h"
23 #include "kernel/log.h"
24
25 USING_YOSYS_NAMESPACE
26 PRIVATE_NAMESPACE_BEGIN
27
28 #define XC7_WIRE_DELAY "300" // Number with which ABC will map a 6-input gate
29 // to one LUT6 (instead of a LUT5 + LUT2)
30
31 struct SynthXilinxPass : public ScriptPass
32 {
33 SynthXilinxPass() : ScriptPass("synth_xilinx", "synthesis for Xilinx FPGAs") { }
34
35 void help() YS_OVERRIDE
36 {
37 // |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|
38 log("\n");
39 log(" synth_xilinx [options]\n");
40 log("\n");
41 log("This command runs synthesis for Xilinx FPGAs. This command does not operate on\n");
42 log("partly selected designs. At the moment this command creates netlists that are\n");
43 log("compatible with 7-Series Xilinx devices.\n");
44 log("\n");
45 log(" -top <module>\n");
46 log(" use the specified module as top module\n");
47 log("\n");
48 log(" -family {xcup|xcu|xc7|xc6s}\n");
49 log(" run synthesis for the specified Xilinx architecture\n");
50 log(" generate the synthesis netlist for the specified family.\n");
51 log(" default: xc7\n");
52 log("\n");
53 log(" -edif <file>\n");
54 log(" write the design to the specified edif file. writing of an output file\n");
55 log(" is omitted if this parameter is not specified.\n");
56 log("\n");
57 log(" -blif <file>\n");
58 log(" write the design to the specified BLIF file. writing of an output file\n");
59 log(" is omitted if this parameter is not specified.\n");
60 log("\n");
61 log(" -vpr\n");
62 log(" generate an output netlist (and BLIF file) suitable for VPR\n");
63 log(" (this feature is experimental and incomplete)\n");
64 log("\n");
65 log(" -nobram\n");
66 log(" disable inference of block rams\n");
67 log("\n");
68 log(" -nodram\n");
69 log(" disable inference of distributed rams\n");
70 log("\n");
71 log(" -nosrl\n");
72 log(" disable inference of shift registers\n");
73 log("\n");
74 log(" -nocarry\n");
75 log(" do not use XORCY/MUXCY/CARRY4 cells in output netlist\n");
76 log("\n");
77 log(" -nowidelut\n");
78 log(" do not use MUXF[78] resources to implement LUTs larger than LUT6s\n");
79 log("\n");
80 log(" -widemux <int>\n");
81 log(" enable inference of hard multiplexer resources (MUXF[78]) for muxes at or\n");
82 log(" above this number of inputs (minimum value 2, recommended value >= 5).\n");
83 log(" default: 0 (no inference)\n");
84 log("\n");
85 log(" -run <from_label>:<to_label>\n");
86 log(" only run the commands between the labels (see below). an empty\n");
87 log(" from label is synonymous to 'begin', and empty to label is\n");
88 log(" synonymous to the end of the command list.\n");
89 log("\n");
90 log(" -flatten\n");
91 log(" flatten design before synthesis\n");
92 log("\n");
93 log(" -retime\n");
94 log(" run 'abc' with -dff option\n");
95 log("\n");
96 log(" -abc9\n");
97 log(" use new ABC9 flow (EXPERIMENTAL)\n");
98 log("\n");
99 log("\n");
100 log("The following commands are executed by this synthesis command:\n");
101 help_script();
102 log("\n");
103 }
104
105 std::string top_opt, edif_file, blif_file, family;
106 bool flatten, retime, vpr, nobram, nodram, nosrl, nocarry, nowidelut, abc9;
107 int widemux;
108
109 void clear_flags() YS_OVERRIDE
110 {
111 top_opt = "-auto-top";
112 edif_file.clear();
113 blif_file.clear();
114 family = "xc7";
115 flatten = false;
116 retime = false;
117 vpr = false;
118 nocarry = false;
119 nobram = false;
120 nodram = false;
121 nosrl = false;
122 nocarry = false;
123 nowidelut = false;
124 abc9 = false;
125 widemux = 0;
126 }
127
128 void execute(std::vector<std::string> args, RTLIL::Design *design) YS_OVERRIDE
129 {
130 std::string run_from, run_to;
131 clear_flags();
132
133 size_t argidx;
134 for (argidx = 1; argidx < args.size(); argidx++)
135 {
136 if (args[argidx] == "-top" && argidx+1 < args.size()) {
137 top_opt = "-top " + args[++argidx];
138 continue;
139 }
140 if ((args[argidx] == "-family" || args[argidx] == "-arch") && argidx+1 < args.size()) {
141 family = args[++argidx];
142 continue;
143 }
144 if (args[argidx] == "-edif" && argidx+1 < args.size()) {
145 edif_file = args[++argidx];
146 continue;
147 }
148 if (args[argidx] == "-blif" && argidx+1 < args.size()) {
149 blif_file = args[++argidx];
150 continue;
151 }
152 if (args[argidx] == "-run" && argidx+1 < args.size()) {
153 size_t pos = args[argidx+1].find(':');
154 if (pos == std::string::npos)
155 break;
156 run_from = args[++argidx].substr(0, pos);
157 run_to = args[argidx].substr(pos+1);
158 continue;
159 }
160 if (args[argidx] == "-flatten") {
161 flatten = true;
162 continue;
163 }
164 if (args[argidx] == "-retime") {
165 retime = true;
166 continue;
167 }
168 if (args[argidx] == "-nocarry") {
169 nocarry = true;
170 continue;
171 }
172 if (args[argidx] == "-nowidelut") {
173 nowidelut = true;
174 continue;
175 }
176 if (args[argidx] == "-vpr") {
177 vpr = true;
178 continue;
179 }
180 if (args[argidx] == "-nocarry") {
181 nocarry = true;
182 continue;
183 }
184 if (args[argidx] == "-nobram") {
185 nobram = true;
186 continue;
187 }
188 if (args[argidx] == "-nodram") {
189 nodram = true;
190 continue;
191 }
192 if (args[argidx] == "-nosrl") {
193 nosrl = true;
194 continue;
195 }
196 if (args[argidx] == "-widemux" && argidx+1 < args.size()) {
197 widemux = std::stoi(args[++argidx]);
198 continue;
199 }
200 if (args[argidx] == "-abc9") {
201 abc9 = true;
202 continue;
203 }
204 break;
205 }
206 extra_args(args, argidx, design);
207
208 if (family != "xcup" && family != "xcu" && family != "xc7" && family != "xc6s")
209 log_cmd_error("Invalid Xilinx -family setting: %s\n", family.c_str());
210
211 if (widemux != 0 && widemux < 2)
212 log_cmd_error("-widemux value must be 0 or >= 2.\n");
213
214 if (!design->full_selection())
215 log_cmd_error("This command only operates on fully selected designs!\n");
216
217 log_header(design, "Executing SYNTH_XILINX pass.\n");
218 log_push();
219
220 run_script(design, run_from, run_to);
221
222 log_pop();
223 }
224
225 void script() YS_OVERRIDE
226 {
227 if (check_label("begin")) {
228 if (vpr)
229 run("read_verilog -lib -icells -D _ABC -D_EXPLICIT_CARRY +/xilinx/cells_sim.v");
230 else
231 run("read_verilog -lib -icells -D _ABC +/xilinx/cells_sim.v");
232
233 run("read_verilog -lib +/xilinx/cells_xtra.v");
234
235 if (!nobram || help_mode)
236 run("read_verilog -lib +/xilinx/brams_bb.v", "(skip if '-nobram')");
237
238 run(stringf("hierarchy -check %s", top_opt.c_str()));
239 }
240
241 if (check_label("coarse")) {
242 if (help_mode)
243 run("synth -run coarse [-flatten]", "(with '-flatten')");
244 else
245 run("synth -run coarse" + std::string(flatten ? "" : " -flatten"), "(with '-flatten')");
246
247 if (widemux > 0 || help_mode)
248 run("muxpack", " ('-widemux' only)");
249
250 // shregmap -tech xilinx can cope with $shiftx and $mux
251 // cells for identifying variable-length shift registers,
252 // so attempt to convert $pmux-es to the former
253 // Also: wide multiplexer inference benefits from this too
254 if (!(nosrl && widemux == 0) || help_mode)
255 run("pmux2shiftx", "(skip if '-nosrl' and '-widemux=0')");
256 }
257
258 if (check_label("bram", "(skip if '-nobram')")) {
259 if (!nobram || help_mode) {
260 run("memory_bram -rules +/xilinx/brams.txt");
261 run("techmap -map +/xilinx/brams_map.v");
262 }
263 }
264
265 if (check_label("dram", "(skip if '-nodram')")) {
266 if (!nodram || help_mode) {
267 run("memory_bram -rules +/xilinx/drams.txt");
268 run("techmap -map +/xilinx/drams_map.v");
269 }
270 }
271
272 if (check_label("fine")) {
273 run("opt -fast -full");
274 run("memory_map");
275 run("dffsr2dff");
276 run("dff2dffe");
277 if (help_mode) {
278 run("simplemap t:$mux", " ('-widemux' only)");
279 run("muxcover <internal options>, ('-widemux' only)");
280 }
281 else if (widemux > 0) {
282 run("simplemap t:$mux");
283 constexpr int cost_mux2 = 100;
284 std::string muxcover_args = stringf(" -nodecode -mux2=%d", cost_mux2);
285 switch (widemux) {
286 case 2: muxcover_args += stringf(" -mux4=%d -mux8=%d -mux16=%d", cost_mux2+1, cost_mux2+2, cost_mux2+3); break;
287 case 3:
288 case 4: muxcover_args += stringf(" -mux4=%d -mux8=%d -mux16=%d", cost_mux2*(widemux-1)-2, cost_mux2*(widemux-1)-1, cost_mux2*(widemux-1)); break;
289 case 5:
290 case 6:
291 case 7:
292 case 8: muxcover_args += stringf(" -mux8=%d -mux16=%d", cost_mux2*(widemux-1)-1, cost_mux2*(widemux-1)); break;
293 case 9:
294 case 10:
295 case 11:
296 case 12:
297 case 13:
298 case 14:
299 case 15:
300 default: muxcover_args += stringf(" -mux16=%d", cost_mux2*(widemux-1)-1); break;
301 }
302 run("muxcover " + muxcover_args);
303 }
304 run("opt -full");
305
306 if (!nosrl || help_mode) {
307 // shregmap operates on bit-level flops, not word-level,
308 // so break those down here
309 run("simplemap t:$dff t:$dffe", " (skip if '-nosrl')");
310 // shregmap with '-tech xilinx' infers variable length shift regs
311 run("shregmap -tech xilinx -minlen 3", "(skip if '-nosrl')");
312 }
313
314 std::string techmap_args = " -map +/techmap.v";
315 if (help_mode)
316 techmap_args += " [-map +/xilinx/mux_map.v]";
317 else if (widemux > 0)
318 techmap_args += stringf(" -D MIN_MUX_INPUTS=%d -map +/xilinx/mux_map.v", widemux);
319 if (help_mode)
320 techmap_args += " [-map +/xilinx/arith_map.v]";
321 else if (!nocarry) {
322 techmap_args += " -map +/xilinx/arith_map.v";
323 if (vpr)
324 techmap_args += " -D _EXPLICIT_CARRY";
325 else if (abc9)
326 techmap_args += " -D _CLB_CARRY";
327 }
328 run("techmap " + techmap_args);
329 run("opt -fast");
330 }
331
332 if (check_label("map_cells")) {
333 std::string techmap_args = "-map +/techmap.v -D _ABC -map +/xilinx/cells_map.v";
334 if (widemux > 0)
335 techmap_args += stringf(" -D MIN_MUX_INPUTS=%d", widemux);
336 run("techmap " + techmap_args);
337 run("clean");
338 }
339
340 if (check_label("map_luts")) {
341 run("opt_expr -mux_undef");
342 if (help_mode)
343 run("abc -luts 2:2,3,6:5[,10,20] [-dff]", "(skip if 'nowidelut', only for '-retime')");
344 else if (abc9) {
345 if (family != "xc7")
346 log_warning("'synth_xilinx -abc9' currently supports '-family xc7' only.\n");
347 if (nowidelut)
348 run("abc9 -lut +/xilinx/abc_xc7_nowide.lut -box +/xilinx/abc_xc7.box -W " + std::string(XC7_WIRE_DELAY) + string(retime ? " -dff" : ""));
349 else
350 run("abc9 -lut +/xilinx/abc_xc7.lut -box +/xilinx/abc_xc7.box -W " + std::string(XC7_WIRE_DELAY) + string(retime ? " -dff" : ""));
351 }
352 else {
353 if (nowidelut)
354 run("abc -luts 2:2,3,6:5" + string(retime ? " -dff" : ""));
355 else
356 run("abc -luts 2:2,3,6:5,10,20" + string(retime ? " -dff" : ""));
357 }
358 run("clean");
359
360 // This shregmap call infers fixed length shift registers after abc
361 // has performed any necessary retiming
362 if (!nosrl || help_mode)
363 run("shregmap -minlen 3 -init -params -enpol any_or_none", "(skip if '-nosrl')");
364 run("techmap -map +/xilinx/lut_map.v -map +/xilinx/ff_map.v -map +/xilinx/cells_map.v");
365 run("dffinit -ff FDRE Q INIT -ff FDCE Q INIT -ff FDPE Q INIT -ff FDSE Q INIT "
366 "-ff FDRE_1 Q INIT -ff FDCE_1 Q INIT -ff FDPE_1 Q INIT -ff FDSE_1 Q INIT");
367 run("clean");
368 }
369
370 if (check_label("check")) {
371 run("hierarchy -check");
372 run("stat -tech xilinx");
373 run("check -noinit");
374 }
375
376 if (check_label("edif")) {
377 if (!edif_file.empty() || help_mode)
378 run(stringf("write_edif -pvector bra %s", edif_file.c_str()));
379 }
380
381 if (check_label("blif")) {
382 if (!blif_file.empty() || help_mode)
383 run(stringf("write_blif %s", edif_file.c_str()));
384 }
385 }
386 } SynthXilinxPass;
387
388 PRIVATE_NAMESPACE_END