diff options
Diffstat (limited to 'machxo2/examples')
| -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" |