diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-04-13 09:38:07 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-05-14 10:33:56 -0700 |
| commit | 95763c8d18eec49de3acff5d38a82f54cc25cb1b (patch) | |
| tree | 29350a6c58a7654873e31ac93c6248219a66dfc7 /techlibs/xilinx/synth_xilinx.cc | |
| parent | accfc70fc2bcfaa5f9f58e8a113a32e506f5081d (diff) | |
| download | yosys-95763c8d18eec49de3acff5d38a82f54cc25cb1b.tar.gz yosys-95763c8d18eec49de3acff5d38a82f54cc25cb1b.tar.bz2 yosys-95763c8d18eec49de3acff5d38a82f54cc25cb1b.zip | |
abc9_ops: add 'dff' label for auto handling of (* abc9_flop *) boxes
Diffstat (limited to 'techlibs/xilinx/synth_xilinx.cc')
| -rw-r--r-- | techlibs/xilinx/synth_xilinx.cc | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc index 229ffcb3d..173bdcb91 100644 --- a/techlibs/xilinx/synth_xilinx.cc +++ b/techlibs/xilinx/synth_xilinx.cc @@ -613,10 +613,7 @@ struct SynthXilinxPass : public ScriptPass if (family != "xc7") log_warning("'synth_xilinx -abc9' not currently supported for the '%s' family, " "will use timing for 'xc7' instead.\n", family.c_str()); - std::string techmap_args = "-map +/xilinx/abc9_map.v -max_iter 1"; - if (dff_mode) - techmap_args += " -D DFF_MODE"; - run("techmap " + techmap_args); + run("techmap -map +/xilinx/abc9_map.v -max_iter 1"); run("read_verilog -icells -lib -specify +/abc9_model.v +/xilinx/abc9_model.v"); std::string abc9_opts; std::string k = "synth_xilinx.abc9.W"; |