[sv-ac] Ed's top priority issue list

Hi all,

I am forwarding the issue list sent to me by Ed:

Id Summary

2939 Hierarchical reference of checker variable should be disallowed completely
2897 Allow $display in checkers
2111 Allow parameters in checkers
2904 Clarify when disable iff condition must occur relative to starting and ending of an attempt
2839 Contradictory statement of increment/decrement operators usage
2809 Checker instantiation in checkers' always procedure
2557 Rules for passing automatic variables to sequence subroutines are not clear
2555 Clarify relationships of different local variable binding mechanisms
2452 No vacuity information about synchronous aborts
2367 Clarification: sampled-value functions are unaffected by disable-iff

2328 Review and relax restrictions on data types in assertions - SVA AMS related
2983 entry for SVA AMS extension
3024 Introduce generic integral type
1647 Type query functions
2151 Referencing assertions in functions
2979 parts related to "Procedural Code in Checkers", "Checker Argument Sampling",
                        "Multiple Argument Support", "New System Functions (X/Z)".
                        Other items from this presentation are covered under specific id's above.

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.