I just added this note:
In discussion with the SV-AC, we decided that in the case of the sampled value functions, it would not make sense to extend these to classes until we bring up the general issue of extending sampling and concurrent assertions to classes, which will not happen in this PAR.
As for the bit vector functions, the proposal for 2476 adds this sentence to 20.9: "The functions $countbits, $countones, $onehot, $onehot0, and $isunknown may be used in any context where a value of their return type is legal, including constant expressions as specified in 11.2.1." I believe this directly implies that they are legal in classes (and constraints).
So, I think we should close this ticket with no change needed.
-- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Fri Jul 29 12:23:45 2011
This archive was generated by hypermail 2.1.8 : Fri Jul 29 2011 - 12:23:49 PDT