Minutes of the 01/06/03 SV_BC Meeting

 

This is my list of attendees and voting status. Please submit corrections:

 

(aaaaaaa________)                    Johny Srouji (Intel) *

(aaaa__aaa_aaaaa)                    Cliff Cummings (Sunburst Design) *

(__a___aaaaaaaaa)                    David Smith (Synopsys)

(aaaaaaaaaaaaaaa)                    Karen Pieper (Synopsys) *

(aaaaaaaaaaaaa_a)                    Kevin Cameron (NSC) *

(a_a_aaaaaaaaa_a)                    Steven Sharp (Cadence)

(_a___aaaaa_aaa_)                    Dennis Brophy (Model Technology)

(____a__a___aaaa)                    Tom Fitzpatrick (Co_Design)

(aaa_aaaaaa____a)                    Gord Vreugdenhil (Synopsys) *

(aaaaaaaaaa_____)                    Brad Pierce (Synopsys) *

(aaaaaaa_a____aa)                    Francoise Martinolle (Cadence) *

(aaaa_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_a_______aaa)                    Vasisilios Gerousis (Seimens)

(aaaa_a_________)                    Dan Jacobi (Intel) *

(____a__________)                    Stuart Swan (Cadence)

(____a__________)                    Adam Krolnick

(_aaaa__________)                    David Rich (Synopsys) *

(____a__________)                    Yong Xiao (Synopsys)

(aaa_a__________)                    Jay Lawrence (Cadence) *

(aa__a__________)                    Matt Maidment (Intel)

(____a__________)                    Wolfgang Keil (Synopsys)

(___a___________)                    Alec F. Stanculescu (Fintronic)

 

* indicates eligible to vote on consensus issues

 

 

Minutes

  • Review of minutes for the 01/06/03
    • Johny needs to change “2 stace” to “2 state”
    • John moves that we accept the minutes. Karen seconds. No opposed. No abstain. Meeting minutes pass
  • Review of minutes for the 01/15/03
    • Karen needs to correct the attendees list, to include Dan Jacobi
    • Fix 19-35 is similar to ETF 85
    • Karen moves that we accept the minutes w/ above fixes. Dan seconds. No opposed. No abstain. Meeting minutes pass
  • Karen proposed to have a second BNF specific meeting on Wed Jan 29th, 8:30-10:30 am PST – No opposed. No abstain. Pass.
    • Karen will setup logistics and send to everyone
  • Review of open action items (attached)
    • Open action items were reviewed. An updated open actions items list should be attached.
    • Discussed Gord initial draft on “Initial proposal for “granularity of resolution” wording”. It was decided that Gord will figure out where to put a note about the resolution being owned for @* in the ETF. Gord will also communicate the ETF resolution.
    • Gord will propose shortreal equivalents of $bitstoreal and $realtobits (SV-BC9-10) and incorporate Karen's language correcting the shortreal and 32 bit object conversions.
      • A proposal made. Karen seconds – no opposed, no abstain. Proposal Passes
    • Regarding auto-increment proposal made by Karen:
      • It was proposed that Johny and Karen will take the topic of removing assignments as expressions from the language, including i++, to SV chairs.
        • Cliff seconds. No opposed. No abstain. Passes. This will be taken to SV chairs
      • Assuming we are not successful to remove it from the language, Karen moves that we accept her language proposal. passes
      • Karen sent the language. Karen moves to accept the proposal, Johny Seconds.
    • the BNF committee will take care of 19-67