[sv-ac] Email ballot result (Due 14 March)

From: Korchemny, Dmitry <dmitry.korchemny@intel.com>
Date: Tue Mar 15 2011 - 04:35:41 PDT

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, and is
believed to be clean.
Received on Tue Mar 15 04:36:50 2011

This archive was generated by hypermail 2.1.8 : Tue Mar 15 2011 - 04:36:56 PDT