aboutsummaryrefslogtreecommitdiffstats
path: root/techlibs
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2019-02-22 01:16:34 +0100
committerGitHub <noreply@github.com>2019-02-22 01:16:34 +0100
commit344afdcd5f37be4b326cefc397d65d9c92e54a47 (patch)
tree8e12343c9881745ca1c7695cd181d80237000126 /techlibs
parentd55790909c3b4244889d092c8eae630c7efd1aee (diff)
parent95789c61360d3842265409bd948115f471e005b4 (diff)
downloadyosys-344afdcd5f37be4b326cefc397d65d9c92e54a47.tar.gz
yosys-344afdcd5f37be4b326cefc397d65d9c92e54a47.tar.bz2
yosys-344afdcd5f37be4b326cefc397d65d9c92e54a47.zip
Merge pull request #740 from daveshah1/improve_dress
Improve ABC netname preservation
Diffstat (limited to 'techlibs')
-rw-r--r--techlibs/ecp5/synth_ecp5.cc4
-rw-r--r--techlibs/ice40/synth_ice40.cc2
2 files changed, 3 insertions, 3 deletions
diff --git a/techlibs/ecp5/synth_ecp5.cc b/techlibs/ecp5/synth_ecp5.cc
index 2e9176a84..bda03d251 100644
--- a/techlibs/ecp5/synth_ecp5.cc
+++ b/techlibs/ecp5/synth_ecp5.cc
@@ -268,9 +268,9 @@ struct SynthEcp5Pass : public ScriptPass
}
run("techmap -map +/ecp5/latches_map.v");
if (nomux)
- run("abc -lut 4");
+ run("abc -lut 4 -dress");
else
- run("abc -lut 4:7");
+ run("abc -lut 4:7 -dress");
run("clean");
}
diff --git a/techlibs/ice40/synth_ice40.cc b/techlibs/ice40/synth_ice40.cc
index d6d047fe7..34501b335 100644
--- a/techlibs/ice40/synth_ice40.cc
+++ b/techlibs/ice40/synth_ice40.cc
@@ -306,7 +306,7 @@ struct SynthIce40Pass : public ScriptPass
run("techmap -map +/gate2lut.v -D LUT_WIDTH=4", "(only if -noabc)");
}
if (!noabc) {
- run("abc -lut 4", "(skip if -noabc)");
+ run("abc -dress -lut 4", "(skip if -noabc)");
}
run("clean");
if (relut || help_mode) {