RE: [sv-ac] Mantis 1900. Checkers

From: Jonathan Bromley <jonathan.bromley_at_.....>
Date: Thu Nov 15 2007 - 10:11:28 PST
> The proposal forbids initializing continuous free variables,
> but it allows initializing sequential free variables.
> In case of an unpacked array of free variables some of
> them may be sequential and others continuous. The issue
> is that the array assignment patterns forbid partial
> initialization of the array elements (see 18.9.1).
> I relaxed this requirement for unpacked arrays of
> free variables in the new version of the proposal.

Dmitry, I apologise for interfering in AC business,
but I've been working on array assignment (in connection
with Mantis 1702) and so your comment caught my attention.

Your relaxation in 10.9.1 makes reference to 16.8.5,
but there is no further mention of assignment patterns 
anywhere in the proposal.  I think it is probably 
insufficient to say that there is an exception, 
without also specifying in detail what that 
exception is and how it is to work.

~~~~~~

I also noticed another issue:  In several places you
mention "assignment statement" where I am fairly sure
you are talking about *continuous* assignments of the
form
   assign v = expr;
(by contrast with *procedural* assignments).  I am not
sure exactly how this is defined in the LRM, but I think
it would be clearer if you were to use "continuous 
assignment" wherever it's appropriate, to avoid any 
risk of  confusion.

Thanks
--
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

The contents of this message may contain personal views which
are not the views of Doulos Ltd., unless specifically stated.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Thu Nov 15 10:11:55 2007

This archive was generated by hypermail 2.1.8 : Thu Nov 15 2007 - 10:12:25 PST