[sv-ac] OVA donation presentation

Subject: [sv-ac] OVA donation presentation
From: Stephen Meier (Stephen.Meier@synopsys.com)
Date: Wed Sep 18 2002 - 23:08:42 PDT

• Next message: David Lacey: "Re: [sv-ac] R29a/b Optional or mandatory name for assertions/properties/assumptions."
• Previous message: Faisal Haque: "[sv-ac] Fw: SV-AC Call #"
• Next in thread: Alain Raynaud: "Re: [sv-ac] OVA donation presentation"
• Reply: Alain Raynaud: "Re: [sv-ac] OVA donation presentation"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hello:

These are the presentation slides for tomorrow's SV-AC meeting. Surrendra
and I expect to join the call at 9AM PST.

Regards,
Steve Meier

Steve Meier (stephen.meier@synopsys.com) W: 650-584-4476

• application/octet-stream attachment: sv_ac_presn_9_19_02.ppt

• Next message: David Lacey: "Re: [sv-ac] R29a/b Optional or mandatory name for assertions/properties/assumptions."
• Previous message: Faisal Haque: "[sv-ac] Fw: SV-AC Call #"
• Next in thread: Alain Raynaud: "Re: [sv-ac] OVA donation presentation"
• Reply: Alain Raynaud: "Re: [sv-ac] OVA donation presentation"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Wed Sep 18 2002 - 23:16:05 PDT