Which ice40.pcf is correct pico-ice-sdk/examples/ice_makefile_iverilog/ice40.pcf or pico-ice-sdk/examples/ice_makefile_verilator/ice40.pcf?

[develone]

devel@pi5-70:~/pico-ice/my-new-pico-ice-firmware/ice_makefile_verilator_counter $ make
/usr/local//bin/yosys -q -p "read_verilog -sv ice40.sv top.sv; synth_ice40 -top ice40 -json gateware.json"
Warning: Resizing cell port ice40.top0.rst_ni from 32 bits to 1 bits.
/usr/local//bin/nextpnr-ice40 -q --randomize-seed --up5k --package sg48 --pcf ice40.pcf --json gateware.json --asc gateware.asc
ERROR: package does not have a pin named '30' (on line 2)
ERROR: Loading PCF failed.
0 warnings, 2 errors
make: *** [Makefile:24: gateware.bin] Error 255

devel@pi5-70:~/pico-ice/my-new-pico-ice-firmware/ice_makefile_verilator_counter $ diff ice40.pcf ~/pico-ice-sdk/examples/ice_makefile_verilator_counter/ice40.pcf
2c2
< set_io --warn-no-port led_green 39

set_io --warn-no-port led_green 30
This is after the change.
devel@pi5-70:~/pico-ice/my-new-pico-ice-firmware/ice_makefile_verilator_counter $ make
/usr/local//bin/yosys -q -p "read_verilog -sv ice40.sv top.sv; synth_ice40 -top ice40 -json gateware.json"
Warning: Resizing cell port ice40.top0.rst_ni from 32 bits to 1 bits.
/usr/local//bin/nextpnr-ice40 -q --randomize-seed --up5k --package sg48 --pcf ice40.pcf --json gateware.json --asc gateware.asc
/usr/local//bin/icepack gateware.asc gateware.bin

[josuah]

Good catch, thank you!

You are right, there is a bug in the example.

The iverilog one is right (pin 39).
The verilator one is wrong (pin 30).

There is also this this one which acts as a reference from which to copy-paste.
https://github.com/tinyvision-ai-inc/pico-ice-sdk/blob/main/rtl/pico_ice.pcf

This will be corrected on the next release, and was adjusted on the develop branch.