[sv-cc] 2182 (Checker VPI) modified based on SV-CC requests

I have attached a modified version of this proposal.  The changes are a
numbering clarification for the two section 36.9s,. a new picture for
the second 36.9 (now temporarily 36.9b), and a new modification for the
picture in 36.51.
 
I also got a clarification about the fact that we use a 'checker' bubble
for both declarations and instantiations:  apparently this *is* normal
for the VPI diagrams, and the recommendation was that we do not create a
new 'checker inst' bubble.
 
An SV-CC member (Abby?) took the AR to review this modified version from
the SV-CC's point of view and send any comments; I'll try to get it
approved at the next SV-CC meeting.  Meanwhile, fellow SV-AC members
(and other SV-CC people), feel free to look & send further comments too!
Also, as usual with these resolved tkts, I'll need someone with
permissions to upload this version to Mantis.
 
BTW-- At the SV-CC meeting, I also brought up the need to review other
SV-AC proposals, such as 2250 (LTL VPI).  But the consensus was that
they are way too busy, and will not get to any more SV-AC reviews before
April.
 
 
 
Erik Seligman

Formal Verification Architect

Corporate Design Solutions
Design Technology and Solutions

Intel Corporation

M.S. JF4-402                   
2111 NE 25th Ave
Hillsboro, OR 97124 

Phone:   (503) 712-3134

 

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