RE: [sv-bc] Suppression of unique/priority glitches

From: Steven Sharp <sharp_at_.....>
Date: Fri Oct 12 2007 - 19:37:03 PDT
>From: "Seligman, Erik" <erik.seligman@intel.com>

>>Proposal (off the cuff) -- unique/priority assertions should be ignored
>>if they occur during the evaluation of a procedural continuous assign 
>>or any system task (which would include user define arg evaluations as 
>>well).
>>
>>Would anyone worry about those?
>
>>I don't think that anyone is likely to worry about them.
>
>
>I'm not so sure about this.  Won't cases like 'assign a = f(b);' need to
>be supported, where the assertion occurs inside function 'f'?

I would guess that you are talking about a continuous assignment here.

If so, we don't have a problem with those.  What we are talking about
are procedural continuous assignments, which are a different construct.
You may not even know that they exist, which is why I don't think you
will worry about them.

If you are talking about procedural continuous assignments, I am
interested in hearing about the use you have in mind for them.

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 Fri Oct 12 19:37:21 2007

This archive was generated by hypermail 2.1.8 : Fri Oct 12 2007 - 19:37:31 PDT