I don't see any reference in the specification that says so, but then I don't see anything that says otherwise. Other sections do talk about uniqueness, so I'm guessing they don't need to be unique.
EDIT: 2/18/11: I'm using Mentor's HyperLynx simulation software.