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

Hi Erik:

I would prefer option 1. I am not convinced that the consistency issue is great enough to justify the changes that would be required to add default initialization and remove the read before write restriction.

Thanks,
Scott

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Seligman, Erik
Sent: Friday, July 29, 2011 4:13 PM
To: sv-ac@eda-stds.org
Cc: Vreugdenhil, Gordon
Subject: [sv-ac] Seeking opinions about Mantis http://www.verilog.org/mantis/view.php?id=2547 (local variable read before write)

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.