diff options
| author | William D. Jones <thor0505@comcast.net> | 2021-02-08 02:28:03 -0500 |
|---|---|---|
| committer | gatecat <gatecat@ds0.me> | 2021-02-12 10:36:59 +0000 |
| commit | 74b5e846a526670dcef78da73c5bf95d61d82a90 (patch) | |
| tree | f99179fa1c23f2185f5f5f30b2baf9e6f5c00deb | |
| parent | 77bb3e73cd2cb771d04522f4b8e33017a28424c7 (diff) | |
| download | nextpnr-74b5e846a526670dcef78da73c5bf95d61d82a90.tar.gz nextpnr-74b5e846a526670dcef78da73c5bf95d61d82a90.tar.bz2 nextpnr-74b5e846a526670dcef78da73c5bf95d61d82a90.zip | |
machxo2: auto-top does not work for smt miter either.
| -rw-r--r-- | machxo2/examples/mitertest.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/machxo2/examples/mitertest.sh b/machxo2/examples/mitertest.sh index 14c6fe61..cfae28b7 100644 --- a/machxo2/examples/mitertest.sh +++ b/machxo2/examples/mitertest.sh @@ -59,7 +59,7 @@ do_smt() { read_verilog +/machxo2/cells_sim.v miter -equiv -make_assert gold gate ${2}${1}_miter - hierarchy -auto-top -check; proc; + hierarchy -top ${2}${1}_miter; proc; opt_clean write_verilog ${2}${1}_miter.v write_smt2 ${2}${1}_miter.smt2" |