RE: [sv-ec] Re: [sv-ac] Wrong checker example

Even if "coverage_level" were a variable, you still could not compare it in a generate-if condition. It would have to be a parameter.
Currently in the example, one of the arguments of the checker is "clevel" of type "coverage_level".
So "clevel" should have been used.
The elaborator would have to figure out that this is a static or constant data object.

Shalom

________________________________
From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of Surya Pratik Saha
Sent: Saturday, January 30, 2010 6:51 AM
To: sv-ec@eda.org; sv-ac@server.eda.org
Subject: [sv-ec] Re: [sv-ac] Wrong checker example

Hi,
I have filed Mantis 2955 against it.

Regards
Surya

-------- Original Message --------
Subject: [sv-ac] Wrong checker example
From: Surya Pratik Saha <spsaha@cal.interrasystems.com><mailto:spsaha@cal.interrasystems.com>
To: sv-ec@eda.org<mailto:sv-ec@eda.org> <sv-ec@eda.org><mailto:sv-ec@eda.org>, sv-ac@server.eda.org<mailto:sv-ac@server.eda.org> <sv-ac@eda.org><mailto:sv-ac@eda.org>
Date: Friday, January 29, 2010 7:55:52 PM
Hi,
In the SV 2009 LRM, the big example shown for checker section (page no 436) has a mistake in the generate if condtion:

typedef enum { cover_none, cover_all } coverage_level;
[...]
generate if (coverage_level != cover_none) begin : cover_b
[...]

coverage_level is not a variable which can be compared. Currently Mantis link is down, so I could not file the Mantis against it.

--
Regards
Surya
--
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<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.