[sv-bc] RE: [sv-ac] System functions: argument binding by name

Hi Srini,

You should address this question to SV-BC. CC-ing them.

Thanks,
Dmitry

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Srinivasan Venkataramanan
Sent: Tuesday, March 22, 2011 19:19
To: sv-ac@eda-stds.org
Subject: [sv-ac] System functions: argument binding by name

Hello,
  Here is what I was talking about during tonight's SV-AC call with
reference to $assertcontrol arguments. In SV 1800-2005 chapter:

>> 12.4.4 Argument binding by name

------
function int fun( int j = 1, string s = "no" );
...
endfunction

The fun function can be called as follows:
fun( .j(2), .s("yes") );

-------

Similar notation for $assertcontrol would make it LOT clearer for
users - though requires little extra typing (and then there can be
tools/smart editors assisting that part).

Considering the template/prototype:

$assertcontrol (control_type [, [assertion_type][, [directive_type][,
[levels] [, list_of_modules_or_assertions]]]]);

Positional binding as it exists today:

>> $assertcontrol(2, 7, 7, 0);

Named binding I seek

>> $assertcontrol(.control_type(2),
                              .assertion_type(7)
                              .directive_type(7)
                              .levels(0)
                            );

Please suggest as to how take this forward.

Thanks
Srini
www.cvcblr.com

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, 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.