assign statements and synonyms

The verilog reader creates synonyms for discarded names in an assign statement.

forx example,

given th assign statement of assign n1 = n2;

where n1 wins , using the get_nets cmd finds the real net, as in:

pt_shell> get_nets n1

{:n1"}

you can find the net using the synonym. Notice that the result is the real net, n1, and not the synonym, n2 ( which is not a real net):

pt_shell> get_nets n2

{"n1"}

you cannot use the wildcards with synonyms:

pt_shell> get_nets n2*

Warning: No nets matched 'n2*' (SEL-004)

Error: Nothing matched for nets (SEL-005)