LRM wants that cover in contrast to assert and assume should react on all matches of sequence. This aproach may have big impact on simulation performance - in some case properties used in cover wil have to be tracked from start point till end of simulation. Maybe there should be way to turn off such extra passes - similarly to switching off vacuous passes (see mantis 0001361) Such possibility to turn on off extra passes should be added to covers but also to assert and assume. LRM about cover directive> In addition, statement_or_null gets executed for every match. If there are multiple matches at the same time, the statement gets executed multiple times, one for each match. DANiel -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Tue Nov 20 04:13:48 2007
This archive was generated by hypermail 2.1.8 : Tue Nov 20 2007 - 04:14:29 PST