[sv-ac] Updated proposal for 1995 (concurrent assertions in loops) posted

From: Seligman, Erik <erik.seligman_at_.....>
Date: Fri Dec 07 2007 - 09:12:19 PST
 
I added some comments in the coverage section, and a VPI change, in
response to Lisa's concerns.  
 
 
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.



Received on Fri Dec 7 09:13:49 2007

This archive was generated by hypermail 2.1.8 : Fri Dec 07 2007 - 09:14:17 PST