Vote on Assertions API (VPI Extensions)

Subject: Vote on Assertions API (VPI Extensions)
From: Andrzej Litwiniuk (Andrzej.Litwiniuk@synopsys.com)
Date: Wed Jan 15 2003 - 10:09:51 PST

• Next message: Amouroux, John: "SV_CC meeting minutes for 15 Jan, 2003"
• Previous message: Joao Geada: "Vote on Assertions API (VPI Extensions)"
• Next in thread: Amouroux, John: "RE: Vote on Assertions API (VPI Extensions)"
• Maybe reply: Andrzej Litwiniuk: "Vote on Assertions API (VPI Extensions)"
• Reply: Amouroux, John: "RE: Vote on Assertions API (VPI Extensions)"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

I vote to accept the Assertion API proposal (vpi extensions to support assertions).

Andrzej

==============================================================================
Andrzej I. Litwiniuk, PhD Principal Engineer VCS R&D
Synopsys, Inc TEL: (508) 263-8056
154 Crane Meadow Road, Suite 300, FAX: (508) 263-8069
Marlboro, MA 01752, USA
==============================================================================

• Next message: Amouroux, John: "SV_CC meeting minutes for 15 Jan, 2003"
• Previous message: Joao Geada: "Vote on Assertions API (VPI Extensions)"
• Next in thread: Amouroux, John: "RE: Vote on Assertions API (VPI Extensions)"
• Maybe reply: Andrzej Litwiniuk: "Vote on Assertions API (VPI Extensions)"
• Reply: Amouroux, John: "RE: Vote on Assertions API (VPI Extensions)"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Wed Jan 15 2003 - 10:10:20 PST