RE: [sv-ec] {}

From: Brad Pierce <Brad.Pierce_at_.....>
Date: Mon Jul 27 2009 - 15:14:33 PDT
Couldn't this be treated as an editorial issue?  The intent of the SV-EC was clear on this point.

-- Brad

________________________________________
From: owner-sv-ec@eda.org [owner-sv-ec@eda.org] On Behalf Of jonathan.bromley@doulos.com [jonathan.bromley@doulos.com]
Sent: Monday, July 27, 2009 3:05 PM
To: Bresticker, Shalom; sv-ec@eda.org
Subject: Re: [sv-ec] {}

Shalom,

> There seems to be an ambiguity in the LRM on the use of {} to denote
> an empty array.
>
> On the one hand, the LRM seems to restrict it to queues.
> The BNF non-terminal "primary" contains "empty_queue", defined as "{ }",

> and footnote 31 says that "{ } shall only be legal in the context ofa
queue".
>
> On the other hand, 10.10 says,
[...]

Mea culpa.  This is clearly an oversight in Mantis 1702.
I recall that I looked at the BNF and decided that no change
was needed because the existing production "concatenation"
does all that's required for unpacked array concatenation,
except that it does not admit the empty form {}, for which
the existing production "empty_queue" suffices.  But I missed
the footnote which, as you say, introduces doubt in the
reader's mind - especially when taken with the name
of the production "empty_queue".

It would probably be best to rename "empty_queue" to
"empty_concatenation" and reword the offending footnote.
I'll raise a new Mantis for this.

Thanks
--
Jonathan Bromley
Consultant

Doulos - Developing Design Know-how
VHDL * Verilog * SystemVerilog * SystemC * PSL * 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                        http://www.doulos.com

--------------------------------------------------------------------------------
Doulos Ltd is registered in England and Wales with company no. 3723454
Its registered office is 4 Brackley Close, Bournemouth International
Airport,
        Christchurch, BH23 6SE, UK.

This message may contain personal views which are not the views of
Doulos, unless specifically stated.


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

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Mon Jul 27 15:17:16 2009

This archive was generated by hypermail 2.1.8 : Mon Jul 27 2009 - 15:17:25 PDT