Re: [sv-ac] New version of 3213

Dmitry,
See below for comments.

Dmitry,
>
> Comments:
>
> *16.5.1 Sampling*
>
> · The default sampled value of a static variable is ...
>
> - The default sampled value of any other variable or net is the default
> value of the corresponding type ...
>
> [Ben] In the 2nd bullet, you're addressing variables that are not "static",
> like the free variables and wires. But free variables can be initialized
> (e.g., rand logic r=0;); thus, it's default would be the value assigned in
> its declaration.
>
> *[Korchemny, Dmitry] Checker free variables are static. Why do you think
> they are not?*
>
> [Ben2] When you talk about "of any other variable or net"
>
 What exactly are you referring to? Automatic variables?

Thanks,
Ben

>
>
>
>

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