3036 related to the functions $onehot, $onehot0, $countones and $isunknown.
bit-stream data types cover what is relevant for those functions.
Regards,
Shalom
> > 8. 3036 <http://www.eda-twiki.org/svdb/view.php?id=3036> SV-AC Explicitly
> > allow unpacked data types for arguments of assertion system
> functions
> > Duplicate of 2476
> > Approved by the voice vote 2011-01-17: 7y/0n/0a.
> >
> > Approve __ Oppose __
> > Comment: I am not sure what I vote. I would like people to note the
> following:
> The proposal in 2476 only allows unpacked structs that are bit stream types
> to appear as argument of assertion systems function. Was the request in 3036
> applied to only those unpacked structs, or is the request meant for any
> unpacked struct?
---------------------------------------------------------------------
Intel Israel (74) Limited
This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.
-- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Jun 30 20:45:26 2011
This archive was generated by hypermail 2.1.8 : Thu Jun 30 2011 - 20:45:28 PDT