[sv-ec] Minutes of 3-15-2004 meeting

From: David W. Smith <dwsmith@synopsys.com>
Date: Thu Mar 18 2004 - 14:00:10 PST

Greetings,

Attached are the minutes from this Monday's meeting.

 

Regards

David

 

David W. Smith

Synopsys Scientist

 

Synopsys, Inc.

Synopsys Technology Park

2025 NW Cornelius Pass Road

Hillsboro, OR 97124

 

Voice: 503.547.6467

Main: 503.547.6000

FAX: 503.547.6906

Email: david.smith@synopsys.com

http://www.synopsys.com <http://www.synopsys.com/>

 

 

SV-EC Meeting Minutes

15 March 2004 11:00 am. Monday

 

(rrrrrrrrrrxrxrxrrrrrrr)

Voting Members (3/4 or > 75%)

(aaaaaaaaaaaaaaaaaaaaaa) Arturo Salz (Synopsys)

(-aaaaaaaaaaaa-aaaa-aaa) Brad Pierce (Synopsys)

(aaaaa-aaaa-aaaaaaa-aaa) Dave Rich (Synopsys)

(aaaaaaaaaaaaaaaaaaaaaa) David Smith (Synopsys)

(-aaa-aaa-a-aap-p-aa---) Dennis Brophy (ModelTech)

(aaaaapaaaaaa-aaaaa-a-p) Jay Lawrence (Cadence)

(aaa-aaaaaaaaaaaaaaaaaa) Michael Burns (Motorola)

(-aaaaaaaaaaaaaaaaaaaaa) Mehdi Mohtashemi (Synopsys)

(aa-aaaaaaaaaaaaaaaaa-a) Neil Korpusik (Sun)

(--aaaaaaaaaaaaa--aaaaa) Ray Ryan (ModelTech)

 ||||||||||||||||||||||_ 15 March

 |||||||||||||||||||||__ 1 March

 ||||||||||||||||||||___ 2 February

 |||||||||||||||||||____ 21 January

 ||||||||||||||||||_____ 5 January

 |||||||||||||||||______ 15 December

 ||||||||||||||||_______ 8 December

 |||||||||||||||________ 1 December

 ||||||||||||||_________ 24 November

 |||||||||||||__________ 17 November

 ||||||||||||___________ 11 November

 |||||||||||____________ 3 November

 ||||||||||_____________ 27 October

 |||||||||______________ 20 October

 ||||||||_______________ 13 October

 |||||||________________ 29 September

 ||||||_________________ 15 September

 |||||__________________ 2 September

 ||||___________________ 18 Aug

 |||____________________ 4 Aug

 ||_____________________ 21 July

 |______________________ 7 July

 

Non-Voting Members (attendance based)

(------a---------------) Chris Spear (Synopsys)

(--aaaa-aaa---a-aaa----) Cliff Cummings (IEEE 1364)

(-------------s-s------) Doug Warmke (ModelTech)

(-----s---------------s) Francoise Martinolle (Cadence)

(--a-aaa-a-------------) Jeff Freedman (ModelTech)

(-----------a----------) Peter Flake

(---------------a------) Ron Goodstein (First Shot Logic Simulation and Design)

(---a-----------aa--aa-) Stefen Boyd (IEEE 1364)

(-a---a----------aa----) Stu Sutherland (IEEE 1364)

 

Guests (non-voting)

(--a-a-a----------a----) Don Mills (LCDM Engineering)

(-----a----------------) James Young (HP)

(-a--------------------) Kevin Cameron (National)

 

r => Regular meeting

x => Extra meeting (Presence counts for attendance, absence does not)

 

a => Attended

p => Attended by proxy

s => Attended as proxy

- => Missed

 

