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

Yes. I think it is a good idea. I will prepare a table with your suggested
categories.
Surrendra
At 09:17 AM 4/30/2004 -0500, Adam Krolnik wrote:

>Hi Surrendra;
>
>
>I may be helpful to summarize where/when one should use .triggered and
>.ended and
>$sampled() in SV codes.
>
>For example there are several contexts:
>
>1. Properties and sequences
>2. Disable iff expression
>3. Clocking expression
>4. Action blocks
>5. Program blocks/code
>6. other verilog contexts (maybe we need a name for 'plain ole verilog code')
>
>
>Use .ended/.matched in:
>1. Properties and sequences.
>...
>
>Use .triggered in:
>1. Disable iff expressions
>...
>
>Use $sampled() in:
>1. Action blocks.
>
>...
>
>This would help disambiguate the various constructs and reduce the
>potential for errors.
>
>
> Adam
>
>

**********************************************
Surrendra A. Dudani
Synopsys, Inc.
377 Simarano Drive, Suite 300
Marlboro, MA 01752

Tel: 508-263-8072
Fax: 508-263-8123
email: Surrendra.Dudani@synopsys.com
**********************************************
Received on Fri Apr 30 08:10:01 2004