Subject: Re: [sv-ec] Editor's notes
From: Arturo Salz (Arturo.Salz@synopsys.com)
Date: Tue Apr 22 2003 - 18:02:35 PDT
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: Stuart Sutherland
To: David W. Smith ; 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: 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
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
This archive was generated by hypermail 2b28 : Tue Apr 22 2003 - 18:05:47 PDT