[sv-ec] Mantis 2701, ballot ID #44 - Arturo's feedback

From: <jonathan.bromley_at_.....>
Date: Fri May 01 2009 - 02:29:33 PDT
> There was nothing wrong with the previous verbiage. The issue raised
> in this item was to clarify the behavior of the assignment of an 
> unbounded queue to a bound queue.

I can't agree with this.  If the original wording were OK then
the ballot item's question would not have arisen.  It seems 
daft to fix just that one special case when in truth the problem
is that the wording was insufficiently general to cover all the
various possibilities, including the unbounded-to-bounded copy
mentioned in the ballot item, but also situations such as
push_front() on a bounded queue that is already full.

I have already discussed with Shalom an alternative, 
simpler definition.  We could state that unbounded queues
behave exactly as regular queues, with just one exception:
if, after any operation that writes to an unbounded queue 
variable, that variable has elements beyond its bound, then
all such out-of-bounds elements shall be discarded and a 
warning shall be issued.  We would need a note to point out 
that implementations are free to do anything that gives the
same resulting effect, but this description would cover
every possible case in a very simple and general way
and I'm confident that it captures the desired intent.

> As to the warnings, this proposal
> is too restrictive to vendors, and the LRM generally gives 
> wider latitude to implementations with respect to warnings.

Yes, other people have said the same.  As long as everyone is
happy to mandate at least one warning, then it should be easy
to relax and simplify that part of the proposal.
-- 
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.
Received on Fri May 1 02:30:38 2009

This archive was generated by hypermail 2.1.8 : Fri May 01 2009 - 02:31:11 PDT