Do IBIS signal names need to be unique?
I spoke to Mentor support.  They make the HyperLynx family of tools.  They confirmed they need not be unique.  Use the parser to verify your IBIS models; which I did and it didn't complain.  Also they are not shorted even if they have the same name.