RE: [sv-ec] Wrong example in Mantis 3033

From: Bresticker, Shalom <shalom.bresticker@intel.com>
Date: Tue Feb 14 2012 - 07:00:10 PST

Hi,

It was changed to always_ff.

See bug note 0012906 in Mantis 3033.

The change will appear in Draft 5, the ballot draft.

Thanks,
Shalom

From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of Surya Pratik Saha
Sent: Tuesday, February 14, 2012 4:46 PM
To: sv-ec@eda.org
Subject: [sv-ec] Wrong example in Mantis 3033

Hi,
In the Mantis 3033, a checker example is given where 'always' block is used.

[...]
always @clock
    window <= next_window(window);
    // The rest is the same as in Example 1
endchecker : assert_window2

But simple 'always' block is illegal in checker by that Mantis (though BNF does not disallow it). Please fix the example.

--
Regards
Surya
--
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.
Received on Tue Feb 14 07:02:04 2012

This archive was generated by hypermail 2.1.8 : Tue Feb 14 2012 - 07:02:08 PST