[sv-ac] SV-AC meeting, April 13, 2010 (reminder)

Dear all,

We will hold an SV-AC in two weeks.

Date: 2010-04-13
Time: 16:00 UTC (09:00 PDT)

Dial in information:
-------------------
Toll number: +1 916-356-2663
Toll free number (US): 888-875-9370 (U.S. toll-free),
Bridge: 2 Pass code: 3534371

Agenda:
-------

- Reminder of IEEE patent policy.
See: http://standards.ieee.org/board/pat/pat-slideset.ppt

- Voting right
See: http://standards.ieee.org/sa-mem/corp_overview.html

Currently, until the new PAR is approved, we are defined as a study group and there are no changes in participation rules from 1800-2009 yet.

- Prioritizing top 25 issues to work on.

- Mantis item resolution. We will prioritize the errata Mantis items and address the issues that can be resolved quickly, if time permits. Please, provide your list if you have any.

Below it the list of all errata/clarification items.
3036 Dmitry Korchemny Explicitly allow unpacked data types for arguments of assertion system functions
2182 Dmitry Korchemny Elaborate VPI diagrams for checkers feedback
2556 Dmitry Korchemny Explicit package scope indication is not allowed for checkers
1853 Brad Pierce BNF for calls to $rose and other sample value system functions
1933 Bassam Tabbara 16.13.6 reference to triggered method can be improved
1763 Eduard_Cerny The LRM does not define whether assertion control tasks affect sequence methods and events
2479 john_havlicek Annex F.5.2.1 conflicts with changes from 2434
3020 john_havlicek Recursive property Restriction 4 is not consistent between Clause 16.13.17 and Annex F.7
3015 Jonathan Bromley Examples of $fatal have bad arguments
3008 shalom In $past BNF, "expression" should be "expression1"
2980 john_havlicek semantic inconsistency between expect and procedural concurrent assertions
2955 Surya Pratik Saha Checker example is wrong
2958 Mirek Forczek provide same syntax variants for agrument passing at sequence/property instances (16.8, 16.13) as for port connections at module
2947 Ben Cohen Module variables from within function or task not sampled, LRM and practice contradictory
2939 Surya Pratik Saha Hierarchical reference of checker variable should be disallowed completely
2934 Dmitry Korchemny Precedence and associtiativity of case operator is not shown in the table
2916 Dmitry Korchemny Wrong font in 16.4.2
2927 Surya Pratik Saha Precedence between sequence/property operator and normal expression operator
2807 Ben Cohen Typing error: actual parameter in example not declared assigned
2904 john_havlicek Clarify when disable iff condition must occur relative to starting and ending of an attempt new open
2891 Ben Cohen 17.3.1 Clarification on procedural concurrent assertions upon instantiation of checker
2871 john_havlicek Clause 16 does not forbid assertion local variables within clocking event expressions
2858 Ben Cohen Clarify the rules for assigning a value to a non-checker variable from within a checker
2842 Dmitry Korchemny Checker variable randomization with deferred assumptions is not defined
2839 Surya Pratik Saha Contradictory statement of increment/decrement operators usage.
2825 Ben Cohen 16.16 Disable iff: checkers not included in list of default extensions
2810 Ben Cohen Checker instantiation in an always or initial procedure
2809 Dmitry Korchemny Checker instantiation in checkers' always procedure
2804 Erik_Seligman Need to clarify rule (b) in 16.15.6 to allow inferred clock when expression appears in procedural assertion
2571 shalom confusing assertion clock inference rule
2754 Ben Cohen P1800-2009 : Can clock change in conditional branch of 'if' operator
2752 Ben Cohen P1800-2009 Checker: Clarification on use of automatic variables in "blocks"
2743 Dmitry Korchemny Allow subroutine_call_statement in a checker
2732 Dmitry Korchemny Clarify timing diagram in Figure 16-4?Future value change
2722 Tom Thatcher Errors in Figures 16-14, 16-15, and 16-16
2484 Eduard_Cerny deferred cover should have only statement_or_null, not a full action block
2551 shalom trivial example
2552 Dmitry Korchemny Confusing comments regarding nexttime operator
2560 Dmitry Korchemny Inconsistent description of conditional property operators
2557 Dmitry Korchemny Rules for passing automatic variables to sequence subroutines are not clear
2558 Surya Pratik Saha Restriction inside checker construct
2555 john_havlicek Clarify relationships of different local variable binding mechanisms
2547 shalom local variable read before write
2546 shalom 'empty match' and 'vacuous success' are not clearly defined in LRM
2494 Bassam Tabbara 37.44 Assertion diagram missing restrict
2485 Eduard_Cerny terminology related to immediate and deferred assertions
2491 Doron Bustan Conflicting rules in 16.17 (D7)
2480 Dmitry Korchemny Bug note 7169 not implemented in 1668
2476 Dmitry Korchemny Need clarification about system functions $onehot, etc
966 Brad Pierce $isunbounded()
2452 Dmitry Korchemny No vacuity information about synchronous aborts
2205 Dmitry Korchemny $asseroff, $assertkill and $asserton description is ambiguous assigned
2330 Lisa Piper Clarify that number_of_ticks argument to $past must be compile-time constant
2387 Dmitry Korchemny Layout of 16.11 is inconsistent
2384 john_havlicek Rules about sampling for clocking block variables referenced in concurrent assertions are not clear
2252 Dmitry Korchemny Several symbols in Annex F are in green
2367 Jonathan Bromley Clarification: sampled-value functions are unaffected by disable-iff
2362 shalom 16.14 mention of assertion control system tasks is unconnected
2340 Lisa Piper clarifications needed on vpi_control for non-temporal and immediate assertions
2291 Lisa Piper the description of $assertoff blurs assertions and attempts
2271 Lisa Piper sequence events require a clocked sequence
2255 Lisa Piper clarifications on expect
2248 Neil Korpusik Champions feedback - items related to Mantis item 1683
2228 Eduard_Cerny Error in example in Clause 17.11.4
2206 Dmitry Korchemny Random simulation of non-deterministic free variables in checkers
1678 sv-freescale Clarify that rewriting algorithm doesn't replace name resolution.
1675 Dmitry Korchemny Assertion system function syntax is not complete
2095 Jim Vellenga Clarify meaning of distribution as condition for "disable iff"
921 Doron Bustan Semantics of "calling subroutines on match of a sequence" is not well defined.
1627 shalom 17.16: clarify that expect statement not allowed in functions
1296 john_havlicek Annex E does not cover all clocked derived forms

The following issues are candidates to drop (irrelevant, duplicate, etc,)
2897 Ben Cohen Allow $display in checkers
2747 Ben Cohen Typing error, missing () around property declaration
2481 Dmitry Korchemny Need to swap F.3.4.6 and F.3.4.7
2386 shalom Rename 16.9 to "Local variables"?
2232 Dmitry Korchemny Incorrect region name throughout clause 16
2206 Dmitry Korchemny Random simulation of non-deterministic free variables in checkers
1646 Dmitry Korchemny Generate constructs within properties and sequences

- Opens.

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.