Presentation is loading. Please wait.

Presentation is loading. Please wait.

Results: Top SV-AC Issues RankName IdSummaryRank 1AMS assertions 2328Review and relax restrictions on data types in assertions1 3058Add support for real.

Similar presentations


Presentation on theme: "Results: Top SV-AC Issues RankName IdSummaryRank 1AMS assertions 2328Review and relax restrictions on data types in assertions1 3058Add support for real."— Presentation transcript:

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 checker Allow forcing in checkers P : checker formal arguments may not be connected to interfaces // WHY? Allow 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 ambiguous Explicitly allow unpacked data types for arguments of assertion system functions Assertion system function syntax is not complete The LRM does not define whether assertion control tasks affect sequence methods and events need 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 SVA Clarify relationships of different local variable binding mechanisms Local Variables Flow Out Issue in and/or/intersect/implies 7Scoping 3069Relax rules for $global_clock resolution Allow checker instantiation in functions and tasks Referencing assertions in functions concurrent assertions in tasks/functions Allow checker instantiation in classes24 8Type system 3029Remove limitation regarding passing dynamic arrays to sequences, properties and checkers Introduce generic integral type17 966$isunbounded() Type 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...else Case construct for sequences33 13Deferred assertions 3206Deferred assertions are sensitive to glitches 14Sequences and properties 3191Allow sequence methods with sequence expressions


Download ppt "Results: Top SV-AC Issues RankName IdSummaryRank 1AMS assertions 2328Review and relax restrictions on data types in assertions1 3058Add support for real."

Similar presentations


Ads by Google