diff options
author | Eddie Hung <eddie@fpgeh.com> | 2019-12-19 12:24:03 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-12-19 12:24:03 -0500 |
commit | df626ee7abca3446225dac9179d7e7f380774b2c (patch) | |
tree | 548ad4c0f8492421a1f06f7f659e1759a2d3c955 /techlibs/ecp5 | |
parent | d406f2ffd776e4f69c86a96db8e69a9aa8a1dc1c (diff) | |
parent | 91467938c477c5c668f5ea1a38fef59e2b19db5c (diff) | |
download | yosys-df626ee7abca3446225dac9179d7e7f380774b2c.tar.gz yosys-df626ee7abca3446225dac9179d7e7f380774b2c.tar.bz2 yosys-df626ee7abca3446225dac9179d7e7f380774b2c.zip |
Merge pull request #1558 from YosysHQ/eddie/xaiger_cleanup
Optimise write_xaiger
Diffstat (limited to 'techlibs/ecp5')
-rw-r--r-- | techlibs/ecp5/synth_ecp5.cc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/techlibs/ecp5/synth_ecp5.cc b/techlibs/ecp5/synth_ecp5.cc index b71bb2395..16ff9c57a 100644 --- a/techlibs/ecp5/synth_ecp5.cc +++ b/techlibs/ecp5/synth_ecp5.cc @@ -321,6 +321,11 @@ struct SynthEcp5Pass : public ScriptPass run("techmap " + techmap_args); if (abc9) { + run("select -set abc9_boxes A:abc9_box_id A:whitebox=1"); + run("wbflip @abc9_boxes"); + run("techmap -autoproc @abc9_boxes"); + run("aigmap @abc9_boxes"); + run("wbflip @abc9_boxes"); run("read_verilog -icells -lib +/ecp5/abc9_model.v"); if (nowidelut) run("abc9 -lut +/ecp5/abc9_5g_nowide.lut -box +/ecp5/abc9_5g.box -W 200 -nomfs"); |