[sv-bc] assert inside fork....join

From: soumya <soumya_at_.....>
Date: Mon Nov 24 2008 - 22:54:51 PST
Hi,
Is it legal to declare assert/cover statement inside fork...join ?

initial
fork
prop1 : assert property(prop);
cover1 : cover property(prop);
join

Thanks,
-Soumya

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Mon Nov 24 22:45:51 2008

This archive was generated by hypermail 2.1.8 : Mon Nov 24 2008 - 22:46:50 PST