Accellera FV -- Reminder: Ed's Property Example Database

Subject: Accellera FV -- Reminder: Ed's Property Example Database
From: Harry Foster (foster@rsn.hp.com)
Date: Sat Jan 13 2001 - 06:37:59 PST

• Next message: Harry Foster: "Accellera FV February 7-th Meeting -- Access Information"
• Previous message: Harry Foster: "Accellera FV -- January 2001 Meeting Minutes (Committee Productivity Discussion)"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

I'd like to remind the group to please support Ed's
effort by sending him examples of properties that
engineers might like to express in a property
language. Ed's email is:

        emc@cs.cmu.edu

I really do appreciate Ed for taking on this task!

Best regards,

-Harry

• Next message: Harry Foster: "Accellera FV February 7-th Meeting -- Access Information"
• Previous message: Harry Foster: "Accellera FV -- January 2001 Meeting Minutes (Committee Productivity Discussion)"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Sat Jan 13 2001 - 06:42:21 PST