RE: [sv-champions] Meeting reminder - August 15th 9am PST

From: Brad Pierce <Brad.Pierce_at_.....>
Date: Tue Aug 14 2007 - 15:57:07 PDT
Ed,

Regarding http://www.eda-stds.org/svdb/view.php?id=1729 , why does an
immediate assume statement need an action block, but a concurrent assume
statement does not?

Also, the paragraph after Syntax 16-1 about action blocks has not been
updated to take into account action_blocks on immediate assumptions.  It
is still written as if only immediate assertions could have action
blocks.

-- Brad


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Tue Aug 14 15:57:23 2007

This archive was generated by hypermail 2.1.8 : Tue Aug 14 2007 - 15:57:25 PDT