Re: [sv-ac] Seeking opinions about Mantis http://www.verilog.org/mantis/view.php?id=2547 (local variable read before write)

Erik,
I would prefer option #2 " assertion local variables get default values like
other SV variables".
Ii is more consistent with the language. Also, some types, like "bii"
default to known values.
So that is useful.
Ben
On Fri, Jul 29, 2011 at 2:12 PM, Seligman, Erik <erik.seligman@intel.com>wrote:

> Hi guys—I was reviewing Mantis 2547, addressing some questions about the
> requirement that local variables be written before being read. We had a
> basic proposal to just keep the requirement as-is, but Gord also pointed out
> that it would be more consistent with the rest of the language to allow a
> read before write, and initialize to the default value. So we need to
> choose:****
>
> **1. **Do we want to keep read before write prohibited, and just
> clean up the language?****
>
> **2. **Or should assertion local variables get default values like
> other SV variables?****
>
> ** **
>
> Please tell me if you have a strong opinion one way or the other. My
> inclination is to choose option #1, to minimize the changes in the language
> ****
>
> ** **
>
> ** **
>
> --
> This message has been scanned for viruses and
> dangerous content by *MailScanner* <http://www.mailscanner.info/>, and is
> believed to be clean.
>

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