Re: [sv-bc] Possible errata in LRM 3.1a section 3.16, bit stream casting

From: Brad Pierce <Brad.Pierce@synopsys.com>
Date: Wed Nov 03 2004 - 17:07:46 PST

Dave,

In your vote against the proposal for erratum 170

     http://www.eda.org/sv-bc/hm/2031.html

regarding this sentence from 3.16

    If both source_t and dest_t are fixed sized unpacked types
    of different sizes then a cast generates a compile-time error.

you explained

    "I think of bit stream casting whenever at least one type is
     unpacked, meaning that you are looking at the values as
     a stream of bits, not as an integral value. Padding or
     truncation is not performed, so the total number of bits
     must be preserved. That would be a better correction."

Is any change really needed to the language of the LRM here, or
would an additional example be enough?

-- Brad
Received on Wed Nov 3 17:07:14 2004

This archive was generated by hypermail 2.1.8 : Wed Nov 03 2004 - 17:07:37 PST