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