Subject: Re: [sv-ac] getting local variables out of sequences
From: Adam Krolnik (krolnik@lsil.com)
Date: Tue Aug 26 2003 - 07:21:04 PDT
Hi Hillel;
>Why do you want one failure?
It seems to me there are a few cases.
1. For simulation does it make sense to return multiple failures?
I have seen that when a user writes an incorrect property it
will produce multiple threads that produce an incorrect match.
When a user writes a correct property that produces multiple threads
there are distinct events to complete each thread (either explicitly
from the hardware by some tag, or implicitly in the hardware, by pipeline,
that must be made distinct by satelite FSMs.)
2. For formal tools, it could make sense to return multiple failing
sequences. These tools may be able to utilize the action block
for the reporting elements. Maybe allowing for formal tools to
provide multiple fails is an acceptable allowance.
Are you thinking of any specific examples other than what I have talked
about? Maybe you could share that example.
Thanks.
Adam Krolnik
Verification Mgr.
LSI Logic Corp.
Plano TX. 75074
This archive was generated by hypermail 2b28 : Tue Aug 26 2003 - 07:21:50 PDT