I have reviewed the addition of 2005. It looks correct, except for the following: - In the first paragraph of 16.4, somehow the italics were lost in the introductions of the term deferred immediate assertion, deferred assertion, and simple immediate assertion. This should be fixed. ________________________________ From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On Behalf Of Korchemny, Dmitry Sent: Monday, June 16, 2008 4:42 AM To: sv-ac@server.eda.org Subject: [sv-ac] Draft6 Hi all, I expect the Draft6 to be uploaded shortly. Item owners, please, proofread your Mantis item implementation and send a summarizing email (even if no problems were found) towards our next meeting. All the fixes/enhancements included into Draft6 are in the "completed" status. If you haven't found any problem, please, close the item. If there are issues there, write them down in a note and move the item to the "editor" status. Important: The changes in Annex F haven't been included in this draft. If your Mantis item should have changes in Annex F, move the item back to the "editor" status even if no other issues have been found, and add a note that the changes in Annex F haven't been implemented. Here is the list of the Mantis items that have to be addressed along with the item owner: 0001734 Errata SV-AC minor completed (john_havlicek) 2008-06-14 Incomplete fix to Annex F in 0805. 0002100 Enhancement SV-AC feature completed (Yaniv Fais) 2008-06-09 Add synchronous resets syntax as oppose to the asynchronous nature of accept_on/reject_on 0001932 Enhancement SV-AC major completed (Doron_Bustan) 2008-06-09 Introduce LTL and other temporal operators 0002005 Enhancement SV-AC major completed (Erik_Seligman) 2008-06-09 Solution for glitch problem in immediate assertions 0002250 Errata SV-AC minor completed (Dmitry Korchemny) 2008-06-07 VPI changes related to 1932 0001729 Enhancement SV-AC feature completed (Eduard_Cerny) 2008-06-07 Introduce immediate assume and cover statements 0002168 Clarification SV-AC major completed (Dmitry Korchemny) 2008-06-07 Formal semantics for edge-sensitive clocks 0001698 Errata SV-AC feature completed (Lisa_Piper) 2008-06-06 The description of sampled value functions is insufficient 0001901 Errata SV-AC feature completed (Eduard_Cerny) 2008-06-06 Cycle delay for ## concatenation allows identifier to specify the delay w/o retsricting to constant epxr 0001683 Enhancement SV-AC feature completed (Dmitry Korchemny) 2008-06-06 Relax rules for building multiclocked properties 0001682 Enhancement SV-AC feature completed (Dmitry Korchemny) 2008-06-06 Future value functions 0001681 Enhancement SV-AC feature completed (Dmitry Korchemny) 2008-06-06 Introduce global clocking 0001667 Enhancement SV-AC feature completed (john_havlicek) 2008-06-06 Local variable arguments for sequences and properties. 0001601 Enhancement SV-AC feature completed (Lisa_Piper) 2008-06-04 new keyword for untyped formal arguments 0001737 Errata SV-AC minor completed (Eduard_Cerny) 2008-06-02 Incomplete fix from 1381 0001668 Enhancement SV-AC feature completed (john_havlicek) 2008-06-02 Local variable initializers. 0001648 Enhancement SV-AC feature completed (Lisa_Piper) 2008-06-02 Default reset for assertions 0002336 Enhancement SV-AC feature completed (Doron_Bustan) 2008-05-29 VPI part of 1757 0002335 Errata SV-AC trivial completed (Manisha_Kulshrestha) 2008-05-29 Minor fix for 1641 0002246 Errata SV-AC tweak completed (Lisa_Piper) 2008-05-29 VPI definitions of assertkill need modification 0002188 Errata SV-AC trivial completed (Dmitry Korchemny) 2008-05-29 Typo in 38.4.1 Placing assertion system callbacks 0002175 Errata SV-AC minor completed (john_havlicek) 2008-05-29 D4 implementation feedback 0002171 Errata SV-AC text completed (Dmitry Korchemny) 2008-05-29 Wrong usage of "property expression" in Reactive region description. 0002150 Errata SV-AC major completed (Manisha_Kulshrestha) 2008-05-29 use of automatic variables in action block and subroutine calls should not be allowed 0002091 Clarification SV-AC text completed (Lisa_Piper) 2008-05-29 Need a clarification where concurrent assertions may appear 0002090 Errata SV-AC trivial completed (Dmitry Korchemny) 2008-05-29 Concurrent assertion instantiation - inconsistent wording 0002069 Clarification SV-AC major completed (Dmitry Korchemny) 2008-05-29 Formal semantics for coverage is missing 0002033 Errata SV-AC text completed (Dmitry Korchemny) 2008-05-29 Explicitly mention generate blocks as sequence and property declaration scope 0001987 Errata SV-AC trivial completed (Lisa_Piper) 2008-05-29 Change "verification statement" to "assertion" or "assertion statement" and add to the glossary 0001800 Errata SV-AC text completed (Doron_Bustan) 2008-05-28 Example with throughout in Clause 16.8.8 on pp332 of P1800-2008 Draft 4 is incorrect 0001769 Enhancement SV-AC feature completed (Eduard_Cerny) 2008-05-28 Elaboration time user assertion and error reporting tasks 0001758 Enhancement SV-AC feature completed (Eduard_Cerny) 2008-05-28 Boolean implication -> and equivalence <-> 0001757 Enhancement SV-AC feature completed (Doron_Bustan) 2008-05-28 Property resets: accepton(b) P, rejecton(b) P 0001731 Enhancement SV-AC feature completed (Eduard_Cerny) 2008-05-28 Sampled value functions with arbitrary clocks 0001722 Errata SV-AC tweak completed (Lisa_Piper) 2008-05-28 there exists bind inconsistencies between the BNF and the text 0001687 Errata SV-AC feature completed (john_havlicek) 2008-05-28 Wrong equivalence for $isunknown 0001686 Errata SV-AC minor completed (Lisa_Piper) 2008-05-28 assertion evaluation does not wait on subroutines 0001677 Enhancement SV-AC minor completed (Dmitry Korchemny) 2008-05-28 Add $changed sampled value function 0001641 Enhancement SV-AC feature completed (Manisha_Kulshrestha) 2008-05-27 need a way to specify severity for printing general error messages 0001599 Errata SV-AC minor completed (chas) 2008-05-27 The assertion API and VPI sections need changes as per mantis #805 0001591 Errata SV-AC minor completed (Dmitry Korchemny) 2008-05-27 16.8.3, 19.11: $past syntax not precise 0001567 Errata SV-AC minor completed (john_havlicek) 2008-05-27 19-12: in Syntax 19-12, should be no semicolon 0001549 Errata SV-AC feature completed (Lisa_Piper) 2008-05-27 add missing formal argument types 0001466 Enhancement SV-AC minor completed (Lisa_Piper) 2008-05-26 shortcuts for delay and consecutive repetition 0001460 Enhancement SV-AC minor completed (Dmitry Korchemny) 2008-05-26 Allow actions within assume property statement 0001361 Enhancement SV-AC minor completed (Manisha_Kulshrestha) 2008-01-17 need a way to control execution of action blocks 0001768 Enhancement SV-AC text completed (Lisa_Piper) 2007-10-03 need to define how to interpret whether the argument to cover is a property or sequence 0001735 Errata SV-AC minor completed (Lisa_Piper) 2007-10-03 Incomplete fixes from 0928 0001704 Errata SV-AC tweak completed (Lisa_Piper) 2007-10-03 need to specify behavior of attached subroutine on empty seq match 0001674 Enhancement SV-AC feature completed (Eduard_Cerny) 2007-10-03 Context value functions 0001550 Errata SV-AC minor completed (Eduard_Cerny) 2007-10-03 $sampled function definition 0000928 Errata SV-AC feature completed (Lisa_Piper) 2007-09-25 list_of_formals superfluous (BNF) Thanks, Dmitry --------------------------------------------------------------------- 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 Thu Jun 19 11:11:05 2008
This archive was generated by hypermail 2.1.8 : Thu Jun 19 2008 - 11:11:57 PDT