[sv-ac] Assertion control question

From: Stuart Sutherland <stuart_at_.....>
Date: Wed Nov 14 2007 - 17:13:06 PST
Do the $assertoff and related assertion controls and assertion action
controls only affect "assert" directives, or do they also affect "assume",
and "cover" directives?  What about immediate assertions?

Stu
~~~~~~~~~~~~~~~~~~~~~~~~~
Stuart Sutherland
Sutherland HDL, Inc.
stuart@sutherland-hdl.com
503-692-0898


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Wed Nov 14 16:13:41 2007

This archive was generated by hypermail 2.1.8 : Wed Nov 14 2007 - 16:14:19 PST