Date: Fri Jan 27 2012 - 08:48:06 PST
While I've got your attention for mantis 2506,
The BNF for a coverpoint says
cover_point ::= // from A.2.11
data_type_or_implicit [ cover_point_identifier : ] coverpoint expression [ iff ( expression ) ]
Yet a later example has
d: bit [7:0] coverpoint y[31:24]; // creates coverpoint "d" covering ...
Which is correct?
Dave Rich
Verification Technologist
Mentor Graphics Corporation
[Description: Description: Twitter-32]<http://www.twitter.com/dave_59> [Description: Description: Technorati-32] <http://go.mentor.com/drich>
-- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.
