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