diff options
| author | William D. Jones <thor0505@comcast.net> | 2021-11-05 12:49:24 -0400 |
|---|---|---|
| committer | William D. Jones <thor0505@comcast.net> | 2021-12-16 16:59:38 -0500 |
| commit | be3788fa3004cfee1058293d5da6ba758f913e7e (patch) | |
| tree | 429d8d008d1c7b902820eaff7d5835d547a37861 /machxo2 | |
| parent | 365a871908f3b945fb19cfefb642fbde87dbf584 (diff) | |
| download | nextpnr-be3788fa3004cfee1058293d5da6ba758f913e7e.tar.gz nextpnr-be3788fa3004cfee1058293d5da6ba758f913e7e.tar.bz2 nextpnr-be3788fa3004cfee1058293d5da6ba758f913e7e.zip | |
machxo2: Remove -noiopad option when generating miters for post-pnr verification.
Diffstat (limited to 'machxo2')
| -rw-r--r-- | machxo2/examples/mitertest.sh | 3 |
1 files changed, 2 insertions, 1 deletions
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 |