Following up to http://www.eda-stds.org/sv-bc/hm/5751.html , please see http://www.eda-stds.org/sv-ac/hm/3710.html which is excerpted below -----Excerpted Message http://www.eda-stds.org/sv-ac/hm/3710.html ----- > This is a big change in the language. What problem is this solving? > > What is the requirement here? The requirement is a property-based library of checkers that can optimize the property expression depending on the type of the actual arguments or construct more complex properties using generate for loops. Please see also the proposal for type query functions. ------------------------------------------------------------------------ - -- Brad -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Sun Apr 1 11:19:09 2007
This archive was generated by hypermail 2.1.8 : Sun Apr 01 2007 - 11:19:47 PDT