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

From: Tapati Basu <Tapati.Basu_at_.....>
Date: Tue May 10 2005 - 14:01:31 PDT
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


Received on Tue May 10 14:01:49 2005

This archive was generated by hypermail 2.1.8 : Tue May 10 2005 - 14:01:52 PDT