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

Hi Erik,
 
I think we don't need any changes to concurrent assertion diagram, the
loop vars are already accessible from the for loop model.
 
Thx.
-Bassam.
 

________________________________

From: Seligman, Erik [mailto:erik.seligman@intel.com] 
Sent: Friday, December 07, 2007 2:40 PM
To: sv-ac@eda.org
Cc: Bassam Tabbara
Subject: New revision of 1995 (concurrent asserts in loops)


 
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.