Accellera FV -- A Specification Pattern System

Subject: Accellera FV -- A Specification Pattern System
From: Harry Foster (foster@rsn.hp.com)
Date: Wed Feb 07 2001 - 19:12:23 PST

• Next message: Matthew Morley: "mu calculus"
• Previous message: Harry Foster: "Accellera FV Meeting"
• Reply: Matthew Morley: "mu calculus"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This is a interesting link that Ed found concerning
property specification for finite-state verification:

http://www.cis.ksu.edu/santos/spec-patterns/

-Harry

p.s. Our web-site and mail archive is working again.

• Next message: Matthew Morley: "mu calculus"
• Previous message: Harry Foster: "Accellera FV Meeting"
• Reply: Matthew Morley: "mu calculus"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Wed Feb 07 2001 - 19:15:09 PST