Subject: Re: [sv-ec] Agenda for meeting on 24 March 2003
From: Arturo Salz (Arturo.Salz@synopsys.com)
Date: Mon Mar 24 2003 - 10:40:51 PST
Neil,
Thanks for the comments.
See my comments in blue.
Arturo
----- Original Message -----
From: "Neil Korpusik" <Neil.Korpusik@eng.sun.com>
To: <sv-ec@eda.org>
Sent: Saturday, March 22, 2003 8:45 PM
Subject: Re: [sv-ec] Agenda for meeting on 24 March 2003
I noted the following items in the sections for the 3/24/03 meeting.
CH119
a. Section 12.7.1 wait_order(), 4th paragraph, begins with "The action taken.."
The else statement is referred to as the fail statement. Didn't we
reverse this in the ASWG such that the first statement is the fail
statement?
I do not believe that is the case. That may have been the case for the "catch"
operator, but that has been dropped. However, we have already agreed that
the semantics should be the same as for assert, and if assert has changed
that then we'll change it here too.
CH121
a. Section 20.9
I might be wrong, but I thought there was more disagreement on this
section in the last meeting than is reflected here.
I believe that after the discussion we agreed that this was OK since it means
the same thing in constraints and assertions.
b. Section 13.2, last sentence
The wording here isn't quite right.
"Unless a hierarchical_expression is used, both the signal and the
clocking domain name shall be the same."
It isn't the name of the clocking domain itself that is the same, rather
it is the name of the clocking_item that will be the same as the signal
name.
"Unless a hierarchical_expression is used, both the signal and the
clocking_item names shall be the same."
You are correct. We should change it as indicated by Neil. There is another
previous change that got lost here, anonymous was changed to unnamed.
c. Section 13.14, examples
Shouldn't all of these be using <= in place of =? (see CH113)
d. Section 5.3
"The arguments to the new method must be constant literals."
Aren't expressions also allowed? (see text of 5.3 in LRM).
Yes, absolutely.
I had a few minor wording corrections:
CH119
1. Section 12.6, 3rd paragraph, next to last sentence
In this section of the sentence "...or use the wait()..." get rid of the
word 'use'.
OK.
2. Section 12.6.3, 3rd paragraph, 2nd sentence
"The trigger property..." could be re-written to be
"The triggered event property..."
It reads that way now.
3. Section 12.6.3
There are a couple of words that got hyphenated in the previous writeup.
They now need to be un-hyphenated.
synchro-nization
exam-ple
It reads that way now.
4. Section 12.8.1
exam-ple
It reads that way now.
CH122
1. Section 5.4
expres-sions
It reads that way now.
> X-Unix-From: david.smith@synopsys.com Thu Mar 20 16:58:21 2003
> From: "David W. Smith" <david.smith@synopsys.com>
> To: <sv-ec@eda.org>
> Subject: [sv-ec] Agenda for meeting on 24 March 2003
> Date: Thu, 20 Mar 2003 16:58:27 -0800
> MIME-Version: 1.0
> X-Priority: 3 (Normal)
> X-MSMail-Priority: Normal
> Importance: Normal
> X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106
>
> There will be the normal meeting for the SV-EC committee from 11:00am until
> 2:00pm PDT on Monday 24 March 2003.
>
> Dial in Information
>
> * PARTICIPANT CODE: 516134
> * Toll Free Dial In Number: (877)233-7845
> * International Access/Caller Paid Dial In Number: (505)766-5458
>
> Agenda
>
> 1, Review minutes from the 14 March meeting and approve
> 2. Review and approve changes
> CH-119
> CH-121
> CH-122
> 3. Review CH-120 for consistency
> 4. BNF discussion (assuming there is any feedback)
> 5. LRM edit review
> 6. Meeting schedule
>
> Note: All issues have been closed, all cross-committee requests have been
> satisfied, most action items (all except for AI-6, AI-7, AI-53, AI-59, and
> AI-75) are complete, and all extensions have been completed.
>
> A copy of the LRM is available on the SV-EC web site (www.eda.org/sv-ec).
>
> Please review the information available on the website:
>
> <http://www.eda.org/sv-ec> http://www.eda.org/sv-ec.
>
> The documents, minutes, issues list, and enhancement lists are all available
> there.
>
> 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
>
This archive was generated by hypermail 2b28 : Mon Mar 24 2003 - 10:38:40 PST