image.png

There might be a better way but foreach pin [get_pins *] { puts [get_name $pin] }