Subject: [sv-ec] cross-bin guard erratum
From: Arturo Salz (Arturo.Salz@synopsys.com)
Date: Wed Feb 18 2004 - 14:27:12 PST
In the functional coverage section, the BNF for a cross item is missing the optional guard expression. Below is a proposal to fix the BNF and the verbiage to support it.
Arturo
--------------------------------------------------------------------------------
In Annex A.2.11 and in Syntax Box 20-4 (page 318)
- Modify the "bins_selection" production as shown
bins_selection ::= bins_keyword bin_identifier = select_expression [ iff ( expression ) ]
To Yield:
bins_selection ::= bins_keyword bin_identifier = select_expression [ iff ( expression ) ]
In Section 20.5 (second paragraph) (page 318)
- Add the text in blue.
The expression within the optional iff provides a conditional guard for the cross coverage. If at any sample point, the condition evaluates to false, the cross coverage is ignored. The expression within the optional iff construct at the end of a cross bin definition provides a per-bin guard condition. If the expression is false, the cross bin is ignored.
--------------------------------------------------------------------------------
This archive was generated by hypermail 2b28 : Wed Feb 18 2004 - 14:35:09 PST