[sv-ac] Mantis http://www.verilog.org/mantis/view.php?id=2547 (local variable read before write): we should vote to resolve/close Tues

Hi all-it looks like the majority do not believe it would be a good idea to add default values for local variables. And the clearer phrasing mentioned in the ticket was already added to the text long ago.

So, I think we should plan at Tuesday's SV-AC to mark this one as Resolved with no change needed.

From: Eduard Cerny [mailto:Eduard.Cerny@synopsys.com]
Sent: Monday, August 01, 2011 6:43 AM
To: Little Scott-B11206; Seligman, Erik; sv-ac@eda-stds.org
Cc: Vreugdenhil, Gordon
Subject: RE: Seeking opinions about Mantis http://www.verilog.org/mantis/view.php?id=2547 (local variable read before write)

Hi Erik,

I agree with Scott's recommendation.

ed

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Little Scott-B11206
Sent: Monday, August 01, 2011 9:41 AM
To: Seligman, Erik; sv-ac@eda-stds.org
Cc: Vreugdenhil, Gordon
Subject: [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<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.