Re: AW: [sv-ac] Discussion: Legal use of .ended in disable iff ?

From: Adam Krolnik <krolnik@lsil.com>
Date: Mon May 03 2004 - 07:58:04 PDT

Hi Wolfgang;

Surrendra is correct about the evaluation point of .ended. His suggestion
of the .triggered alternative is the correct alternative.

We had discussions about the similarity of these and the uniqueness.
A table suggesting the proper use of these methods in specific context will help
to clarify how they should be used.

Sorry to confuse Surrendra's answer.

     Adam Krolnik
     Verification Mgr.
     LSI Logic Corp.
     Plano TX. 75074
     Co-author "Assertion-Based Design"
Received on Mon May 3 07:58:11 2004

This archive was generated by hypermail 2.1.8 : Mon May 03 2004 - 07:58:19 PDT