[sv-bc] 2008 changes will need Champion review of clause 12.5.3

Stu,

 

I have taken the previous version of this proposal and now reworked it
on top of Draft5. I have uploaded it to EDA.org. Here is my note to the
editor now:

(Note to Editor: The sections below contain the changes from Mantis
items 1041, 1294, 2131, and 1345 are all merged into this version of
2008. All these changes were done on top of Draft5. In essence clause
12.4.2 and 12.5.3 can be cut and pasted into Draft6. Clauses 12.4.2.1,
12.4.2.2, 12.5.3.1, and 12.5.3.2 are new to Draft6").

I sifted through this one sentence at a time. I noticed a couple of very
subtle changes that I had to make in 12.5.3 on top of what I already had
in my proposal WRT to what I saw in Draft5. Enough that I would ask the
champions to review only this clause. All the other clauses are okay.

 

In particular this sentence was added in the 4th paragraph of 12.5.3 "If
the case is qualified as unique0, the simulator implementation shall not
issue a violation report if no case item case_item matches"  

 

I tried to be careful to keep the strikethroughs that you had too.

 

Thanks, -Tom


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.