[sv-ac] Updated Oct31 Minutes

Subject: [sv-ac] Updated Oct31 Minutes
From: Stephen Meier (Stephen.Meier@synopsys.com)
Date: Sun Nov 03 2002 - 21:47:53 PST

• Next message: Faisal Haque: "[sv-ac] Mathematical semantics for the upcoming sv-ac LRM"
• Previous message: Miller Hillel-R53776: "RE: [sv-ac] SV-AC 10/31/02 Meeting Minutes"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi:

Here are minutes for October 31st with updated attendance record.

Steve

Steve Meier (stephen.meier@synopsys.com)

• text/plain attachment: Oct31_minutes.txt

• Next message: Faisal Haque: "[sv-ac] Mathematical semantics for the upcoming sv-ac LRM"
• Previous message: Miller Hillel-R53776: "RE: [sv-ac] SV-AC 10/31/02 Meeting Minutes"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Sun Nov 03 2002 - 21:50:08 PST