errors · bitdewfpga bit, the XDC check before place and route

blink.xdc:43: warning [xdc-get-ports-form]: `get_ports {led[*]}` is a wildcard: Vivado expands it, and this check does not read that form yet, so the ports it names count as unpinned here. Fix: write one line per port with its full name, as the course's Basys3_Master.xdc does: set_property -dict { PACKAGE_PIN V17 IOSTANDARD LVCMOS33 } [get_ports {sw[0]}]

A warning: the build goes on. If a port gets its pin only through that form, port-without-pin follows.

blink.xdc:43: warning [xdc-get-ports-form]: `get_ports {led[*]}` is a wildcard: Vivado expands it, and this check does not read that form yet, so the ports it names count as unpinned here. Fix: write one line per port with its full name, as the course's Basys3_Master.xdc does:  set_property -dict { PACKAGE_PIN V17  IOSTANDARD LVCMOS33 } [get_ports {sw[0]}] https://nosey-dewdrop.github.io/dewfpga/errors/xdc-get-ports-form/

Why does it happen?

The XDC check reads [get_ports {name}] and [get_ports {name[i]}], one port per line, the form the course file uses. Wildcards and lists are Tcl that Vivado evaluates; this check does not.

What is the fix?

set_property -dict { PACKAGE_PIN U16  IOSTANDARD LVCMOS33 } [get_ports {led[0]}]

Which command prints it?