[sv-ac] Top-Issue list

Hi all,

Here is my top-priority issue list:

3035 More flexible definition of checker argument sampling
3036 Explicitly allow unpacked data types for arguments of assertion system functions
3037 Introduce assertion system functions for 4-valued type support
3030 Allow checker instantiation in functions and tasks
2743 Allow subroutine_call_statement in a checker
2556 Explicit package scope indication is not allowed for checkers
3027 $asserton doesn't report existing failures in immediate assertions: should the language require it to?
3024 Introduce generic integral type
3034 Allow continuous and blocking assignments in checkers
3033 Allow procedural control statements is checkers
2328 Review and relax restrictions on data types in assertions
3032 Allow forcing in checkers
3029 Remove limitation regarding passing dynamic arrays to sequences, properties and checkers
3038 Tighter integration between SVA constructs and covergroups
3031 Allow checker instantiation in classes
2412 Allow clock inference in sequences
2452 No vacuity information about synchronous aborts

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.