[sv-champions] Recently resolved SV-AC items (resend)

Hi Neil,

 

I would like to inform you about the recently resolved Mantis items,
which are ready for the champions' review:

 

2150 - use of automatic variables in action block and subroutine calls
should not be allowed

2333 - Champions feedback on 0002173

2246 - VPI definitions of assertkill need modification

2336 - VPI part of 1757

2250 - VPI changes related to 1932

1698 - The description of sampled value functions is insufficient

1769 - Elaboration time user assertion and error reporting tasks

 

According to our understanding 1503 (27.33 VPI diagram of propertyinst
has no vpiArgument) will be discussed tomorrow in SV-CC meeting, and in
case of the positive decision it can be also included into the
champions' meeting agenda.

 

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.