13.33.167.2 Notes The pin_name must be the name of a pin that already exists in the design and already belongs to a domain.