Minutes of the December 5, 2003 SV-BC Meeting (Design Modeling Committee)


021121211   Day
547073958
111111000   Month
211100998
000000000   Year
333333333

-----------a Tom Kiley           - Mentor
aa-aaaa--aaa Matt Maidment       - Intel
a-aaaaaaaaaa Brad Pierce         - Synopsys
aaaaaaaaaa-a Karen Pieper        - Synopsys
-a-aaaa---aa Johny Srouji        - Intel
-a--aa-aaaaa Dan Jacobi          - Intel
aaaaaaaaaaaa Dave Rich           - Synopsys
-aaaa-aa-aaa Francoise Martinolle- Cadence
-a-aaaa-aa-a Jay Lawrence        - Cadence
----aaaaaaa- Dennis Brophy       - Mentor
-------a--a- Vassilios Gerousis  - Infineon
-aa-aa-aaa-- Cliff Cummings      - Sunburst Design
aaaaaaaaaa-- Mark Hartoog        - Synopsys
------a--a-- Don Mills           - LCDM Engineering
a-aa--aa---- Doug Warmke         - Mentor
aaaaaaaa---- Rishiyur Nikhil     - Bluespec
---a-a-a---- Stu Sutherland      - Sutherland HDL-
aa-aaa------ Peter Flake         - Synopsys


Meeting Minutes:
================
Dave moves that we accept the minutes of 11/24/03.  Nikhil seconds.
No opposed.  Brad abstains.  Passes.



____________________
New action items
____________________


Karen: Open new issue to unify the syntax of task/function calls,
       module/interface/program instantiations, sequences, properties,
       coverage groups, etc.


Brad: Open SV-EC erratum/proposal about the use of void' cast without
      parens in the example of 12.11.2


Brad: Make an SV-EC erratum/proposal about the testbench BNF portions
      of
http://www.eda.org/sv-bc/hm/att-1275/01-declarations_for_loops_and_examples.
htm


Dave: Post revised version of proposal for SV-BC 53, incorporating feedback
      from today's discussion.


Karen: Open SV-BC issue for David Smith's separate compilation proposal in


          http://www.eda.org/sv-bc/hm/1329.html


Nikhil: Post a revised version of tagged union proposal of SV-BC 71.


Dave:  Make proposal to clarify casting.


Dave:  Forward any mail that was reflected from Saturday to Tuesday but was
       not archived because of the eda.org disk crash.


Dave:  Make proposal for SV-BC 100.


Karen: E-mail to Johny with request that the discussion topics at next
       meeting include at least SV-BC 53, David Smith's separate 
       compilation proposal, and SV-BC 71.


Everybody: Look over outstanding open issues and see if there are any that
       cannot reasonably be delayed until the next release.

____________________
Issues
____________________


137:  Brad moves to close as a duplicate of issue SV-BC 81.
      Dave seconds.  No opposed.  No abstains.  Passes.


75:  Nikhil moves to add the following text at the end of Section 20--


        In a list of parameters, a parameter can depend on earlier
        parameters. In the following declaration, the default value
        of the second parameter depends on the value of the first
        parameter. The third parameter is a type, and the fourth parameter
        is a value of that type.


       module mc # (int N = 5, M = N*16, type T = int, T x = 0)
       ( ... );
       ...
       endmodule


    (The 'module', 'int', 'type' and 'endmodule' keywords should be bold.)


    Peter seconds.  No opposed. No abstains.  Passes.


128: Brad moves to approve


          http://www.eda.org/sv-bc/hm/att-1243/01-lists_of_arguments.htm


     Nikhil seconds.  No opposed. No abstains. Passes.


129: Brad moves to approve the following


             In A.2.4, in variable_decl_assignment, REPLACE


               constant_expression


             WITH


               expression



     Dave seconds. No opposed. No abstains. Passes.


130: Brad moves to approve


         http://www.eda.org/sv-bc/hm/att-1255/01-empty_tf_port_lists.htm


     Doug seconds.  No opposed.  No abstains.  Passes.


131: Karen moves to send this issue to the SV-EC.  Brad seconds.
     No opposed.  No opposed.  No obstains.  Passes.


132: Peter moves to approve


         http://www.eda.org/sv-bc/hm/att-1257/01-timeunits_declaration.htm


     Dave seconds.  No opposed.  No abstains.  Passes.


139: Dave moves to approve


         http://www.eda.org/sv-bc/hm/att-1308/01-inside.pdf


     Nikhil seconds.  No opposed.  No abstains. Passes.


133: Dave moves to close 133 as superceded by SV-BC 139.
     Brad seconds. No opposed.  No abstains.  Passes.


135: Brad moves to approve


         http://www.eda.org/sv-bc/hm/att-1334/01-SV-BC-135_final.htm


     Dave seconds.  No opposed.  No abstains.  Passes.


134: Karen moves to send this issue to SV-EC.  Dave seconds.
     No opposed.  No abstains. Passes.


136: Brad moves to approve


         http://www.eda.org/sv-bc/hm/att-1302/01-vsg_3_corrected.htm


     Matt seconds.  No opposed.  No abstains.  Passes.


140: Dave moves to delay issue until next release.
     Brad seconds.  No opposed.  No abstains.  Passes.


82: Dave moves to approve


       http://www.eda.org/sv-bc/hm/1321.html


    Matt seconds.  No opposed.  No abstains.  Passes.


53: Extended discussion of existing proposal in


       http://www.eda.org/sv-bc/hm/att-1330/01-arrayq_v2.pdf


    tabled until next meeting because time ran out.


Our next meeting is 12/08/03 at 9am Pacific.