[sv-ac] Slightly modified version of checker usability enhancement proposal

From: Korchemny, Dmitry <dmitry.korchemny@intel.com>
Date: Tue Sep 21 2010 - 08:43:06 PDT

Hi all,

I added a small clarification to the new definition of sampling and added an option to execute continuous and blocking assignments of checker variables in the Reactive region.

Thanks,
Dmitry
---------------------------------------------------------------------
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 Tue Sep 21 08:46:29 2010

This archive was generated by hypermail 2.1.8 : Tue Sep 21 2010 - 08:46:49 PDT