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.