Re: [sv-ac] revised proposal for mantis 1668

Hi Surrendra:

> Is it possible to simplify it by allowing only constant initialization?

My opinion is that requiring the expression to be constant is too restrictive.

> - if initialized, a variable has an initial value. Otherwise, no default
> value is applied

I think that giving all uninitialized local variables default
values is probably a bad thing.

Regarding the deviation from initialization in other contexts, 
are those initializations themselves coherent and aligned?

What I have written in the proposal is what makes the most sense to me
for assertions.  I would like to understand the specific changes that
will make the intialization better aligned with tasks, functions, etc.
and why those changes make good sense for assertions.

J.H.

> X-Authentication-Warning: server.eda-stds.org: majordom set sender to owner-sv-ac@eda.org using -f
> x-mimeole: Produced By Microsoft Exchange V6.5
> Content-class: urn:content-classes:message
> Date: Tue, 20 Feb 2007 08:02:40 -0800
> Thread-Topic: [sv-ac] revised proposal for mantis 1668
> Thread-Index: AcdTfipmQ02SrdrYQiSDzvIR4ayCcwBiPRJg
> From: "Surrendra Dudani" <Surrendra.Dudani@synopsys.com>
> X-OriginalArrivalTime: 20 Feb 2007 16:02:41.0772 (UTC) FILETIME=[8D0A72C0:01C75508]
> X-eda.org-MailScanner: Found to be clean, Found to be clean
> X-Spam-Status: No, No
> X-MIME-Autoconverted: from quoted-printable to 8bit by server.eda-stds.org id l1KG2oZC008534
> Sender: owner-sv-ac@eda.org
> X-eda.org-MailScanner-Information: Please contact the ISP for more information
> X-eda.org-MailScanner-From: owner-sv-ac@server.eda.org
> 
> Hi John,
> The initialization introduced in this proposal is useful for assertions,
> but deviates from intialization in other contexts as
> tasks/functions/modules etc. in at least two ways:
> - if initialized, a variable has an initial value. Otherwise, no default
> value is applied
> - order dependency on other initialization
> Is it possible to simplify it by allowing only constant initialization?
> surrendra   
> 

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.