14.1.10 Integer Attributes

The following attributes are defined for integer values.

size

Gives an offset with the storage occupied by the string. This includes the terminating null. Examples:

(poke) 10'size
0x20UL#b
(poke) 10N'size
0x4UL#b
(poke) (10 as int<1>)'size
0x1UL#b

signed

Gives 1 if the value is a signed integer, 0 otherwise. Examples:

(poke) 10'signed
1
(poke) 10UL'signed
0

mapped

Always 0 for integers. (see Mapping).