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

From: <Vassilios.Gerousis@Infineon.Com>
Date: Tue Jul 13 2004 - 20:58:26 PDT

All your feedbacks are good and valid. I would prefer to see specific
comments on specific sentences or paragraphs. Shalom comments are very
constructive, and we will do that the first round. Jonathan, if you have
specific information to provide please do so and follow our process
please.

-----Original Message-----
From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On Behalf Of
Jonathan Bromley
Sent: Tuesday, July 13, 2004 4:17 PM
To: Shalom Bresticker; sv-bc@eda.org
Subject: RE: [sv-bc] sv 3.1a section 3.1 on truncation warnings

> -----Original Message-----
> From: Shalom Bresticker [mailto:Shalom.Bresticker@freescale.com]

> 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.)

Indeed; but NOT, please, by the use of global search and replace. The
current LRM has some laughable uses of normative language such as
"shall" in places where the intent is plainly explanatory, to predict
the behaviour of some example code, rather than to
specify how the language works.

-- 
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 Tue Jul 13 20:58:31 2004

This archive was generated by hypermail 2.1.8 : Tue Jul 13 2004 - 21:00:05 PDT