Hi, Below is the list of all open SV-AC mantis items for your reference, excluding errata and clarifications, and including the items earlier sent for your feedback: 5068 concurrent assertions in classes 5066 Allow variables in delays and repeat operators 5065 Create standard package to define implementation for commonly used properties 5064 Create standard package to define constants used in assertion-related stuff 5063 Automatic inference of assertion statement type 5038 Grammar changes for Mantis 3525 appear to have unintended effects 4571 For next 1800: Probing property local variables for sharing across boundaries 4156 17.2 checker syntax does not support use of $display <-- irrelevant? (DK) 4084 Issue with coverage // need for a "full_paths" coverage? 4081 Checking for nonvacuity of ORed properties 4060 Soft assumptions should provide functionality similar to soft constraints in next PAR 3718 Need to define concept of sampling in classes 3672 hierarchical access to named block in assertion action blocks 3614 Free variable randomization with assumptions with various clock domains 3610 Sequence methods with sequences admitting empty match 3559 Implication example explanation is not accurate 3555 Use let in implication example 3552 16.14.6 Sequence methods // .triggered need further clarification 3478 Make drivers of inout ports accessible 3217 Definition for referring to an assertion as a relative hierarchical name is missing in Section 23.6 3195 Local Variables Flow Out Issue in and/or/intersect/implies 3157 Identifier usage before declaration in assertions 3120 expect construct to refer to virtual interfaces 3117 make it clear that rewriting algorithm (F.4.1) applies to checker and let 3099 action block triggering is not well defined 3060 Allow class instantiation in checkers 3059 Study PSL local variables and determine if any alignment is warranted. 3058 Add support for real variables and continuous time, which are necessary for mixed-signal assertions. 3057 Make local variables a first class language construct in SVA. 3038 Tighter integration between SVA constructs and covergroups 3032 2012 Ballot comment 44: Allow forcing in checkers 3031 Allow checker instantiation in classes 3030 2012 Ballot comment 45: Allow checker instantiation in functions and tasks 3029 Remove limitation regarding passing dynamic arrays to sequences, properties and checkers 3024 Introduce generic integral type 2980 semantic inconsistency between expect and procedural concurrent assertions 2958 provide same syntax variants for agrument passing at sequence/property instances (16.8, 16.13) as for port connections at module 2947 Module variables from within function or task not sampled, LRM and practice contradictory 2944 concurrent assertions in tasks/functions 2939 Hierarchical reference of checker variable should be disallowed completely 2858 Clarify the rules for assigning a value to a non-checker variable from within a checker 2842 Checker variable randomization with deferred assumptions is not defined 2751 P1800-2009: checker formal arguments may not be connected to interfaces // WHY? 2560 Inconsistent description of conditional property operators 2555 Clarify relationships of different local variable binding mechanisms 2546 'empty match' and 'vacuous success' are not clearly defined in LRM 2413 Allow inferred value functions in let 2341 should scope of assert control tasks be finer than a module 2297 Case construct for sequences 2248 leading clock - Champions feedback - items related to Mantis item 1683 2172 Add sequence if...else. 2151 Referencing assertions in functions 2111 Allow parameters in checkers 1853 BNF for calls to $rose and other sample value system functions 1647 Type query functions 1547 need to be able to assert assertions in a clocking block 1531 Allow static local variables in properties and sequences 1502 Decision point definition 1296 Annex E does not cover all clocked derived forms 1147 find way to embed PSL 1036 Incorporate by reference Accellera PSL I suggest to allow working on minor enhancements (like mantis 3555), and on any mantis item if the resolution is to close it. For example, there are several enhancements that are not relevant anymore. 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, and is believed to be clean.Received on Thu Nov 27 05:36:25 2014
This archive was generated by hypermail 2.1.8 : Thu Nov 27 2014 - 05:36:45 PST