RE: [sv-bc] 10.8 Named blocks and statement labels - question

From: Jonathan Bromley <jonathan.bromley_at_.....>
Date: Thu Feb 09 2006 - 10:17:35 PST
> I interpret 
> 
> label: statement
> 
> to be 
> 
> begin : label
> 	statement
> end : label

Does the label on a simple procedural statement really put that
statement in a new named scope?  I can't find a decision in
the LRM, although that doesn't mean I haven't missed it.

For example, I think users might find this surprising,
whichever way the decision goes...

  always @(e)
    outer_label: while (test)
      begin : inner_label
        int V;
        ...
      end : inner_label
  // which of the following is right?
  initial #10 inner_label.V = 5;
  initial #10 outer_label.inner_label.V = 5;

-- 
Jonathan Bromley, Consultant

DOULOS - Developing Design Know-how
VHDL * Verilog * SystemC * e * Perl * Tcl/Tk * Project Services

Doulos Ltd. Church Hatch, 22 Market Place, Ringwood, Hampshire, BH24 1AW, UK
Tel: +44 (0)1425 471223                   Email: jonathan.bromley@doulos.com
Fax: +44 (0)1425 471573                           Web: http://www.doulos.com

This e-mail and any  attachments are  confidential and Doulos Ltd. reserves 
all rights of privilege in  respect thereof. It is intended for the use of 
the addressee only. If you are not the intended recipient please delete it 
from  your  system, any  use, disclosure, or copying  of this  document is 
unauthorised. The contents of this message may contain personal views which 
are not the views of Doulos Ltd., unless specifically stated.
Received on Thu Feb 9 10:17:40 2006

This archive was generated by hypermail 2.1.8 : Thu Feb 09 2006 - 10:17:44 PST