Re: [sv-ec] {}

From: Neil Korpusik <Neil.Korpusik_at_.....>
Date: Mon Jul 27 2009 - 16:52:39 PDT
This seems to be a bit beyond being purely Editorial in nature.

Neil



On 07/27/09 15:14, Brad Pierce wrote:
> 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 16:53:34 2009

This archive was generated by hypermail 2.1.8 : Mon Jul 27 2009 - 16:54:27 PDT