Unapproved minutes of the SV-XC Committee Meeting Date: Wednesday, June 13, 2007 Time: 08:00am - 10:00 am PST Attendees ------------------------------------------------ 0000000000011 6554433221122 1311020202120 3068417074006 0000000000000 7777777777766 ------------------------------------------------ -pppp--pppp-p Somdipta Roy (TI) ppppppppppppp Logie Ramachandran (Synopsys) p-pp-ppp-pppp Ulli Holtmann (Synopsys) -p-pp-pp-pppp Tapan Halder (Synopsys) p---pp--ppppp Bob Shur (Cadence) --------pp--p Rob Slater (Freescale) p---ppppppppp Arnab Saha (Mentor) p-pp-pppp-p-p John Shields (Mentor) pp---pppppppp Amit Kohli (Cadence) pppppppp-pppp Kathy McKinley(Cadence) -----------pp Scott Cranston(Cadence) --p-p-ppp-p-p Kevin Camaron(Sonics) ------------p Michael Williams (Cadence) ------------p Sudip Chakrabarti (Synopsys) -----------p- John Stickley (Mentor) -ppp--p-pppp- NS Subramanian (Cadence) ---p------p-- Geoffrey Coram (Analog Devices) -p-p---ppp--- Nitin Khurana (Cadence) p-p-pppppp--- Micheal Rohleder (Freescale) ------p-pp--- Don Ticarich(Sonics) ------p------ Thanapoom Lertpanyavit(Intel) pp----------- Rudra Mukherjee (Mentor) pp----------- Hassan Shahab (Intel) Agenda + Review IEEE patent policy http://standards.ieee.org/board/pat/pat-slideset.ppt (Vote) Bob moves it has been read. Kathy seconds. No objections. No abstains. Motion passes + Review minutes of the May 30, 2007 meeting http://www.eda-stds.org/sv-xc/hm/0172.html (Vote) Kathy moves that the minutes be approved. Bob seconds.. No objections. No abstains. Motion passes + Binding Committee reviewed the strong and weak typing rules across languages. - Committeem members discussed the first paragraph under "Implications of Typing Rules" needs further elaboration. The package requirements needed further discussion. - (John) Package is a conceptual model that enables the sharing of types across languages. - (John) Package can hold the definition of the types and be imported across the languages. - (Bob) Enforcing a single definition rule would be impossible for SystemC since the definitions would have to go through C++ compiler. - (Kathy) Duplicate definitions of types should be allowed across multiple languages. - (Straw Poll) - Acceptance of current proposal for compatible types. Bob/Michael wanted further email discussion before acceptance. (A/I Michaeal/Bob) to post questions on types for further discussion. Acceptance vote will be scheduled for next meeting - John reviewed his writeup on Libraries and Compilation Order http://www.eda-stds.org/sv-xc/hm/0098.html - Definition of library - Logical collection of design units that is suitable for - sharing across users - inputs to a compiler. - SystemC does not have a concept of libraries. - (Vote) Kathy moves we accept the requirements as stated in http://www.eda-stds.org/sv-xc/hm/0098.html John seconds. No objections. No abstains. Motion passes - Kathy suggested that we should have additional requirements for opaque connections. (A/I John)will come up with requirements for opaque connections - John proposed the need for object kind compatibility (wires/variables/signals) requirements (A/I Kathy) will come up with requirements for object kind compatibility + Adjournment motion Bob moves that we adjourn, Kathy seconds ------------------------------------------------------------------------ - + Additional information: 1. Committee website: http://www.eda-twiki.org/sv-xc 2. Survey for users : http://www.eda-twiki.org/sv-xc/otherdocs/survey1.0.txt ------------------------------------------------------------------------ - -------------------------------- Loganath Ramachandran Director, R&D Verification Group, Synopsys Mountain View, CA 94043 Ph: 650-584-4891 Em: logie@synopsys.com -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Wed Jun 13 15:59:20 2007
This archive was generated by hypermail 2.1.8 : Wed Jun 13 2007 - 15:59:22 PDT