Re: [sv-ac] immediate assert

Subject: Re: [sv-ac] immediate assert
From: Surrendra Dudani (Surrendra.Dudani@synopsys.com)
Date: Tue Apr 22 2003 - 10:53:31 PDT

Next message: Surrendra Dudani: "Re: [sv-ac] 17.9: System functions: $onehot/$onehot0"
Previous message: Connie ODell: "[sv-ac] 17.9: System functions: $onehot/$onehot0"
In reply to: Adam Krolnik: "Re: [sv-ac] immediate assert"
Next in thread: Arturo Salz: "Re: [sv-ac] immediate assert"
Reply: Surrendra Dudani: "Re: [sv-ac] immediate assert"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

In Section 17.2, pp. 152
The note would be replaced with

Note: The pass and fail statements are executed immediately following the evaluation of the assert expression in the same region as the assert statement. The regions of execution are explained in the scheduling semantics section, section 14.

Surrendra
At 12:25 PM 4/22/2003 -0500, you wrote:

Yes, this sounds appropriate.

But we (and David Smith) need to see the proposal in order for considering it.

   THanks.

   Adam Krolnik
   Verification Mgr.
   LSI Logic Corp.
   Plano TX. 75074

**********************************************
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
**********************************************

Next message: Surrendra Dudani: "Re: [sv-ac] 17.9: System functions: $onehot/$onehot0"
Previous message: Connie ODell: "[sv-ac] 17.9: System functions: $onehot/$onehot0"
In reply to: Adam Krolnik: "Re: [sv-ac] immediate assert"
Next in thread: Arturo Salz: "Re: [sv-ac] immediate assert"
Reply: Surrendra Dudani: "Re: [sv-ac] immediate assert"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Tue Apr 22 2003 - 10:55:15 PDT