[sv-bc] Technical Committee schedule update

To all P1800 Technical Committees,

Last week there was a Working Group conference call. During that meeting
a schedule update was agreed to for the remaining work in the Technical
Committees.

The following was agreed to:

1. No new mantis items are allowed to be worked on.

    Only those mantis items shown in the following list are allowed to be
    worked on.

    sv-ac
      3564 Sec 9.2.2.2.1 needs to clarify whether variables read in an assertion
      3145 Need to clearly define "maximal property"

      2476 Need clarification about system functions $onehot, etc
      2093 Checker construct should permit output arguments
      3033 Enhance checker modeling capabilities
      3213 Update definition of sampled value
      3069 Relax rules for $global_clock resolution
      2328 Review and relax restrictions on data types in assertions
      3113 Add port_identifier to constant_primary BNF for sequences, properties
      3206 Deferred assertions are sensitive to glitches
      3295 need a way to control only asserts/covers/assume directives

    sv-bc
      3608 Resolution of dotted names needs to mention parameters and nets
      1067 out-of-range or x/z index to array of reals

    sv-cc
      3192 37.8 section has wrong value definitions for vpiAccessType
      1653 Cannot get to class defn from VPI class typespec
      1352 VPI 27.37 "Multiclock sequence expression" error
      3022 Annex I import/export reversals
      3772 vpiParameter label is missing in first diagram in "37.2 Parameter,
      1649 Undefined possibly redundant VPI constraint object types

      3423 No way in VPI to trace instance-array connections across

    sv-dc
      <none>

    sv-ec
      2845 virtual interface type checking versus interface type that had been
      3230 task should be function in definition of static functions

      2505 class select: what is allowed after the dot?
      3278 virtual method type rules
      2506 Non-trivial coverage space shapes and joint conditions are difficult
      2987 Soft Constraints
      3028 constraints for unique array elements.
      1356 Multiple inheritance

    In addition to those, the sv-cc has permission to work on any vpi changes
    that might be required for: 3001, 2987 , 3724, 1356

2. The schedule is as follows

    The following rigid schedule was put in place. Be aware that the
    US Thanksgiving Holiday falls into this time frame. The expectation
    from the Working Group is that the Technical Committees will be able to
    find a way to meet this new schedule.

    Nov 1 - Champions email vote ends
    Nov 11 - Technical Committees done responding to Champions
    Nov 16 - Champions vote done
    Nov 23 - Technical Committees done responding to Champions
    Nov 30 - Last Champions vote
    Dec 1 - Working Group meets

Neil

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.