[sv-ac] arguments for system functions

Hi,

Currently LRM does not define what type of expressions can be used in system functions $onehot, $onehot0 etc. (these functions are defined in 16.12.). Since the expression passed to these function should be converted to a bit vector before doing any analysis on it, is it OK to restrict the expression to be an integral type (6.11.1) ? Or probably that was the intension initially but never got documented.

Comments ?

Thanks.
Manisha

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.