[sv-ac] SV-AC proposals in feedback state

Hi all,

 

The following SV-AC proposals are in 'Feedback' state:

 

*	1698 - The description of sampled value functions is
insufficient
*	2250 - VPI changes related to 1932
*	1769 - Elaboration time user assertion and error reporting tasks
*	1806 - Introduce "restrict property" verification statement
*	2150 - use of automatic variables in action block and subroutine
calls should not be allowed
*	2333 - Champions feedback on 0002173

 

Proposal owners, please, make all the requested changes (if any) in
order to enable a voice vote at our next meeting 2008-04-08.

 

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.