Subject: Re: [sv-ec] Editor's notes
From: Stuart Sutherland (stuart@sutherland-hdl.com)
Date: Tue Apr 22 2003 - 18:16:21 PDT
Arturo,
I am now fine with leaving the final block where it is, and referring to it
as a "block". What confused me was the response to the editor's note
saying that final is a "statement". To me, that indicated it could not
contain multiple statements, as a block can. Since the final can have a
begin-end and contain multiple statements, I feel "block" is the correct
term. It would not hurt to add an explanation in 8.7 that the final block
does not execute as a separate process (thread?) the way an initial does,
because the final block must execute in zero time, the same as a function
call. The details are there in the section already, but the distinction
between final and initial was not apparent to me, at least.
Stu
At 06:02 PM 4/22/2003, Arturo Salz wrote:
>Stu,
>
>The final block is just like the initial or always blocks. Therefore, it
>needs a begin..end to include more than one statement. However, the final
>block can not contain blocking statements or delays (it cannot include a
>fork..join). The contents of a final block are just like a function's.
>If your problem is with the word "block" and would like to change it to
>"statement", I think you'd have to change the rest of the LRM to be
>consistent with initial and always, which have the same syntactic form,
>and the LRM refers to them repeatedly as blocks.
>
> Arturo
>
>----- Original Message -----
>From: <mailto:stuart@sutherland-hdl.com>Stuart Sutherland
>To: <mailto:david.smith@synopsys.COM>David W. Smith ;
><mailto:sv-ec@eda.org>sv-ec@eda.org
>Sent: Tuesday, April 22, 2003 4:11 PM
>Subject: Re: [sv-ec] Editor's notes
>
>I am concerned with the following "fix" to my editor's note:
>-----------------------
>LRM-276
>SV-EC
>8.7 Page 60
>
>Editor s Note: This seems out of place in this section on procedural
>statements. It should be moved to section 9.9.
>
>RESPONSE:
>The editor s note is an interesting comment.
>The final block is a statement, but it does not create a process (as
>intial and always blocks do). Therefore, it would seem appropriate to
>leave final block in the Section on Procedural Statements and Control Flow
>. Unfortunately there is a statement in 9.1 that discusses final blocks
>that must be moved to Section 8.1 or else it does not make sense.
>
>Done: Move last paragraph of 9.1 to 8.1.
>-----------------------
>If the final keyword is a statement, then calling it a "block" will only
>serve to confuse other Verilog literate users as it did--and still
>does--me. By calling it a block, I can only assume that a "final" can
>contain a begin-end or fork-join with multiple statements. Or that
>perhaps it is a like a specify "block" that can contain multiple
>declarations without a begin end. If my interpretation is incorrect, and
>the "final" can only be followed by a single item, then it is NOT a
>"block". If final is a "statement", as noted in the response to the
>editor's note, then the LRM needs to be changed to call it a statement,
>not a block.
>Stu
>
>At 03:19 PM 4/22/2003, David W. Smith wrote:
>>Here are Arturo's responses to Editor's notes plus changes. I have made
>>the changes to the associated LRM issues and will post this evening.
>>
>>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: <mailto:david.smith@synopsys.com>david.smith@synopsys.com
>>http://www.synopsys.com
>>
>
>~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
>Stuart Sutherland Sutherland HDL Inc.
>stuart@sutherland-hdl.com 22805 SW 92nd Place
>phone: 503-692-0898 Tualatin, OR 97062
>www.sutherland-hdl.com
>~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Stuart Sutherland Sutherland HDL Inc.
stuart@sutherland-hdl.com 22805 SW 92nd Place
phone: 503-692-0898 Tualatin, OR 97062
www.sutherland-hdl.com
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
This archive was generated by hypermail 2b28 : Tue Apr 22 2003 - 18:19:22 PDT