RE: [sv-ac] Call to vote: Due August 15

Mantis 3033 ____ Yes __X__ No

http://www.eda-stds.org/mantis/view.php?id=3033

http://www.eda-stds.org/mantis/file_download.php?file_id=5279&type=bug

I also feel that putting the restriction that procedurally instantiated checkers can not have any procedural code is a big restriction and also backward incompatible. The example of deferred assertion provided is not a real example as deferred assertions are not used in that way and having this restriction just so that deferred assertions work correctly is not right. In the last LRM, a lot of effort was put to define the functionality of checker instantiations in procedural code. Why are we throwing away all that well defined functionality. This looks like a big restriction as checkers in procedural code will not be able to have any modeling code.

Mantis 2328 __X__ Yes ____ No

http://www.eda-stds.org/mantis/view.php?id=2328

http://www.eda-stds.org/mantis/file_download.php?file_id=5274&type=bug

Friendly amendment:

Change the following sentence:

— Any dynamic data type elements captured for assertion evaluation shall continue to exist within the scope of the

assertion until the assertion evaluation completes.

To

— Elements of dynamic arrays, queues, and associative arrays that are sampled for assertion expression evaluation may get removed from the array or the array may get resized before the assertion expression is evaluated. These specific array elements sampled for assertion expression evaluation shall continue to exist within the scope of the assertion until the assertion expression evaluation completes.

Mantis 3295 __X__ Yes ____ No

http://www.eda-stds.org/mantis/view.php?id=3295 <http://www.eda-stds.org/mantis/view.php?id=2328>

http://www.eda-stds.org/mantis/file_download.php?file_id=5277&type=bug

---------------------------------------------------------------------
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 <http://www.mailscanner.info/> , and is 
believed to be clean. 
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.