Minutes of the 11/25/02 SV-BC Meeting. This is my list of attendees and voting status - please submit corrections: (aaaa--------) Johny Srouji (Intel) * (a--aaa-aaaaa) Cliff Cummings (Sunburst Design) * (---aaaaaaaaa) David Smith (Synopsys) (aaaaaaaaaaaa) Karen Pieper (Synopsys) * (aaaaaaaaaa-a) Kevin Cameron (NSC) * (-aaaaaaaaa-a) Steven Sharp (Cadence) * (--aaaaa-aaa-) Dennis Brophy (Model Technology) * (-a--a---aaaa) Tom Fitzpatrick (Co-Design) * (-aaaaaa----a) Gord Vreugdenhil (Synopsys) (aaaaaaa-----) Brad Pierce (Synopsys) * (aaaa-a----aa) Francoise Martinolle (Cadence) * (a-aa-------a) Don Mills (LCDM Engineering) (----aa--aa--) Mike McNamara (Verisity) (------aaaaaa) Stefen Boyd (Boyd Technology) (-a-----aa---) Medi Mohtashemi (Synopsys) (-------aa---) Paul Graham (Cadence) (-a-----aaaaa) Peter Flake (Co-Design) (-------aaaa-) Simon Davidmann (Co-Design) (-------aa--a) Heath Chambers (HMC) (--------aaa-) Dave Kelf (Co-Design) (-a-------aaa) Vasisilios Gerousis (Seimens) (a-a---------) Dan Jacobi (Intel) (-a----------) Stuart Swan (Cadence) (-a----------) Adam Krolnick (aa----------) David Rich (Synopsys) (-a----------) Yong Xiao (Synopsys) (-a----------) Jay Laurence (Cadence) (-a----------) Matt Maidment(Intel) (-a----------) Wolfgang Keil (Synopsys) (a-----------) Alec F. Stanculescu (Fintronic) * indicates eligible to vote on consensus issues Action Items ============ Karen to create teleconference calls for 11/25/02 - tele-call, 9:00-11:00 am Pacific 12/09/02 - tele-call, 9:00-11:00 am Pacific 01/06/03 - tele-call, 9:00-11:00 am Pacific 01/20/03 - tele-call, 9:00-11:00 am Pacific 01/20/03 - F2F meeting in SC? 02/03/03 - tele-call, 9:00-11:00 am Pacific 02/17/03 - NO MEETING (President Day) 02/24/03 - tele-call, 9:00-11:00 am Pacific Karen and Johny to propose that face-to-face meetings for sub committees be scheduled close to each other. Cliff is to propose examples for SV-BC10. Dennis to make a proposal on DSM. Peter will clarify extern fork/join semantics. In particular: Disabling calls for joined tasks needs to be clarified Need to document the behavior for modules that do not define interface tasks. (SV-BC16) Gord will make a proposal to describe the granularity of error checking on logic types in the presence of mixed continuous and procedural assignments. (SV-BC18) Dave Rich will make a proposal describing port directions and/or collapsing are possible with logic type and the associated restrictions. (SV-BC18g) Dave will propose some language indicating that when a logic type has an initializer, all assignments must be procedural. (SV-BC18h) Dave will propose some language indicating that logic types cannot be driven by primitives that pass strength: MOS switches, etc. (SV-BC19i) Johny will check with the EC as to why they need type use before definition. We will discuss this in our next meeting. (SV-BC8-3) Email has been sent to David Smith. Discuss when reply arrives. Dave will develop language to clarify the description of time precision and time scale. (SV-BC2) Peter will develop language to address issues with time variables and literals. (SV-BC8-5) Steven will develop language to clarify the meaning of type "matching" in structural literals. (SV-BC7c) Stu will implement the global replacement of masked with 4-state and unmasked with 2-state. (SV-BC8-7) Karen will propose language correcting the standards conversion between shortreal and integer. (SV-BC9-10) Gord will propose shortreal equivalents of $bitstoreal and $realtobits (SV-BC9-10) Peter will propose language for what can and cannot appear in a constant expression. (SV-BC12) Gord will propose language describing the implicit sensitivity list for always_comb, noting that always_comb is equivalent to always @(sensitivity) (SV-BC21) Karen will develop language for auto-increment. (SV-BC6) SV-BC19-21: range already parsed. Dan will resubmit the fix so it matched ETF. Minutes ======= * Karen moves that we accept minutes of 11/11/02 tele-call. No opposed. No abstain. Meeting minutes were accepted. * Karen moves that we accept minutes of 11/15/02 F2F meeting.No opposed. Cliff abstains. Meeting minutes were accepted. * Static keyword exclusion proposal was sent to Peter Flake and a detailed reply was submitted by Johny. The proposal is to keep static keyword in SV3.1 Everyone will need to read the answer details before we discuss it in our next meeting. * "We need to start a new section of things that need to be added to 1364. %u or %v on structure types for example?" was added to SV-B26-2 * Karen will present some issues to the ETF: SV-BC19-6, SV-BC19-15 This was Done and she sent a note to sv-bc on 11/20 at 10:20. Karen moves that we change ours to match. No opposed. No abstain. Passes * Karen moves that we remove the square brackets around the list_of_ports element in the old style module_declaration production. No opposed. No abstain. Passes. * On SV-BC19-15 - Issue 174 as documented in the note above sent by Karen Removing (mintypmax_expression) from the delay_value production. Karen moves that we accept that. Cliff seconds. No opposes. No abstain. Passes * "Karen will create issues for: 1. Backannotation on interfaces 2. Backannotation on logic type 3. Need a definition of the exact use of interfaces w/o modports , Synthesis tools would compile a module by module." Done. Karen created issues SV-BC32 and SV-BC33 respectively. * Karen needs to move the following to the enhancement committee: Scheduling control/delta cycles Private and public variables for interfaces Modports as separate entities from interfaces Done. * Issue SV-BC8-2b: Dave will develop language to clarify the transition of 2-state types to 4-state in packed unions. (SV-BC8-2b) OLD: A packed union contains members that are packed structures or arrays of the same size. This ensures that you can read back a union member that was written as another member. If any member is 4-state, the whole union is 4-state. A packed union can also be used as a whole with arithmetic and logical operators, and its behavior is determined by the signed or unsigned keyword, the latter being the default. NEW: A packed union contains members that are packed structures or arrays of the same size. This ensures that you can read back a union member that was written as another member. A packed union can also be used as a whole with arithmetic and logical operators, and its behavior is determined by the signed or unsigned keyword, the latter being the default. If a packed union contains a 2-state member and a 4-state member, the entire union is 4 state. There is an implicit conversion from 4-state to 2-state when reading and from 2-state to 4-state when writing the 2-state bit member. Karen moves that we accept Dave’s language and will file a separate issue to define whether SV-BC36. making the implicit conversion between 4 state and 2 state to be undefined instead of zero. Cliff Seconds. No Opposed. No abstain. Passes. * SV-BC19-7: Wrong rule for some interface insts. Karen moves that we accept the proposed change. Cliff Seconds. No opposed. No abstains. Passes. * SV-BC19-13: Incorrect dimension added. Remove the packed dimension within {}. Johny moves that we accept the proposed change. Cliff Seconds. No opposed. No abstains. Passes. * SV-BC19-18: enable default type decls on functions. Mismatch between the BNF and standard. Action: Dan.J will fix the suggestion and send it. * SV-BC19-19: enable default type decl on tasks. (added an '|' to the original BNF proposal) The BNF needs to be fixed for SystemVerilog. Karen moves that we accept the proposed change. Cliff Seconds. No opposed. No abstains. Passes. * Page 38 in SV3.0 LRM, second paragraph. OLD Language: The default type in SystemVerilog is logic, which is compatible with Verilog. NEW Language: The task argument default type in SystemVerilog is reg. Cliff proposes this change. Francoise seconds. No Opposed. Kevin Abstains. Passes. * SV-BC19-20: typo in section A.2.9. The syntactic category is named “named_function_proto”. Cliff proposes. Karen seconds. No opposed. No abstains. Passes. * SV-BC19-21: range already parsed. Action Item: Dan will resubmit the fix so it matches ETF. * SV-BC19-22: unnecessary [] under A.4.1.1. An empty parameter assignment can be parsed using both rules. Remove the [] from the second rule. Cliff moves that we accept the proposed change. Karen seconds. No opposed. No abstains. Passes. * SV-BC19-25: A.4.2.1. The rule ’genvar_assignment ::= genvar_identifier = constant_expression’ is redundant to the rule ‘genvar_assignment ::= genvar_identifier assignment_operator constant_expression’ due to the fact that the assignment operator includes the equal sign (=). Karen moves that we accept the proposed change. Johny Seconds. No opposed. No abstains. Passes. * SV-BC19-27, SV-BC19-29: Semicolon needs to be added to rules in A.6.4. (rules as marked in the document submitted by Dan) Cliff moves that we accept the proposed changes. Karen seconds. No opposed. No abstains. Passes. * SV-BC19-28, 30, 38: Postpone for the next meeting Next meeting is on Monday 12/09/02.