[sv-ac] SV-AC issue prioritization

Hi Neil, Karen,

SV-AC identified 12 top priority issues, sorted in the decreasing order of importance. Some issues are composed from several related (or even overlapping) Mantis items, which were individually ranked for reference. The rank of individual Mantis items appears in parentheses.

1. AMS assertions
2328: Review and relax restrictions on data types in assertions (1)
3058: Add support for real variables and continuous time, which are necessary for mixed-signal assertions. (2)

2. Checker usability
2093: Checker construct (Mantis 1900) should permit output arguments (3)
3034: Allow continuous and blocking assignments in checkers (5)
3033: Allow procedural control statements is checkers (9)
2743: Allow subroutine_call_statement in a checker (13)
3032: Allow forcing in checkers (19)
2751: P1800-2009: checker formal arguments may not be connected to interfaces // WHY? (20)
2111: Allow parameters in checkers (26)

3. Assertion system functions
3037: Introduce assertion system functions for 4-valued type support (4)
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 (14)
3036: Explicitly allow unpacked data types for arguments of assertion system functions (15)
1675: Assertion system function syntax is not complete (29)
1763: The LRM does not define whether assertion control tasks affect sequence methods and events (32)

4. Inference

2412: Allow clock inference in sequences (6)

5. Sampling

3035: More flexible definition of checker argument sampling (7)

6. Local variables

3057: Make local variables a first class language construct in SVA (10)

2555: Clarify relationships of different local variable binding mechanisms (30)

7. Scoping

3069: Relax rules for $global_clock resolution (11)

3030: Allow checker instantiation in functions and tasks (12)

2151: Referencing assertions in functions (21)

2944: concurrent assertions in tasks/functions (23)

3031: Allow checker instantiation in classes (25)

8. Type system

3029: Remove limitation regarding passing dynamic arrays to sequences, properties and checkers (16)

3024: Introduce generic integral type (17)

966: $isunbounded() (24)

1647: Type query functions (31)

9. Covergroups

3038: Tighter integration between SVA constructs and covergroups (18)

10. Formal Semantics

1296: Annex E does not cover all clocked derived forms(22)

11. Vacuity

2546: empty match' and 'vacuous success' are not clearly defined in LRM (27)

12. Temporal logic

2172: Add sequence if...else. (28)

2297: Case construct for sequences (33)

Regards,
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.