[sv-ac] RE: SV-AC meeting minutes 2010-04-27

Is there a similar example elsewhere?

Shalom

________________________________
From: Korchemny, Dmitry
Sent: Wednesday, April 28, 2010 4:43 PM
To: Bresticker, Shalom; sv-ac@server.eda.org
Subject: RE: SV-AC meeting minutes 2010-04-27

Hi Shalom,

In checkers there is no distinction between parameters and ports. clevel is the checker's formal, and the corresponding actual should be a constant.

Thanks,
Dmitry

From: Bresticker, Shalom
Sent: Wednesday, April 28, 2010 4:41 PM
To: Korchemny, Dmitry; sv-ac@server.eda.org
Subject: RE: SV-AC meeting minutes 2010-04-27

I don't think this will work.
"clevel" is a variable, and generate if-conditions require parameters.

Shalom

2955: Checker example is wrong
Dmitry: Instead of "generate if (coverage_level != cover_none)" it should be "generate if (clevel != cover_none)"
---------------------------------------------------------------------
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.