[sv-bc] Minutes: Sep 27 SV-BC Meeting

Minutes of the September 27, 2004 SV-BC Meeting (Design Modeling
Committee)

21312 Day
73064
00000 Month
99885
00000 Year
44444
 
aaaa- Matt Maidment - Intel
aaaa- Brad Pierce - Synopsys
a-aaa Karen Pieper - Synopsys
----a Johny Srouji - Intel
aaaaa Dan Jacobi - Intel
aa--a Dave Rich - Synopsys
aaaaa Francoise Martinolle- Cadence
----- Jay Lawrence - Cadence
----- Dennis Brophy - Mentor
aaaaa Mark Hartoog - Synopsys
a-a-a Rishiyur Nikhil - Bluespec
aaa-- Cliff Cummings - Sunburst Design
aaaa- Steven Sharp - Cadence
---a- Mike MacNamara - Verisity
a-a-- Stuart Sutherland - Sutherland HDL
a-a-- Don Mills - LCDM Engineering
aa--- Logie Ramachandran - Synopsys
aa--- Surrendra Dudani - Synopsys
-aa-- Doug Warmke - Mentor Graphics

Review IEEE patent policy
  http://standards.ieee.org/board/pat/pat-slideset.ppt

Matt read the patent policy.

Open Items:
  Karen moved that the committee approve every issue in
  the sv-bc bug database that was resolved after the
  release of the 3.1a standard & prior to the formation
  of this committee.
  Cliff seconds
  No abstain.
  Passes

  Champions committee starting. Karen to offer more details
  when availables
  
Review Previous 2 Meeting Minutes
  http://www.eda.org/sv-bc/minutes/sv-bc_04_08_30.txt
  Sep 13 minutes will be distributed by Monday's meeting.

  Doug Warmke's attendance missing from both minutes.
  Dave Rich's attendence omitted from Sep 13 meeting
  minutes.

  Brad moves that we accept both minutes with changes
  Karen seconds
  No Opposed
  No Abstain
  Passes

249 (like 243?) Is it an SV-BC issue

Find owners for issues submitted by Steven Sharp
  213 Wildcards
Brad moves issue go to SV-EC
Nikhil seconds
No opposed
No abstain
Passes

  214 Time literals
Brad asks that this be moved to the reflector for consensus
Revisit in 2 weeks.

  215 Scheduling of variable initialization

SV method is one legal interpretation of Verilog method.
1. Is it backward compatible? It appears so.
2. Does inline initialization cause event at time 0? When during time
0?
Testbench says before time 0, no event.

Karen moves to do nothing
Dave seconds
Stu Thirds
Opposed: Cliff, Steven, Francoise, Danny
For: Brad, Mark, Logi, Surrendra, Karen, Dave
Passes

  216 Enum initialization

Straw proposal: 4-value enum initializes to X.
Needs to be consulted with SV-EC
Brad volunteers to do this.
Steven will work on initial proposal. Including
what happens when enum has invalid value.

  217 Mixed 2/4-state packed structs
Steven will make proposal.

  218 Unique case/if evaluation order
Brad.

  220 VCD mapping of shortint and longint
Steven.

AI: steven to review 221 for possible inclusion in issue resolution.

Review proposal for issue 91
  http://www.eda.org/sv-bc/hm/1989.html

Under section A.2.4

REPLACE

    type_assignment ::= type_identifier = data_type

WITH

    type_assignment ::= type_identifier = data_type
        | type_identifier = $typeof ( expression 28 )
        | type_identifier = $typeof ( data_type )

* Equal signs = parentheses () and the sequences $typeof or all in bold
** the number 28 is in supper script indicating a reference to a
footnote

Under Annex A Footnote sections

ADD

28) The expression that was is used as the argument to the $typeof
system function shall contain no hierarchical references.

change to:

28) The expression that is used as the argument to the $typeof
system function shall contain no hierarchical references.

  
Danny moves
Brad Seconds
MOtion passes.

proposal #2:
Danny moves.
Brad seconds
passes

proposal #3

$bits ( expression )
| $bits ( ps_type_identifier )
| $bits ( integer_type )

Danny moves.
Brad seconds
Passes.

Proposal #4.
Danny moves.
Brad seconds.
Passes.

254:
Consolidated erratum. All.

Review any proposals Brad, Mark or any other volunteers
Brad:

    31 9/27 proposal uploaded
    102 9/27 will move to close, as described in bug note
    148 9/27 will move to close, as described in bug note
    254 9/27 (consolidation of agg expr issues)

Mark:
    119
    120

Action Items
08/30 - Matt - Submit issues with proposals to email vote

  Immediate Priority, High Effort
  -------------
  21 Mark Hartoog
  23 Nikhil (10/25)
  24 Mark Hartoog
  31 Brad Pierce (9/27) proposal uploaded
  32 Brad Pierce (9/27)
  51 Francoise Martinolle
  74 Nikhil (10/25)
  120 Mark Hartoog
  26 Cliff Cummings

  Immediate Priority, Medium Effort
  -------------
  36 Matt Maidment (11/8)
  94 Brad Pierce (???)
  101 Francoise Martinolle
  102 Brad Pierce (9/27) move to close
  103 Mark Hartoog (9/27)
  110 Cliff Cummings / Don Mills
  112 Brad Pierce (9/27)
  119 Mark Hartoog
  145 Matt Maidment (11/8)
  146 Jeita 21: Simple explaination in section2
  148 Brad Pierce (9/27) move to close
  159 bit- and part-selects of packed unions
  163 Doug Warmke

The next meeting conflicts with next P1800 meeting. Cliff
suggested 4-6pm on October 11, immediately following the
P1800 meeting. Matt to investigate logistics.

--
Matt Maidment
mmaidmen@ichips.intel.com