[sv-ac] Updated 2005 (deferred assertion) proposal posted

From: Seligman, Erik <erik.seligman_at_.....>
Date: Tue Jan 22 2008 - 12:08:26 PST
I believe this addresses all the recently discussed issues... tell me
what you think.
 
 
 
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 Tue Jan 22 12:10:13 2008

This archive was generated by hypermail 2.1.8 : Tue Jan 22 2008 - 12:10:23 PST