[sv-ec] Wrong example in Mantis 3033

From: Surya Pratik Saha <spsaha@cal.interrasystems.com>
Date: Tue Feb 14 2012 - 06:46:20 PST

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, and is
believed to be clean. Received on Tue Feb 14 06:46:24 2012