Action Items:

    [identified with AI (#) in this text, # refers to AI number]

    Added this week (please see the site for existing action items):

 

Minutes 3/15/04 taken by Mehdi Mohtashemi

 

1. Review of the meeting minutes

    http://www.eda.org/sv-ec/Minutes/SV-EC-Minutes-2004-March-1.txt

 

    Motion: Accept Minutes of 1 March

    Moved: Ray

    Second: Mehdi

    Abstain: Francoise (not present), Neil (not present)

    Opposed: None

    Passed

    

2. Review Errata list

 

    ERR-79 (Neil) draft 5 acknowledgement section

      Neil: Minor corrections for wording. It seems it is corrected.

      Motion: Accept ERR-79

      Moved: Neil

      Second: Arturo

      Abstain: Michael (not looked at)

      Opposed: None

      Passed

    

    ERR-80 (Brad) A few typos and editorial issues

      Motion: Accept ERR-80

      Moved: Brad

      Second: Michael

      Abstain: None

      Opposed: None

      Passed

    

    ERR-81 (Brad) Constraint block BNF fixes

      Brad: In As-11, operator... (description of fixes followed).

      Motion: Accept ERR-81

      Moved: Brad

      Second: Arturo

      Abstain: None

      Opposed: None

      Passed

      

    ERR-82 (Surrendra) Sequence events and expect stmt errata

      Arturo: Maket this section consistent with changes for the assertion

          language descriptions. Sequence instead of sequence expression,

          given vs. specified. Removes many repetitions, narrows it down,

          gets rid of redundant statements.

      Neil: What is the last red?

      Arturo: Strike of a command and replace by ;

 

      Motion: Accept ERR-82

      Moved: Arturo

      Second: Neil

      Abstain: None

      Opposed: None

      Passed

      

    ERR-83 (Brad) Synchronous drive BNF

      Brad: It is about clocking, changes for clockvar, etc.

 

      Motion: Accept ERR-83

      Moved: Brad

      Second: Arturo

      Abstain: None

      Opposed: None

      Passed

      

    ERR-84 (Arturo) Some simple fixes

      Dave: Two simple typos, one wrong variable name. The other task

          argument example needed fixed and there was a cut and paste error.

 

      Motion: Accept ERR-84

      Moved: Dave

      Second: Michael

      Abstain: None

      Opposed: None

      Passed

 

    ERR-85 (Michael) $fatal/$finish/$exit proposed changes

      David: Michael sent these out at the start of the meeting.

      Michael: More clarity when final block executes, implicit execution of

          $finish. One issue in 18.7, it is done in other parts of LRM.

          First change, description in detail when final block executes. In

          16.6.1 added some text. Section 17.2, description is removed in

          the error-system call. In section 23.8, assertions for system

          tasks, added some text.

      Dave: Change in section 16.6.1, Each program will be explicitly exited

          instead of finished.

      David: Two proposed modification to the changes.

      Michael: The reference algorithm does not say what should be done when

          we run out of events. I did not address it in here. Perhaps

          some others to look at it.

      Brad: Is this a 1364 issue?

      Francoise: PLI could create some events.

      David: Yes, you can create that.

      Francoise: Even in the Gui, user can change value and create an event.

      Michael: In that case when would the final block run.

      David: you have to do explicit call to $finish or $exit.

      Neil: The way it is written, is that final will exectue when there is

          no event in the the event queue.

      Michael: In the original 8.7, one of the conditions is that event

          queue runs out of event. There maybe usage model that empty event

          queue means that we are done.

      David: The case with Analogue simulator running, and digital not.

      Francoise: The analogue kernel may not be the cause of PLI. If

          interactive simulation, the stop is at the gui prompt, waiting

          for user input, is this in the event.

      David: Can be implementation dependent. Then if that is the case, an

          explicit call to $finish/$exit has to be called.

      Arturo: The pseudo code does mention it but the actual statement does

          not say it.

      David: The original in 8.7, the correction by Michael then makes it

          more clear. Any suggestion to change what Michael has sent and the

          two corrections we discussed.

      Francoise: Was one of the corrections that $exit is not called when

          there is no event in the queue.

      David: No, the two were, the other one, when all programs exite

          (explicitly or implicitly). The rest of discussion was on the

          observation.

      Arturo: There is a persistent event with the PLI calls.

 

      David: It would be possible to create an environment that would not

          exit when there are no more events.

 

      David: The modifications are:

          Each program can be explicitely exited by calling ..

 

          When all programs exit (explicitely or implicitely), the

            simulation ...

 

      Motion: Accept ERR-85 with above modifications.

      Moved: Michael

      Second: Arturo

      Abstain: None

      Opposed: None

      Passed

 

    ERR-86 (Brad)

      David: One other issue came up by email from Jamie this morning.

      Arturo: I think that is not an intentional limitation. Assign new to

          array elements. The only one that maybe is heirarchical.

      Brad: You would say, must it be identifier, could it be an expression

          that returns a field of struct.

      Arturo: It can be an expression.

      David: It may require an Errata for this.

      Brad: It could be something in parenthesis.

      Arturo: Is that a valid LHR expression.

      David: We have an Errata-86.

      Brad: In blocking assignment (in Syntax 8-2 (Section 8.3) and in Section

          A.6.2) replace

            class_variable_identifier = class_new

          with

            [ implicit_class_handle.| class_scope | package_scope ]

                heirarchical_variable_identifier select = class_new

 

      Motion: Accept ERR-86 with above proposal

      Moved: Brad

      Second: Arturo

      Abstain: None

      Opposed: None

      Passed

 

3. LRM Vote

    Complete vote on LRM technical approval

      Cadence - yes (Francoise for Jay)

      Sun - yes (Neil)

      Synopsys - yes (Mehdi)

      Motorola - yes (Michael)

      Mentor Graphics - yes (Ray)

 

      3.1a is passed and approved to go to the board.

 

Verified Brad 3/12/2004

4. Meeting logistics

    David: We are transitioning to doing just errata. I will call a meeting in

      the middle of April.

      Thanks to everyone for your work on 3.1a and our successful conclusion.

 

5. Meeting adjourned at: 12:00 noon.

Received on Thu Mar 18 14:01:26 2004

This archive was generated by hypermail 2.1.8 : Thu Mar 18 2004 - 14:02:13 PST