RE: [sv-cc] SV-CC Meeting minutes for 05/10/2005

Yes, you correctly changed the enclosure to solid.

One other thing we noted was the "refobj" in note 2
should be spelled "ref obj" instead.

One other thing that we _didn't_ notice is that "ref obj"
in the text box should be changed to normal instead of
italic font.  Since we didn't notice it during the meeting,
we may not be able to change it now, but I am including
Stu Sutherland on this since he has editorial discretion
in the use of fonts.

Regards,
Jim Vellenga

--------------------------------------------------------- 
James H. Vellenga                            978-262-6381 
Engineering Director                   (FAX) 978-262-6636 
Cadence Design Systems, Inc.         vellenga@cadence.com 
270 Billerica Rd 
Chelmsford, MA 01824-4179 
"We all work with partial information." 
---------------------------------------------------------- 
  
 

] -----Original Message-----
] From: owner-sv-cc@eda.org [mailto:owner-sv-cc@eda.org] On 
] Behalf Of Tapati Basu
] Sent: Tuesday, May 10, 2005 5:02 PM
] To: sv-cc@eda.org; Charlie Dawson
] Subject: Re: [sv-cc] SV-CC Meeting minutes for 05/10/2005
] 
] Hi all,
] 
] I am attaching the changed proposal for Mantis 606. I am  not 
] sure about 
] the comment : Friendly amendment to change enclosure to solid. 
] 
] Can anyone please review this attached diagram and let me know ? 
] 
] - Thanks,
] Tapati 
] 
] >X-Authentication-Warning: server.eda.org: majordom set sender to 
] owner-sv-cc@eda.org using -f
] >Date: Tue, 10 May 2005 16:41:57 -0400
] >From: Charles Dawson <chas@cadence.com>
] >User-Agent: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; 
] rv:1.0.1) Gecko/20020920 
] Netscape/7.0
] >X-Accept-Language: en-us, en
] >MIME-Version: 1.0
] >To: SV-CC <sv-cc@eda.org>
] >Subject: [sv-cc] SV-CC Meeting minutes for 05/10/2005
] >Content-Transfer-Encoding: 7bit
] >X-Received: By mx-sanjose.cadence.com as j4AKfwgt018780 at 
] Tue May 10 13:41:58 
] 2005
] >X-Virus-Scanned: ClamAV 0.83/875/Tue May 10 04:27:59 2005 on 
] server.eda.org
] >X-Virus-Scanned: ClamAV 0.83/875/Tue May 10 04:27:59 2005 on 
] server.eda.org
] >X-Virus-Status: Clean
] >X-pstn-levels: (S:99.90000/99.90000 R:95.9108 P:94.8683 
] M:99.4056 C:99.5902 )
] >
] >Minutes of 05/10/2005 SV-CC Meeting.
] >
] >ATTENDEES
] >000000000000000000000000000000000
] >555555555555555544444444444444444
] >000000000000000011111111111110000
] >555444444222111122222111100009999
] >100221100200211021100211022102211
] >064805185392692526581470360369250
] >xxxxxxxxxxxxxxxxx--xxxxxxxxxxxxxx Charles Dawson
] >xxxxxxxx-xxxxxxxxxxx-xxxxxxxxxxxx Francoise Martinolle
] >xxxx-xxxx-xxxxxxxxxxxxxxxxxxxxxxx Doug Warmke
] >xxxxxxxx-xxxxxxx-xxxxxxxxxxxxxxx- Ralph Duncan
] >----xxxxxxxx-xxxx-x-xxxxxxxxx-x-- Sachchidananda Patel
] >xx-xxxxxxxxxxxxxx-xxxxxxxxxxxxx-- Michael Rohleder
] >xxxx-xxxxxx-xx-xxxxxxxxxxxxxxx-x- Jim Garnett
] >xxxxxxxxxxxxxxxxxxxxxxxxxxxxx--x- Steven Dovich
] >xxxxxxxxxxxxxxxx--xxxxxxxxxxx-xxx Jim Vellenga
] >xxxxxxxxx------------------------ Rohit Rana
] >xx--x-xx----xx--x-xxxxxxxxxxx-xxx Bassam Tabbara
] >x----xxx---x--x-xx-xxx----------- Stu Sutherland
] >----x------xxxx---xxx-xxxxxxxxxxx Andrzej Litwiniuk
] >x-xx--xx------------------------- Tapati Basu
] >------x-------------------------- Ashish Naik
] >----------------x-xx--xxxxx-xxx-- John Stickley
] >------------xxxxx---x-xxxx-x-xxxx Ghassan Khoory
] >-------------x--xxxx--xxxxxxxxxxx Joao Geada
] >------------------x-x-xxxxxx--x-- Rob Slater
] >--------------------------------x Swapnajit Mitra
] >--------------------------------x Karen Pieper
] >------------------------------x-- Angshuman Saha
] >--------------------------x------ Kevin Cameron
] >------------------------x-------- Amit Kohli
] >-----------------------x--------- Surrendra Dudani
] >
] >1.  Reviewed Patent information.
] >
] >   - Charles Dawson reviewed the patent information.
] >
] >
] >2.  Reviewed minutes of the 05/06/2005 Meeting.
] >
] >   -  "- Item 686 32.34 & 32.36 Which operators for 
] assertion "and" and "or" in 
] VPI?"
] >      "   JimG." should be removed
] >   - Steve/JimV. ACCEPTED as amended (Stu abstained - was not there)
] >
] >
] >3.  Liaisons
] >
] >   - Karen sent list of callbacks that we need to review.
] >
] >
] >4.  New business
] >
] >   - Item 536
] >     - Chas double checked to make sure that there was not 
] issue with it.
] >     - Committee thinks it's okay to mark as Resolved.
] >
] >   - Item 732
] >     - Not a ballot comment: let's worry about it next time
] >     - Chas to update Karen.
] >
] >
] >5.  Reviewed of items with proposals.
] >
] >   - Item 257 No vpi access defined for enhanced for loops
] >
] >     Discussed.  Made changes.  Chas uploaded new file.
] >     Steve/JimV.  PASSED (unanimous)
] >
] >   - Item 294 32.22 Waiting process as task or function handle
] >     Move to make duplicate of 528.
] >     JimV/Steve.  PASSED (unanimous)
] >
] >   - Item 345 VPI changes to support Encryption
] >     Stu asked if there were any changes that needed to be in P1800.
] >     Add a comment at the end for what needs to be added in P1800.
] >     Michael would vote no on this without a minimum number 
] of envelopes
] >     being required.
] >     Francoise/Michael.  PASSED (unanimous)
] >     Steve to inform the encryption committee about our changes.
] >
] >   - Item 369 SystemVerilog VPI sections do not deal with generates
] >     Friendly amendment to make vpiTypeDef vpiTypedef.
] >     Francoise/Michael.  PASSED (unanimous) as amended.  
] Chas to update.
] >
] >   - Item 418 PTF 562 Need to have a vpiTimeConst in the 
] vpi_user.h file
] >     Francoise/Steve.  PASSED (unanimous)
] >
] >   - Item 426 29.3.2.1 Return value of 
] vpi_get_assertion_info() is backwards
] >     Declare as duplicate of 425. Michael/JimV. PASSED (unanimous)
] >
] >   - Item 445 Several Superseded sections missing information
] >
] >     Is it possible to have a program be in an instance 
] array?  Ask Francoise.
] >
] >     Michael moved to direct the editor to fix in 1364 those 
] items noted here.
] >     JimV seconds.  PASSED (unanimous)
] >
] >     32.28 we should leave the note for now, but is 
] questionable going forward.
] >     Friendly amendment to change xref in 32.27 note 9 to be 
] to 32.39.
] >     Friendly amendment to change xref in 32.7 "P1364 19.7"
] >     Michael/JimV.  PASSED (unanimous)  as amended.  Chas to update.
] >
] >   - Item 447 32.5 missing types for properties
] >     JimV/JimG.  PASSED (unanimous)
] >
] >   - Item 449 32.11 vpiPortType is missing from the include file
] >     Doug/Steve.  PASSED (unanimous)
] >
] >   - Item 454 32.11 incorrect format for the 2nd note
] >     Steve/JimG.  PASSED (unanimous)
] >
] >   - Item 458 32.13 Question on the range relation
] >     Tapati/JimV.  PASSED (unanimous)
] >
] >   - Item 463 32.16 should not perpetuate unused functionality
] >     Steve moves that we respond with:
] >       The proposed changes have merit but the scope is too 
] large to establish
] >       consensus during the balloting period.  We are referring this
] >       to be addressed in the next version of the standard.
] >     Michael.  PASSED (unanimous)
] >
] >   - Item 472 32.22 Note 1 needs clarification
] >     JimG/Tapati.  move to make duplicate of 528.  PASSED (unanimous)
] >
] >   - Item 481 32.26 Note 1 needs clarification
] >     Tapati/Michael. PASSED (unanimous)
] >
] >   - Item 483 32.28 Should document backwards compatibility issue
] >     Doug/Rohit move to declare as duplicate of 485.  PASSED 
] (unanimous)
] >
] >   - Item 484 32.28 and 32.29 Should not define callbacks in notes
] >     Tapati/JimV move to declare as not a bug.
] >     Withdrawn.
] >     Tapati/JimV move to respond with:
] >       The proposed changes have merit but the scope is too 
] large to establish
] >       consensus during the balloting period.  We are referring this
] >       to be addressed in the next version of the standard.
] >     PASSED (unanimous)
] >
] >   - Item 485 32.29 Clarify difference between a thread and a frame
] >     Doug/JimV.  PASSED (unanimous)
] >
] >   - Item 445 Several Superseded sections missing information
] >     Steve/Doug. Move to reconsider.  PASSED
] >     Friendly amendment to delete 32.28.
] >     PASSED (unanimous)
] >
] >   - Item 526 VPI references to dynamic objects prevent 
] garbage collection
] >     Steve/Rohit.  PASSED (unanimous)
] >
] >   - Item 606 32.30 Problems with data model for clocking blocks
] >     Friendly amendment to change "refobjs" to "ref obj" in 32.30.
] >     Friendly amendment to change enclosure to solid.
] >     Friendly amendment to make note 2 match the object names.
] >     Friendly amendment to change note 2 from
] >       The relation vpiExpr will return ...
] >     to
] >       vpiExpr shall return ...
] >
] >     Change:
] >       Here "enable" will be represented by a clocking 
] iodecl and vpiExpr 
] relation
] >       will return a handle to "top.mem1.enable".
] >     to
] >       Here "enable" is represented by a clocking io decl 
] and vpiExpr returns
] >       a handle to "top.mem1.enable".
] >     Stu (as Michael)/Steve. PASSED (unanimous) as amended.
] >     Tapati to upload new proposal with friendly amendments.
] >
] >   - Item 684 32.39 vpiMultiConcat should be vpiMultiConcatOp
] >     Francoise/JimG.  PASSED (unanimous)
] >
] >   - Item 685 26.6.26 vpiMultiConcat should be vpiMultiConcatOp
] >     Doug/Steve.  PASSED (unanimous)
] >
] >   - Item 686 32.34 & 32.36 Which operators for assertion 
] "and" and "or" in 
] VPI?
] >     Stu/JimG.  PASSED (unanimous)
] >
] >   - Item 706 assignment pattern allowed as lvalues
] >     Francoise moves to close as NOT A BUG.  Tapati. PASSED 
] (unanimous)
] >
] >   - Item 717 assignment patterns can be lvalue according to 623
] >     Francoise moves that we declare this a duplicate of 706.  Rohit.
] >     PASSED (unanimous)
] >
] >   - Item 718 asymetric casex statement
] >     Fracnoise/JimV.  PASSED (unanimous)
] >
] >   - Item 721 Add PLI support for structure and type initialization
] >     Friendly amendment to add "see to the xref".
] >     Friendly amendment to remove "or implicit" from note.
] >     JimV uploaded a new proposal.
] >     Francoise/JimV.  PASSED (unanimous)
] >
] >   - Item 726 Add vpiAssertion object type into sv_vpi_user.h
] >     Stu suggests using 708 as #define.
] >     JimV/Stu.  PASSED (unanimous)
] >
] >   - Item 719 Enhance VPI to support data types as 
] "type(expression) or 
] type(datatype)"
] >     Francoise/Ralph.  PASSED (unanimous)
] >
] >   - Item 480 32.26 use of vpiRefObj here but not in 32.12
] >     Did we declare this one as NOT A BUG?
] >
] >   - Item 729
] >     - Taken care of by 369.
] >
] >   - Item 708
] >     - Chas to send Karen a note saying we are okay with this change.
] >
] >   - Item 712
] >     - Chas to send Karen a note saying that we are okay 
] with this change.
] >     - Chas can comment on the use of the term "user".
] >
] >   - Item 711
] >     - Chas to send Karen a note saying that we are okay 
] with this change.
] >     - Chas can comment on the use of the term "user".
] >
] >   - Item 709
] >     - We have no callback in the preponed region.  Stu 
] moves that we tell
] >       the champions/karen that we do not have a callback in 
] this region and 
] would
] >       prefer that these sentences be struck.
] >       Jimv seconds.  PASSED (unanimous)
] >
] >
] >       SV-CC committee recommends that an informative note 
] be added that says
] >       there currently does not exist a callback which 
] occurs during the 
] preponed
] >       region.
] >
] >   - Item 710
] >     - After lengthy discussion, Chas and Stu took an action 
] to write a 
] proposal
] >       on cleaning up the text in 15.3.  It will be sent out 
] shortly.  Must 
] have
] >       an email vote which completes by 10am tomorrow.  If 
] Chas receives enough
] >       ballots by then to reach a majority, then he will 
] pass this item on to
] >       the Champions.
] >
] >Meeting ended at 4:06pm EDT.
] >
] >
] >6.  Old Business
] >
] >   SV-CC action items:
] >   - Francoise to ask Peter Ashenden what was done to improve
] >     printing from Rational Rose.
] >   - Francoise to inquire about the feasibility of third parties
] >     shipping the UML for the diagrams.
] >   - JimV to enter a new SV-CC item for adding tables for 
] return values of
] >     the properties.
] >   - Stu to file new SV-CC item that will address bigger 
] issue he pointed
] >     out in Item 321.
] >   - Francoise and Chas to investigate what to do for 
] systemVerilog and 
] generates
] >   - Chas/Francoise to review/change proposal for Item 455.
] >   - Chas to redo proposal for Item 463.
] >   - Francoise to clarify definition of frames for Item 465.
] >   - Chas to lookup definition of vpiFullName in 1364 for Item 610.
] >   - Sachi to rework proposal for Item 482.
] >   - Chas to review assignments and redo where necessary.
] >   - Tapati to rework Item 606.
] >   - Chas to update proposal for Item 425.
] >   - Ralph to work with JimV to fix other issues found in Item 487.
] >   - Francoise to rework Item 489.
] >   - Francoise and Jim to rework Item 465.
] >   - Tapati to provide HTML or PDF for Item 496.
] >   - Chas to update Karen and Champions on decisions made by 
] SV-CC for the
] >     following Mantis Items:  732 729 712 708 711 709
] >   - Chas/Stu to send out proposal for Item 710.
] >   - Steve to update Encryption committee on our change to 345.
] >   - Chas to update proposal for 369.
] >   - Chas to update proposal for 445.
] >   - Tapati to update proposal for 606.
] >
] >   PTF action items:
] >   - Steve to compare BNF with the access available
] >     for attributes to see if they match
] >   - Stu to enter new PTF item for save/restart/reset issue.
] >   - Francoise to lookup wording for PTF 524 in VHPI.
] >   - Francoise will open a new PTF issue to look for 
] situations like 25.6.15,
] >     where multiple methods are used access the same object enclosure
] >   - Chas to reword proposal for PTF 525.
] >   - Francoise to file a PTF item that asks to specify the 
] order that iteration
] >     occur in, when the order is important.
] >   - Steve to add ETF item for Annex C to remove the 
] Informative label, but
] >     still allow the contents to be optional.
] >   - Chas to file an Item on the usage of the term "tags" at 
] the beginning of
] >     clause 27.
] >
] >7.  Action items
] >
] >
] >8.  Items for consideration at the next meeting (they 
] already have proposals):
] >
] >None!
] >
] >
] >--
] >Charles Dawson
] >Senior Engineering Manager
] >NC-Verilog Team
] >Cadence Design Systems, Inc.
] >270 Billerica Road
] >Chelmsford, MA  01824
] >(978) 262 - 6273
] >chas@cadence.com
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] >
] 
] Tapati Basu
] 
] 
]