[sv-bc] Manti 1526, 1709

I believe both these items are already answered by the
proposal for 1707 that was accepted by EC on August 6th 2007.

Note that both these Mantis items refer to section 8.17 of
1800-2005, which is now section 11.4 of 1800 draft 3a.

Obviously it may be that some committee members believe
that the changes from 1707 are not adequate to address
those problems; if so, perhaps they could re-phrase their
concerns in terms of 1800-D3a and the 1707 proposal.

~~~~
1526 says:
~~~~
  The description in 8.17 that "The stream is not an 
  integral value; to participate in an expression, a cast 
  is required." is both confusing and incomplete.

Agreed, which is why 1707 rewrites that bit of text
completely.
 
~~~~
1709 says:
~~~~
  The 2005 LRM says in section 8.17 "The stream is not an 
  integral value; to participate in an expression, a cast 
  is required." but give no explanation of how that cast 
  would work.

The accepted proposal for 1707 says (in text to add to 11.4.15):

  A streaming_concatenation (as specified in the syntax above) 
  shall be used either as the target of an assignment, or as
  the source of an assignment, or as the operand of a bit-stream 
  cast, or as a stream_expression in another streaming_concatenation. 
  [...]
  It shall be an error to use a streaming_concatenation as an 
  operand in an expression without first casting it to a
  bit-stream type.


Taking the rest of the 1707 proposal into account, I don't 
think that there is much doubt about the meaning of a bit-stream
cast applied to a streaming_concatenation, so I suggest that
1526 and 1709 can be closed.  I will add notes to both with 
this suggestion, just as soon as I can reach eda-stds.org.

Note that Manti 1353 and 1401 are somewhat related, but
are not at all covered by 1707 and still need attention.
-- 
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.