diff options
Diffstat (limited to 'machxo2/examples/mitertest.sh')
| -rw-r--r-- | machxo2/examples/mitertest.sh | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/machxo2/examples/mitertest.sh b/machxo2/examples/mitertest.sh new file mode 100644 index 00000000..e5cc5173 --- /dev/null +++ b/machxo2/examples/mitertest.sh @@ -0,0 +1,43 @@ +#!/usr/bin/env bash + +if [ $# -lt 1 ]; then + echo "Usage: $0 mode" + exit -1 +fi + +case $1 in + "pack") + NEXTPNR_MODE="--pack-only" + ;; + "place") + NEXTPNR_MODE="--no-route" + ;; + "pnr") + NEXTPNR_MODE="" + ;; + *) + echo "Mode string must be \"pack\", \"place\", or \"pnr\"" + exit -2 + ;; +esac + +set -ex + +${YOSYS:-yosys} -p "read_verilog blinky.v + synth_machxo2 -noiopad -json blinky.json + show -format png -prefix blinky" +${NEXTPNR:-../../nextpnr-machxo2} $NEXTPNR_MODE --1200 --no-iobs --json blinky.json --write ${1}blinky.json +${YOSYS:-yosys} -p "read_verilog -lib +/machxo2/cells_sim.v + read_json ${1}blinky.json + clean -purge + show -format png -prefix ${1}blinky + write_verilog -noattr -norename ${1}blinky.v" +${YOSYS:-yosys} -p "read_verilog blinky.v + rename top gold + read_verilog ${1}blinky.v + rename top gate + read_verilog +/machxo2/cells_sim.v + + miter -equiv -make_assert -flatten gold gate miter + hierarchy -top miter + sat -verify -prove-asserts -tempinduct miter" |