Subject: [sv-ac] straw poll vote
From: Surrendra Dudani (Surrendra.Dudani@synopsys.com)
Date: Sun Nov 16 2003 - 18:24:47 PST
Below is my preference, indicated yes by X, and No by -
[X] accessing local variables
[X] sampling local variables
[X] clock flow
[X] generalized implication
[X] property conjunction
[X] property disjunction
[X] property if else
[X] property instances
[X] property negation
[X] EXT-1/2,: Assumptions using assume
[X] EXT-3: Sequential constraint in constraints block
[X] EXT-5: NBA assignment/modeling code using temporal functions-
Alternative proposal
[-] EXT-5: NBA assignment in clocking domain - original proposal
This functionality is covered by the alternative proposal. Also, allowing
executable statements in clocking domain would significantly change the
semantics of clocking domain.
[X] EXT-6: Message reporting using $sampled function
[-] EXT-7: Support for parameters
Items in this proposal can already be done in 3.1. Perhaps we need some
more discussion for clarification.
[X] EXT-8/15/16 Allow passing of assertion via modport
pending review from sv-bc
[X] EXT-9 Allow passing of $ as an argument to property/sequence instances
[X] EXT-11 Allow recursive properties
Need additional review
[X] EXT-13 Allow assertions in functions
[X] EXT-14 Gated clocks in $past
Surrendra
**********************************************
Surrendra A. Dudani
Synopsys, Inc.
377 Simarano Drive, Suite 300
Marlboro, MA 01752
Tel: 508-263-8072
Fax: 508-263-8123
email: Surrendra.Dudani@synopsys.com
**********************************************
This archive was generated by hypermail 2b28 : Sun Nov 16 2003 - 18:25:24 PST