[sv-ac] RE: severity in control tasks

The 1364.1-2002 Verilog RTL Synthesis standard defined specific attributes, but I don't think anyone really implements that standard.

Shalom

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Kulshrestha, Manisha
Sent: Thursday, March 17, 2011 10:52 AM
To: sv-ac@eda.org
Subject: [sv-ac] severity in control tasks

Hi,

While defining these system tasks it seems like it is important to be able to select assertions based on their severity. If we do not provide this now, then later we'll have to add another systask to be able to do this as adding new arguments will not be backward compatible. Last time we talked about it the idea was to use an attribute based lookup. But the idea was that user could choose any arbitrary attribute name and later on specify that name in the task. Here is an example of that:

module test;

(* abc = 3 *) a1: assert property .....;
a2: assert property ...;

intial
begin
$assertcontrol(1, ...., "abc==3", ....); // choose assertions which have value of abc 3
end

endmodule

Now, I am thinking if there is a way to have a predefined attribute so that control task itself does not need to refer to the attribute name. Instead we can have a predfined attribute e.g. severity which can have integer values only and control task can only use integer value to specify which assertions to choose. Here is an example:

module test;

(* severity = 3 *) a1: assert property .....;
a2: assert property ...;

intial
begin
$assertcontrol(1, ...., 3, ....); // select assertions which have severity 3 or more
end

endmodule

Currently LRM does not have any predefined attributes but can we add one ? Or may be there is another way to achieve this ?

Or we should leave it to the tools to figure out severity and we only define different values of severity and use them as one of the arguments:

E.g. $assertcontrol(control_type, assert_type, directive_type, severity, levels.....);

Where severity value 1 means info, 2 means warning, 3 means error and 4 means fatal. But this may not work if different tools define severity differently.

Thanks.
Manisha

--
This message has been scanned for viruses and
dangerous content by MailScanner<http://www.mailscanner.info/>, and is
believed to be clean.
---------------------------------------------------------------------
Intel Israel (74) Limited
This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.