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

machxo2: Remove -noiopad option when generating miters for post-pnr verification.

Browse Source
This commit is contained in:
William D. Jones 2021-11-05 12:49:24 -04:00
parent 365a871908
commit be3788fa30
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
machxo2/examples/mitertest.sh
View File

@ -61,6 +61,7 @@ do_smt() {
miter -equiv -make_assert gold gate ${2}${1}_miter miter -equiv -make_assert gold gate ${2}${1}_miter
hierarchy -top ${2}${1}_miter; proc; hierarchy -top ${2}${1}_miter; proc;
opt_clean opt_clean
flatten t:*FACADE_IO*
write_verilog ${2}${1}_miter.v write_verilog ${2}${1}_miter.v
write_smt2 ${2}${1}_miter.smt2" write_smt2 ${2}${1}_miter.smt2"
@ -71,7 +72,7 @@ do_smt() {
set -ex set -ex
${YOSYS:-yosys} -p "read_verilog ${1}.v ${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 ${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 ${YOSYS:-yosys} -p "read_verilog -lib +/machxo2/cells_sim.v
read_json ${2}${1}.json read_json ${2}${1}.json