caiyu/nextpnr
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

machxo2: auto-top does not work for smt miter either.

Browse Source
This commit is contained in:
William D. Jones 2021-02-08 02:28:03 -05:00 committed by gatecat
parent 77bb3e73cd
commit 74b5e846a5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
machxo2/examples/mitertest.sh
View File

@ -59,7 +59,7 @@ do_smt() {
read_verilog +/machxo2/cells_sim.v read_verilog +/machxo2/cells_sim.v
miter -equiv -make_assert gold gate ${2}${1}_miter miter -equiv -make_assert gold gate ${2}${1}_miter
hierarchy -auto-top -check; proc; hierarchy -top ${2}${1}_miter; proc;
opt_clean opt_clean
write_verilog ${2}${1}_miter.v write_verilog ${2}${1}_miter.v
write_smt2 ${2}${1}_miter.smt2" write_smt2 ${2}${1}_miter.smt2"