RE: [sv-bc] Proposal on striking the 2 paragraphs

Ahhh, but since most always statements are of the form "always @( )",
they will stop at the @() without doing anything and wait for an event
before doing anything.

Shalom


On Wed, 13 Apr 2005, Mark Hartoog wrote:

> > You again talk about having variables be initalized in a 
> > deterministic way.
> > I have no argument with that. The proposal is no less deterministic.
> 
> The proposal B requires procedural always blocks to execute before 
> "initialization" of variables takes place. I don't think that is
> initialization. Initialization should take place before any code 
> executes.
> 
> You seem to be arguing that "initialization" is a shorthand for a 
> procedural assignment that takes place sometime at time zero, and 
> it is ok if some procedural code executes before that assignment. 
> 
> If you really want to make a procedural assignment at time zero, you 
> can do that from an initial block. There is no other language feature
> to allow an assignment that is guaranteed to take place before
> any procedural statement. I think the language needs to guarantee 
> that all variable have their initial values before any line of 
> procedural code executes.

-- 
Shalom.Bresticker @freescale.com                     Tel: +972 9  9522268
Freescale Semiconductor Israel, Ltd.                 Fax: +972 9  9522890
POB 2208, Herzlia 46120, ISRAEL                     Cell: +972 50 5441478
  
[ ]Freescale Internal Use Only      [ ]Freescale Confidential Proprietary