From 74b5e846a526670dcef78da73c5bf95d61d82a90 Mon Sep 17 00:00:00 2001
From: "William D. Jones" <thor0505@comcast.net>
Date: Mon, 8 Feb 2021 02:28:03 -0500
Subject: machxo2: auto-top does not work for smt miter either.

---
 machxo2/examples/mitertest.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'machxo2/examples/mitertest.sh')

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"
-- 
cgit v1.2.3