[sv-ac] Addendum to item 6 proposal

Subject: [sv-ac] Addendum to item 6 proposal
From: Surrendra Dudani (Surrendra.Dudani@synopsys.com)
Date: Mon Sep 15 2003 - 20:29:37 PDT

I forgot to add the addendum to the proposal for item 6:
Message reporting using assertion values, debug sampled variable assignments

In addition to providing $sampled to allow access to the sampled value of a variable, it is also important to provide a message capability to properties. There are two extensions proposed:

1) Modify system tasks ($error,$warning and $info) to become system functions returning a true value. This will allow one to put messages anywhere in the assertions. Sampled values of variables and local variables values can be printed out directly by referencing variable names.
Example:
property ex;
   logic a;
  @(posedge clk) in1 ##1 in2, (a = d1) ##[1:5] (a==d2)  ##0 $info("value of a=%d\n",a);
endproperty
 
2) Define a mechanism to set a message to a property via a method or a predefined argument. Once a message is set, the message gets printed out whenever that property fails.  This proposal requires more discussion and a specific solution.

The above two proposal would assist in debugging assertions.

Surrendra


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

This archive was generated by hypermail 2b28 : Mon Sep 15 2003 - 20:30:31 PDT