RE: [sv-ac] re: Minutes of IEEE P1800 SV-AC meeting #3: 09/29/04

Since we have been discussing about usage of different sequence
methods, I would like to see more clarification on their semantics
and usage in the LRM. There is one sub-section for the usage of
"ended" method but there is not much mention of "matched" and
"triggered" methods in section 17. It becomes more complicated
when they get used in an expression. Should we add more details
in section 17 to clarify their usage. I am willing to work on
this. Should I create an errata for this ? If yes, how to do that ?

Thanks.
Manisha
Received on Fri Oct 8 11:46:23 2004