mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-03 21:09:12 +00:00
Code Activity

Fix -nocarry

Browse source
This commit is contained in:
Eddie Hung 2019-05-02 11:00:49 -07:00
parent 5cd19b52da
commit 3b5e8c86a4
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
techlibs/xilinx/synth_xilinx.cc
View file

@ -241,10 +241,10 @@ struct SynthXilinxPass : public ScriptPass
run("dff2dffe");
run("opt -full");
if (!vpr || help_mode)
run("techmap -map +/xilinx/arith_map.v");
else
if (vpr && !nocarry && !help_mode)
run("techmap -map +/xilinx/arith_map.v -D _EXPLICIT_CARRY");
else if (!nocarry || help_mode)
run("techmap -map +/xilinx/arith_map.v", "(skip if '-nocarry')");
if (!nosrl || help_mode) {
// shregmap operates on bit-level flops, not word-level,