1. Results: Top SV-AC Issues RankName IdSummaryRank 1AMS assertions 2328Review and relax restrictions on data types in assertions1 3058Add support for real variables and continuous time, which are necessary for mixed-signal assertions2 2Checker usability 2093Checker construct (Mantis 1900) should permit output arguments3 3034Allow continuous and blocking assignments in checkers5 3033Allow procedural control statements is checkers9 2743Allow subroutine_call_statement in a checker13 3032Allow forcing in checkers19 2751P1800-2009: checker formal arguments may not be connected to interfaces // WHY?20 2111Allow parameters in checkers26 3Assertion system functions 3037Introduce assertion system functions for 4-valued type support4 3027$asserton doesn't report existing failures in immediate assertions: should the language require it to?8 2205$asseroff, $assertkill and $asserton description is ambiguous14 3036Explicitly allow unpacked data types for arguments of assertion system functions15 1675Assertion system function syntax is not complete29 1763The LRM does not define whether assertion control tasks affect sequence methods and events32 3295need a way to control only asserts/covers/assume directives

2. Results: Top SV-AC Issues (cont.) RankName IdSummaryRank 4Inference 2412Allow clock inference in sequences6 5Sampling 3035More flexible definition of checker argument sampling7 6Local variables 3057Make local variables a first class language construct in SVA10 2555Clarify relationships of different local variable binding mechanisms30 3195Local Variables Flow Out Issue in and/or/intersect/implies 7Scoping 3069Relax rules for $global_clock resolution11 3030Allow checker instantiation in functions and tasks12 2151Referencing assertions in functions21 2944concurrent assertions in tasks/functions23 3031Allow checker instantiation in classes24 8Type system 3029Remove limitation regarding passing dynamic arrays to sequences, properties and checkers16 3024Introduce generic integral type17 966$isunbounded()24 1647Type query functions31

3. Results: Top SV-AC Issues (cont.) RankName IdSummaryRank 9Covergroups 3038Tighter integration between SVA constructs and covergroups15 10Formal Semantics 1296Annex E does not cover all clocked derived forms7 11Vacuity 2546‘empty match' and 'vacuous success' are not clearly defined in LRM27 12Temporal logic 2172Add sequence if...else28 2297Case construct for sequences33 13Deferred assertions 3206Deferred assertions are sensitive to glitches 14Sequences and properties 3191Allow sequence methods with sequence expressions