read_verilog PQVexRiscvUlx3s.v
synth_ecp5 -json PQVexRiscvUlx3s.json