RE: [sv-ac] Call to vote. Due July 19

 
SVDB 2557 ___Yes _ X __No

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

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

The reason for voting 'no' for 2557 is that the new statement is not
making it clear that automatic args can not be passed as ref or const
refs either. One thing which is not clear from the current text is that
is it user's responsibility to create const cast before passing an
automatic variable or the tools automatically do it.I think the
intention is to make it automatic:

An automatic variable shall be passed as a constant (see 6.24) input
for a subroutine call from an assertion statement in procedural code
(see 16.15.5 16.15.6.1). An automatic variable shall not be passed by
reference (either ref or const ref; see 13.5.2) to a subroutine call
from an assertion statement in procedural code.

SVDB 2839 __ X _Yes ___No
http://www.eda-stds.org/mantis/view.php?id=2839
http://www.eda-stds.org/mantis/file_download.php?file_id=4376&type=bug
 
I would like this friendly amendment: Remove 'on the right hand side of
assignments'. In case of increment and decrement operators, there is no
right hand side.
 
These operators cannot may be applied only to local variables that
appear
in sequence match items (see 16.10). This restriction prevents side
effects affecting design
variables.
 
---------------------------------------------------------------------
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.