RE: [sv-ac] ballot on 1728

Just to remove any doubts: The general rule is that it is illegal to
declare the same identifier twice in the same scope. So this example
would be illegal.

(6.5 says, "Within a name space (see 3.11), it shall be illegal to
redeclare a name already declared by a net, variable or other
declaration.")

Shalom


>    What happens when you have both a
>    	let a= ...
>    and a
>    	reg a = 1'b0;
>    ?
>    Is there a separate name space for let declarations?
> 
> [Korchemny, Dmitry] The explanation about identifier 
> uniqueness was present in the original version of the 
> proposal. But I received a comment from Shalom that the 
> universal SV rules should not be duplicated, and therefore I 
> removed the explanation. Note that the similar situation 
> takes place with sequences and properties, but there is no 
> special explanation about them in the LRM.
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.