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

Hi Shalom:
 
Why is clevel a variable? It is a checker formal argument. The
semantics of checker instantiation is supposed to mimic the semantics of
sequence and property instantion, where compile- or elaboration-time
constant expression are allowed to be passed to formal arguments.
 
J.H.

________________________________

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Bresticker, Shalom
Sent: Wednesday, April 28, 2010 8:41 AM
To: Korchemny, Dmitry; sv-ac@server.eda.org
Subject: [sv-ac] 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 <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.