[sv-ac] 1995 (assertions in loops): clarification, request to review your vote

Hi Dave-- on 1995, concurrent asserts in procedural loops, you state
"This proposal is essentially creating a generate block within a
procedural context. I'm fine with limiting this to assertion statements
for now, but that does alleviate addressing all the issues surrounding
generated code. For example each assertion statement is replicated in
the loop (including nested loops) and a generate block label needs to be
created for every instance of each. The loop iterator should be treated
as a genvar constant within each instance of the assertion statement."

But this proposal was specifically written (with help from your
co-worker Gord) to *not* treat these as generate loops, and thus avoid
the (very valid) issue you mention.  Can you please re-review, in
consultation with Gord?  Thanks!



-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of John Havlicek
Sent: Tuesday, February 05, 2008 6:19 AM
To: sv-ac@server.eda.org
Subject: [sv-ac] Champions feedback

Hi Folks:

As a proactive measure, I have attached Dave Rich's email ballot from
the latest Champions email vote.

This is not official feedback from Champions, but it is the vote that
Dave sent with comments and can be viewed on the Champions reflector.

J.H.


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


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