read_verilog pll-test.v
synth_ice40 -top top -json pll-test.json