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

From: Gordon Vreugdenhil <gordonv_at_.....>
Date: Fri Oct 12 2007 - 13:40:06 PDT
Brad Pierce wrote:
> The Observed region is the region where properties are checked and it
> could be iterated over many times during the same time slot.

That is true -- you can iterate by going through reactive region
(program) code.  I brought that up explicitly earlier as a
difference between observed region reporting and postponed
region reporting.  There are likely good rationale on both sides
for reporting in either region (relationships with clocking events, etc
for example).

I think that it would be important for users to speak to which
model is better for real use cases.

Gord.

-- 
--------------------------------------------------------------------
Gordon Vreugdenhil                                503-685-0808
Model Technology (Mentor Graphics)                gordonv@model.com


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Fri Oct 12 13:40:21 2007

This archive was generated by hypermail 2.1.8 : Fri Oct 12 2007 - 13:40:29 PDT