Subject: Re: [sv-bc] ended / matched methods
From: Arturo Salz (Arturo.Salz@synopsys.com)
Date: Fri Oct 03 2003 - 18:32:07 PDT
Matute,
My understanding is that the ended and matched methods are restricted
to assertions, and would not be allowed in any expression (as is the case
with $rose, $past, etc,...
I agree with you that the LRM should specify this more clearly. I'm copying
the assertions committee since they should clarify this question.
Arturo
----- Original Message -----
From: "Guillermo Maturana" <maturana@sbcglobal.net>
To: <sv-bc@eda.org>
Sent: Friday, October 03, 2003 1:51 PM
Subject: [sv-bc] ended / matched methods
The ended and matched methods are not mentioned explicitly in the BNF.
Since they are builtin methods they would seem to fall under "primary"
(A.8.4), in which case they would be allowed in any kind of expression,
not just sequence expressions. Is this the intention? One would think their
use would be more restricted. Can someone clarify this? Should the LRM
be more clear about this? Perhaps this is an issue for the assertions
committee. Thanks,
_Matute
This archive was generated by hypermail 2b28 : Fri Oct 03 2003 - 18:38:27 PDT