Re: [sv-bc] Constant method calls

The reason I would say that the built-in enum methods do not qualify
as constant functions is precisely that they are built-in.  The rules
for constant functions are specified in terms of what is allowed in
the Verilog declaration of the function.  A built-in method has no
Verilog declaration, so it cannot qualify under those rules.  If there
are no other rules in the LRM saying that certain built-in methods
qualify also, then they don't.

Someone may understand what properties of a function the existing rules
are intended to ensure, and that the built-in methods have those
properties.  But they still don't satisfy the existing rules.

Steven Sharp
sharp@cadence.com


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