Re: [sv-bc] Signed after typedef

From: Greg Jaxon <Greg.Jaxon@synopsys.com>
Date: Thu May 22 2014 - 10:43:52 PDT

7.4.1 Packed arrays

"

A partselect

of a packed array shall be unsigned.

"

Should be removed

 

Thanks,

Radek

This is an altogether different issue!
Bit select (actually single element extraction) can already return either signedness.
In fact, it can return any element type you've used.

Here's an ugly proposal:
Allow " { left : right ] " to either declare or to part-select access a signed packed dimension.

The mnemonic here is that the sign-extension rule affects the leftmost bits, thus the squishier bracket ;-)
Wouldn't that cross your eyes trying to match brackets?  I'll bet the emacs syntax coloring fans would throw a fit!

Greg Jaxon

--
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean. Received on Thu May 22 10:44:19 2014