Assertion API vote

Subject: Assertion API vote
From: Michael Rohleder (michael.rohleder@motorola.com)
Date: Mon Oct 07 2002 - 12:33:00 PDT

• Next message: Joao Geada: "Synopsys Assertion API vote"
• Previous message: Yatin Trivedi: "Voting Guidelines"
• In reply to: Yatin Trivedi: "Qualified voting members"
• Reply: Michael Rohleder: "Assertion API vote"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi all,

I vote YES to accept the Assertion API donation as a starting point for further work on an API to provide access to the new assertion capabilities.

HOWEVER,
I would strongly request from our working group to defer any activities on such an API until
 - we have ironed out how to enhance the DirectC I/F donation to become SV's DFLI
   [I think this API is far more important; and I prefer one working, complete interface instead
    of two partly defined interfaces that can not be used]
 - the assertion capabilities of SystemVerilog have been fully defined by the Assertions working group. Otherwise I believe there is a high risk for defining an API having capabilities that do not match the capabilities of the language. IMHO there is
currently far too much flux in this area within the language itself. We should wait until this has been settled before starting to work on this API.

If this means we should not do it now, but work on it for SV 3.2; fine with me.

Regards,
Michael

Yatin Trivedi wrote:

> Based on today's attendance, I see the qualified voting members
> as follows:
>
> Cadence (>75%)
> Motorola (3/4)
> Novas (>75%)
> Synopsys (>75%)

--
NOTE:
The content of this message may contain personal views which are not neccessarily the views of Motorola, unless specifically stated.
The information contained in this email has been classified as:
Motorola General Business Information (x)
Motorola Internal Use Only            ( )
Motorola Confidential Proprietary     ( )
         ___________________________________________________
        |                                                   |
      _ | Michael Rohleder            Tel: +49-89-92103-259 | _
     / )| Software Technologist       Fax: +49-89-92103-680 |( \
    / / | Motorola, Semiconductor Products, ASA Methodology | \ \
  _( (_ |  _   Schatzbogen 7, D-81829 Munich, Germany    _  | _) )_
 (((\ \>|_/ >                                           < \_|</ /)))
 (\\\\ \_/ /    mailto:Michael.Rohleder@motorola.com     \ \_/ ////)
  \       /_______________________________________________\       /
   \    _/                                                 \_    /
   /   /                                                     \   \
*** This note may contain Motorola Confidential Proprietary or Motorola Internal Use Only Information and is intended to be reviewed by only the individual or organization named above. If you are not the intended recipient or an authorized representative
of the intended recipient, you are hereby notified that any review, dissemination or copying of this email and its attachments, if any, or the information contained herein is prohibited. If you have received this email in error, please immediately notify
the sender by return email and delete this email from your system. Thank you! ***

• text/x-vcard attachment: Card for Michael Rohleder

• Next message: Joao Geada: "Synopsys Assertion API vote"
• Previous message: Yatin Trivedi: "Voting Guidelines"
• In reply to: Yatin Trivedi: "Qualified voting members"
• Reply: Michael Rohleder: "Assertion API vote"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Mon Oct 07 2002 - 12:37:00 PDT