Hi all-- I have uploaded this new item to Mantis: http://www.verilog.org/mantis/view.php?id=1900 This is a proposal for 'checkers', a new construct which will enabler better support for next-generation OVL-like libraries and encapsulation of formal modelling. (CCing ovl-vsva since you guys may be interested as well, from the point of view of how this might enable future libraries.) Please take a look & start sending comments when you get a chance. Thanks! Erik Seligman Formal Verification Architect Corporate Design Solutions Design Technology and Solutions 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 Mon Jun 25 09:58:54 2007
This archive was generated by hypermail 2.1.8 : Mon Jun 25 2007 - 09:59:20 PDT