Re: [sv-ec] Editor's notes


Subject: Re: [sv-ec] Editor's notes
From: Arturo Salz (Arturo.Salz@synopsys.com)
Date: Tue Apr 22 2003 - 19:04:28 PDT


Stu,

Good point. I'll write the explanatory note for the final block. I don't know if David will be able to get it in (we are now officially past the deadline).

    Arturo

----- Original Message -----
From: Stuart Sutherland
To: Arturo Salz ; David W. Smith ; sv-ec@eda.org
Sent: Tuesday, April 22, 2003 6:16 PM
Subject: Re: [sv-ec] Editor's notes

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: 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
  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
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 - 19:07:38 PDT