Hello, I have reviewed the parts assigned to me. Here is my feedback. While reviewing clause 20, I noticed that $inferred_clock and $inferred_disable system functions are not in this section. May be this requires a new mantis item. In section 16.15.7, at one place instead of $inferred_clock, there is $inferred_clk in the following sentence: In assertion a4, as the property p_multiclock is instantiated in the assert property statement, clkw is replaced by the actual argument (negedge clk2), clkx by the default argument value $inferred_clk which is the default clocking clock (negedge clk1) at the location of the property instance in the assertion. Can this be fixed by the editor ? Thanks. Manisha ________________________________ From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On Behalf Of Korchemny, Dmitry Sent: Sunday, July 12, 2009 2:17 PM To: sv-ac@server.eda.org Subject: [sv-ac] FW: IEEE Ballot Draft 9 Preliminary 2 Available for Download Hi all, Our next mission is to review Draft9/2. Each SV-AC member is requested to review the implementation of Mantis items assigned to him/her, and in addition the assigned fragment of the LRM. The review is due by 07/20/2009. Please, send a notification when you are done, with the list of issues found or with the indication that the implementation is correct. If you find an issue with Mantis implementation, please, add a corresponding note to the Mantis with the indication of the actions required from the editor, and move the Mantis to the Editor status. If no issues have been found, keep the Mantis unchanged. Mantis list: 2654 Ballot comment #93: Error in an example of throughout operator Tom Thatcher 2562 Ballot comment #101: rand qualifier for checker variables is not reflected in BNF Dmitry Korchemny Fragments: Clause 3 (relevant parts) - Tapan Clause 15 (relevant parts) - Manisha Clause 16 Beginning - 16.8 (including) Ed 16.9 Ben 16.10 - 16.12 (including), 16.17 - Manisha 16.13 - Doron 16.14 - Lisa 16.15 - Tom 16.16 - 16.18 (including) Dmitry Clause 17 - Erik Clause 20 (relevant parts) - Manisha Clause 37 (relevant parts) - Bassam Clause 39 - Bassam Annex A - Tapan Annex B - Tapan Annex C - Tapan Annex F - John Annex N - Lisa Please, notify me if you are unable to review the assigned fragments/Mantis items. Thanks, Dmitry From: owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org] On Behalf Of Brophy, Dennis Sent: Friday, July 10, 2009 8:07 PM To: IEEE P1800 Working Group Cc: sv-ac@server.eda.org; sv-bc@server.eda.org; sv-cc@server.eda.org; sv-ec@server.eda.org Subject: [sv-ec] IEEE Ballot Draft 9 Preliminary 2 Available for Download All, The P1800 Ballot Draft 9 Preliminary 2 has been posted to the IEEE Working Group site (login required) and to eda.org <http://eda.org/> (document password required). The passwords for all access methods remain the same as you used for the last draft. Password Free LRM: http://grouper.ieee.org/groups/1800/private/P1800-2009-draft9-prelim2.pd f Site Login - Contact Karen Pieper Password Protected LRM: http://www.eda-stds.org/sv-ieee1800/Specifications/P1800-2009-draft9-pre lim2-PROTECTED.pdf Open Password - Contact Karen Pieper Let me know if you have any problems downloading draft 9 preliminary 2. -Dennis -- This message has been scanned for viruses and dangerous content by MailScanner <http://www.mailscanner.info/> , and is believed to be clean. --------------------------------------------------------------------- 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.Received on Mon Jul 20 03:16:06 2009
This archive was generated by hypermail 2.1.8 : Mon Jul 20 2009 - 03:17:12 PDT