Hi Stu: As discussed in today's P1800 WG meeting, I have compiled a list of the Mantis items coming out of SV-AC. I believe that I have captured everything since Draft 4, including items that are not yet resolved, but that are authorized by the motions in the P1800 WG meeting. I have copied SV-AC so that they can respond if I have missed anthing. Best regards, John H. Editor (4) ---------- . 1466 Shortcuts for delay and consecutive repetition . 1567 Erroneous semicolon in Syntax 19-2 . 1591 $past syntax not precise . 1722 There exist bind inconsistencies between the BNF and the text Approved (12) ------------- . 1641 Need a way to specify severity for printing general error messages . 1681 Introduce global clocking . 1682 Future value functions . 1683 Relax rules for building muticlocked properties . 1731 Sampled value functions with arbitrary clocks . 1737 Incomplete fix from 1381 . 1800 Incorrect example with throughout . 2033 Explicitly mention generate blocks as sequence and property declaration . 2090 Concurrent assertion instantiation -- inconsistent wording . 2171 Wrong usage of "property expression" in Reactive region description . 2175 D4 implementation feedback . 2188 Typo in 38.4.1 Resolved (31) ------------- . 1549 Add missing argument types . 1601 New keyword for untyped formal arguments . 1648 Default reset for assertions . 1667 Local variable arguments for sequences and properties . 1668 Local variable initializers . 1686 Assertion evaluation does not wait on subroutines . 1687 Wrong equivalence for $isunknown . 1698 The description of sampled value functions is insufficient . 1728 Introduce "let" . 1729 Introduce immediate assume and cover statements . 1758 Boolean implication -> and equivalence <-> . 1769 Elaboration time user assertions and error reporting tasks . 1806 Introduce "restrict property" verification statement . 1830 JEITA: There are no sequence methods in the BNF . 1900 Add new "checker construct to SVA . 1901 Cycle delay for ## concatenation allows non-constants through identifier . 1932 Introduce LTL and other temporal operators . 1987 Change "verification statement" to "assertion" or "assertion statement" and add to glossary . 1995 Allo concurrent assertions in for loops . 2005 Solution for glitch problem in immediate assertions . 2069 Formal semantics for coverage is missing . 2088 Allow checker construct to include covergroups . 2089 Allow checker construct to include final blocks with immediate assertions . 2091 Clarify where concurrent assertions may appear . 2100 Add synchronous resets . 2110 Allow checkers in procedural for loops . 2150 Disallow use of automatic variables in action block and subroutine calls . 2168 Formal semantics for edge sensitive clocks . 2173 Add case construct for properties . 2182 Elaborate VPI diagrams for checkers . 2250 VPI changes related to 1932 VPI changes not resolved (2) ---------------------------- . 2237 VPI additions for 1667 . 2246 VPI definitions of assertkill need modifications Feedback from Champions or other committees (1) ----------------------------------------------- . 2248 Champions feedback -- items related to 1683 -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Feb 28 18:03:29 2008
This archive was generated by hypermail 2.1.8 : Thu Feb 28 2008 - 18:03:33 PST