[sv-ac] Effort estimation for top issues

Hi all,

Here is my effort estimation. I also believe that we should reserve at least 2 months on errata items that are not in this list.

1. AMS assertions (3 months)
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 (3 months)
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 (1 month)
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 (2 weeks)

2412: Allow clock inference in sequences (6)

5. Sampling (1 month)

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

6. Local variables (1.5 months)

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

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

7. Scoping (6 months)

3069: Relax rules for $global_clock resolution (11) (1 month)

3030: Allow checker instantiation in functions and tasks (12) (2 weeks, if to address the most important case only).

2151: Referencing assertions in functions (21) (3 weeks)

2944: concurrent assertions in tasks/functions (23) (1.5 months)

3031: Allow checker instantiation in classes (25) (2 months)

8. Type system (2.5 months)

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 (3 months)

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

10. Formal Semantics (2 weeks)

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

11. Vacuity (1 month)

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

12. Temporal logic (1 month)

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

2297: Case construct for sequences (33)

We need to elaboratet how to sum up the effort since several items may be done in parallel.

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.