RE: [sv-ac] Updated proposal for 1641 (severity system tasks)

Hi Manisha,
 
In 22.7, "failure" is still there -- "- $info shall indicate that the
failure carries no specific severity."
 
Thx.
-Bassam.
 

________________________________

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Kulshrestha, Manisha
Sent: Friday, March 09, 2007 3:22 PM
To: sv-ac@eda-stds.org
Subject: [sv-ac] Updated proposal for 1641 (severity system tasks)


Hi,
 
I have updated a proposal based on the discussion in the meeting. This
proposal does not distinguish usage of these tasks in assertion vs.
regular sequential code. All the information is printed based on where
the severity task is called.
 
Please send your feedback.
 
As we discussed in the meeting how a user can print information about
assertion from these tasks if the task is not directly inside action
block. Here is an example about how a task can be called from an action
block and print the error messages. I did not find any standard way for
these tasks to print file name and line number of the assertion
statement (although there are tool specific ways to do that). Hopefully
in future it will be possible in System Verilog itself. Here is an
example:
 
module test;
 
reg clk;
reg a;
reg [127:0] name;
 
initial
begin
 clk = 0;
 a = 0;
end
 
always #10 clk = ~clk;
 
MYASSERT:assert property (@(posedge clk) a) else
begin
   $swrite(name, "%m");
   myTask(name);
end
 
task automatic myTask(ref reg [127:0] assertName);
begin
   $error($time, ": assert %s failed", assertName);
end
endtask
 
endmodule

Thanks.
Manisha

-- 
This message has been scanned for viruses and 
dangerous content by MailScanner <http://www.mailscanner.info/> , and is

believed to be clean. 

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.