[sv-ac] Action items (reminder)

Hi all,

 

This is a reminder about action items assigned at the last SV-AC meeting
(I am publishing the entire list, though some items have already been
completed):

 

*	YF and DB to review the 1683 proposal (Relaxing rules for
building multiclocked properties)
*	DB to prepare a proposal for 1987 ("verification statement"
should be italicized and added to the glossary)
*	DK to address YF proposal to introduce different kinds of
variables in checkers
*	TT and DK to finalize the text describing simulation of
assumptions containing non-deterministic free variables
*	JM and YF to review the 1995 proposal (Assertions in loops)
*	TT and DK to review the 2005 proposal (Glitches with immediate
assertions)
*	DK to ask EC whether he is going to handle 1698 - "The
description of sampled value functions is insufficient". If not, Lisa
will assume the ownership
*	All: to send their suggestions about the ownership of the
following new items.

*         0002095: Clarify meaning of distribution as condition for
"disable iff" 

*         0002111Allow parameters in checkers

*         0002172: Add sequence if...else.

*         0002172: Add case construct for sequences and properties.

*         0002182: Elaborate VPI diagrams for checkers

*         000205 $asseroff, $assertkill and $asserton description is
ambiguous

*         000206 Random simulation of non-deterministic free variables
in checkers

*         0002151: Referencing assertions in functions

*         0002150: use of automatic variables in action block and
subroutine

 

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.