Minutes of the 12/09/02 SV-BC Meeting. This is my list of attendees and voting status - please submit corrections: (aaaaa--------) Johny Srouji (Intel) * (aa--aaa-aaaaa) Cliff Cummings (Sunburst Design) * (a---aaaaaaaaa) David Smith (Synopsys) (aaaaaaaaaaaaa) Karen Pieper (Synopsys) * (aaaaaaaaaaa-a) Kevin Cameron (NSC) * (a-aaaaaaaaa-a) Steven Sharp (Cadence) * (---aaaaa-aaa-) Dennis Brophy (Model Technology) * ( -a--a---aaaa) Tom Fitzpatrick (Co-Design) * (a-aaaaaa----a) Gord Vreugdenhil (Synopsys) (aaaaaaaa-----) Brad Pierce (Synopsys) * (aaaaa-a----aa) Francoise Martinolle (Cadence) * (aa-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-a-------aaa) Vasisilios Gerousis (Seimens) (aa-a---------) Dan Jacobi (Intel) (--a----------) Stuart Swan (Cadence) (--a----------) Adam Krolnick (aaa----------) David Rich (Synopsys) (--a----------) Yong Xiao (Synopsys) (a-a----------) Jay Lawrence (Cadence) (--a----------) Matt Maidment(Intel) (--a----------) Wolfgang Keil (Synopsys) (-a-----------) Alec F. Stanculescu (Fintronic) * indicates eligible to vote on consensus issues Minutes ======= * Johny moves that we agree on the minutes of 11/25/02 tele-call No opposed. minutes pass * Johny took the action item to contact Peter Flake regarding his open action items. * Due to a large list of issues on our plate, it was agreed to hold a F2F meeting for sv-bc committee. Meeting date was set to January 22nd in California. May have a join session w/ sv-ec committee, in case we have joint issues Karen will take care of the meeting logistics. * SV-BC-10 Issue: VCD and Displaying enums Cliff sent a PDF file, which includes an example (mail was sent on 12/9) This example was presented and discussed, followed w/ a discussion regarding the scope of the VCD format proposal (not only for enums). Gord took the Action item to check if a member of the VCS team will write up VCD descriptions for all types. * SV-BC18h, SV-BC19i: we had a long discussion regarding these two issues, where Dave explained his position (notes regarding this topic were submitted to sv-bc). We did not reach a resolution on these topics and it was agreed that Dave will take raised comments and modify (including changes to the language) of his proposal. * Karen volunteered to handle a list of issues that are simple (for example changing simple wordings in the document) and need to be passed to Stu. These will be voted on as needed through email. * Our next meeting is Jan 6th, 2003 Action Items Update =================== Karen to create teleconference calls for 01/06/03 - tele-call, 9:00-11:00 am Pacific 01/20/03 - tele-call, 9:00-11:00 am Pacific 01/22/03 - F2F, California 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 to send info to Johny and everyone. Karen to arrange logisitics of face-to-face on 1/22/03. Gord to see if a member of the VCS team will write up VCD descriptions for all types. Dennis to make a proposal on DSM. With Dave Roberts at Cadence. 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) The proposal is to make strict direction checking for the SystemVerilog verilog ports. This raises an open issue for structured wires. 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) Next meeting is on Monday 01/06/03.