From be3788fa3004cfee1058293d5da6ba758f913e7e Mon Sep 17 00:00:00 2001 From: "William D. Jones" Date: Fri, 5 Nov 2021 12:49:24 -0400 Subject: machxo2: Remove -noiopad option when generating miters for post-pnr verification. --- machxo2/examples/mitertest.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'machxo2/examples') diff --git a/machxo2/examples/mitertest.sh b/machxo2/examples/mitertest.sh index cfae28b7..feafc0dd 100644 --- a/machxo2/examples/mitertest.sh +++ b/machxo2/examples/mitertest.sh @@ -61,6 +61,7 @@ do_smt() { miter -equiv -make_assert gold gate ${2}${1}_miter hierarchy -top ${2}${1}_miter; proc; opt_clean + flatten t:*FACADE_IO* write_verilog ${2}${1}_miter.v write_smt2 ${2}${1}_miter.smt2" @@ -71,7 +72,7 @@ do_smt() { set -ex ${YOSYS:-yosys} -p "read_verilog ${1}.v - synth_machxo2 -noiopad -json ${1}.json" + synth_machxo2 -json ${1}.json" ${NEXTPNR:-../../nextpnr-machxo2} $NEXTPNR_MODE --1200 --package QFN32 --no-iobs --json ${1}.json --write ${2}${1}.json ${YOSYS:-yosys} -p "read_verilog -lib +/machxo2/cells_sim.v read_json ${2}${1}.json -- cgit v1.2.3