[sv-ac] New revision of 1995 (concurrent asserts in loops)

From: Seligman, Erik <erik.seligman_at_.....>
Date: Fri Dec 07 2007 - 14:39:30 PST
 
Bassam-- can you review the VPI fix?  Thanks!
 
 
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 14:44:29 2007

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