aboutsummaryrefslogtreecommitdiffstats
path: root/techlibs
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-10-04 17:27:05 -0700
committerEddie Hung <eddie@fpgeh.com>2019-10-04 17:27:05 -0700
commitd4212d128b5985cf09f5e7f14bc06e7323e644ac (patch)
tree2559c896b7cf787674e477feb3af4763cb6967f9 /techlibs
parent7959e9d6b25d7afefded4b14e14ccf2b0b5af553 (diff)
downloadyosys-d4212d128b5985cf09f5e7f14bc06e7323e644ac.tar.gz
yosys-d4212d128b5985cf09f5e7f14bc06e7323e644ac.tar.bz2
yosys-d4212d128b5985cf09f5e7f14bc06e7323e644ac.zip
Use read_args for read_verilog
Diffstat (limited to 'techlibs')
-rw-r--r--techlibs/xilinx/synth_xilinx.cc9
1 files changed, 6 insertions, 3 deletions
diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 16b607aac..caeeb3266 100644
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -283,10 +283,13 @@ struct SynthXilinxPass : public ScriptPass
ff_map_file = "+/xilinx/xc7_ff_map.v";
if (check_label("begin")) {
+ std::string read_args;
if (vpr)
- run("read_verilog -lib -D_ABC -D_EXPLICIT_CARRY +/xilinx/cells_sim.v");
- else
- run("read_verilog -lib -D_ABC +/xilinx/cells_sim.v");
+ read_args += " -D_EXPLICIT_CARRY";
+ if (abc9)
+ read_args += " -D_ABC9";
+ read_args += " -lib +/xilinx/cells_sim.v";
+ run("read_verilog" + read_args);
if (help_mode)
run("read_verilog -lib +/xilinx/{family}_cells_xtra.v");