20.4.30.3 Notes

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