[sv-ac] Updated version of 2476 uploaded at http://www.verilog.org/mantis/view.php?id=2476

I made the following changes based on friendly amendments:

- Changed {>>expression} to {>>{expression}}

- Added missing crossouts in syntax 20-14

- Moved addition of 20.9 earlier in proposal

- Removed duplicated sentence ""The return type of $countones is int. "

It should now be ready for a revote.

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Korchemny, Dmitry
Sent: Tuesday, March 15, 2011 4:36 AM
To: 'sv-ac@eda-stds.org'
Subject: [sv-ac] Email ballot result (Due 14 March)

Below are the results of the email ballot:

2476 2804

Yes Yes Ashok Bhatt

Yes Yes Laurence Bisht

Yes Yes Eduard Cerny

Yes Yes Ben Cohen

Yes Yes Tapan Kapoor

Yes Yes Scott Little

Yes Yes Manisha Kulshrestha

Yes Yes Anupam Prabhakar

Yes Yes Erik Seligman

Yes Yes Samik Sengupta

Yes Yes Tom Thatcher

Both issues passed with friendly amendments: 11y/0n/0a.

Friendly Amendments

Ben
2804:
Must fix the actual arguments for:
clocking_example c1 (s1,s2,default_clk, rst,
  posedge clk1 or posedge clk2,
  posedge clk1,
  negedge rst);

Ed
2476:
I vote yes with 2 small correction requests:

1) assigned from {>>expression} (see 11.4.14).
          I think that it should be
          assigned from {>>stream_concatenation} (see 11.4.14).

2) There is some strange trailing page in the pdf file.

Scott (taking Shalom's comments into account)
The strikethrough in the Syntax 20-14 figure seems to be missing the assert_function production.
In the paragraph following the definition of the bit vector system functions in terms of $countbits the sentence, "The return type of $countones is int. " occurs twice. I believe that the the two $countones sentences should be combined, "The return type of $countbits and $countones is int."

Tom
2476:
One suggestion: Put the insertion of the new Section 20.9 before the modifications to section 20.13. That way it's more clear on the first reading of the proposal why the section number is changing to 2.14.

Are you missing some cross-out text from the BNF in section 20.13?

---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

--
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.