diff options
author | Eddie Hung <eddieh@ece.ubc.ca> | 2019-12-20 12:05:45 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-12-20 12:05:45 -0800 |
commit | 10e82e103f7b95d5a50d2ac85bc8e07e4461e388 (patch) | |
tree | 3332182623313ac4aedc9c28adf4deb3a6fc70d6 /techlibs/ecp5 | |
parent | 319cba70d37eafdb8bbd3ddf6a0f9c238d53d0c2 (diff) | |
download | yosys-10e82e103f7b95d5a50d2ac85bc8e07e4461e388.tar.gz yosys-10e82e103f7b95d5a50d2ac85bc8e07e4461e388.tar.bz2 yosys-10e82e103f7b95d5a50d2ac85bc8e07e4461e388.zip |
Revert "Optimise write_xaiger"
Diffstat (limited to 'techlibs/ecp5')
-rw-r--r-- | techlibs/ecp5/synth_ecp5.cc | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/techlibs/ecp5/synth_ecp5.cc b/techlibs/ecp5/synth_ecp5.cc index 16ff9c57a..b71bb2395 100644 --- a/techlibs/ecp5/synth_ecp5.cc +++ b/techlibs/ecp5/synth_ecp5.cc @@ -321,11 +321,6 @@ 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"); |