All,
It turns out that there is no rule that prohibits two I/O pins from having
the same signal_name, and in fact they can have the same signal_name and
different model_names. The proposed BIRD (attached) adds a new rule that
prohibits two pins with the same signal_name to have different
model_names, and clarifies how package models deals with this this
situation.
Walter
Attachment:
BIRD_Dup_signal_name.docx
Description: application/vnd.openxmlformats-officedocument.wordprocessingml.document