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.comReceived on Tue May 10 13:42:03 2005
This archive was generated by hypermail 2.1.8 : Tue May 10 2005 - 13:42:10 PDT