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

Hello Wolfgang;

According to the 3.1a draf6 copy, and matching my expectations, use of the methods
".ended" and ".matched" are expressions (actually a primary).

 From this approach, one should be able to use the end of a sequence to disable another
property.

Whether or not the tools support such a construction is another question.

      Adam Krolnik
      Verification Mgr.
      LSI Logic Corp.
      Plano TX. 75074
      Co-author "Assertion-Based Design"
Received on Thu Apr 29 07:10:07 2004