Re: [sv-bc] sv 3.1a section 3.1 on truncation warnings

From: Shalom Bresticker <Shalom.Bresticker@freescale.com>
Date: Tue Jul 13 2004 - 06:58:09 PDT

In general, the language of SV 3.1a needs to be tightened up to conform to
IEEE style guidelines
(e.g, use of 'shall', 'may', 'can', etc.; normative vs. informative, etc.)

Shalom

"Vreugdenhil, Gordon" wrote:

> We recently noticed this as well. In my opinion, this should
> not be normative and the statement should be removed. Tools can
> always implement some form of a "lint" switch if users want this.
>
> GOrd.
>
> Shalom Bresticker wrote:
> > Section 3.1 says,
> >
> > "Automatic truncation from a larger
> > number of bits to a smaller number does cause a warning message."
> >
> > Is this intended to be a normative statement?
> >
> > It is worded as a normative statement, but subsection 3.1 is labelled as
> > informative.
> >
> > Anyway, consider the following case:
> >
> > reg a;
> >
> > initial a = 0 ;
> >
> > 0, being an unsized, unbased integer constant, is expected to be
> > nominally 32
> > bits. a is 1 bit.
> >
> > Is it really intended that such a statement cause a warning?
> >
> > There are frequently hundreds of such statements in a design.
> >
> > Thanks,
> > Shalom
> >
> > --
> > Shalom Bresticker Shalom.Bresticker @freescale.com
> > Design & Reuse Methodology Tel: +972 9 9522268
> > Freescale Semiconductor Israel, Ltd. Fax: +972 9 9522890
> > POB 2208, Herzlia 46120, ISRAEL Cell: +972 50 5441478
> >
> >
>
> --
> --------------------------------------------------------------------
> Gordon Vreugdenhil, Staff Engineer 503-685-0808
> Model Technology (Mentor Graphics) gordonv@model.com

--
Shalom Bresticker                        Shalom.Bresticker @freescale.com
Design & Reuse Methodology                           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
Received on Tue Jul 13 06:58:14 2004

This archive was generated by hypermail 2.1.8 : Tue Jul 13 2004 - 06:58:36 PDT