20.4.8.3 Notes

  • The domain_name must be a name of an existing domain.
  • The pin_name must be a name of a pin that exists in the design.