#!/bin/bash
set -ex
rm -f picorv32.v
wget https://raw.githubusercontent.com/yosyshq/picorv32/main/picorv32.v
yosys -p 'synth_ice40 -json picorv32.json -top top' picorv32.v picorv32_top.v
../nextpnr-ice40 --hx8k --asc picorv32.asc --json picorv32.json
icetime -d hx8k -t picorv32.asc
