Subject: Re: [sv-ac] More SV-AC draft 1 comments
From: Adam Krolnik (krolnik@lsil.com)
Date: Wed Apr 09 2003 - 12:05:24 PDT
Hi Connie;
These are expected to be part of the 3.1 standard as there was no discussion about
removing them. This is the same with the system functions defined in the 3.0
standard, $isunknown, $insetz, $inset, $onehot, $onehot0.
> In 22.6 but notably not mentioned in section 17: What is the fate of
>$assertoff, $asserton, $assertkill, as asked at the end of 22.6? If they are to be
>retained, can we add an "_" in the names for readability?
Adam Krolnik
Verification Mgr.
LSI Logic Corp.
Plano TX. 75074
This archive was generated by hypermail 2b28 : Wed Apr 09 2003 - 12:07:28 PDT