[sv-ec] re-wording for Mantis 1871 proposal

From: David Scott <david_scott_at_.....>
Date: Mon Jul 09 2007 - 17:06:49 PDT

Old wording:

For transition bins, the ignored sequence invalidates any coverage transition bin whose
sequence cannot be matched without also matching the ignored transition bin sequence for any sample
value.  (For example, the ignored bin “i = ( 2=>3 )” would invalidate the coverage bin “t =
( 1=>2=>3=>4)”). 

Proposed new wording:

For transition bins, any covered sequence is removed when it contains an ignored sequence.  (For example, the ignored sequence 2=>3 would remove the covered sequence 1=>2=>3=>4.)

That is almost suspiciously simpler, but Ray & I agree it conveys the same information.

Please respond with your opinion if you have one; I'll update the proposal (with similar changes for illegal bins) as soon as it appears to have converged by e-mail.

Thanks,

Dave Scott -- Mentor Graphics


--
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean. Received on Mon Jul 9 17:07:07 2007