[sv-ac] Re: [sv-sc] Re: ConcurrentAssertNewProposal

From: Steven Sharp <sharp_at_.....>
Date: Mon May 05 2008 - 15:00:27 PDT
>From: Adam Krolnik <adam.krolnik@verisilicon.com>

>The signal 'ready_now' changes in a later timestep compared to the rest 
>of the variables. We want to prevent
>false failures in logic like this as well. Prior evaluations of the 
>assertion need to be stopped and not reported
>as a failure.

Essentially, you want prior evaluations of the assertion to be stopped
unless they have been clocked once since being triggered.

Steven Sharp
sharp@cadence.com


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Mon May 5 18:24:47 2008

This archive was generated by hypermail 2.1.8 : Mon May 05 2008 - 18:27:38 PDT