[sv-ac] RE: uploaded proposal for 3295

From: Eduard Cerny <Eduard.Cerny@synopsys.com>
Date: Mon Feb 14 2011 - 07:19:03 PST

Hi Laurence,

I think that generalizing the existing function would make them backward incompatible. This is because the last argument can actually be a list of arguments.

Best regards,
ed

> -----Original Message-----
> From: Bisht, Laurence S [mailto:laurence.s.bisht@intel.com]
> Sent: Monday, February 14, 2011 10:16 AM
> To: Kulshrestha, Manisha
> Cc: Eduard Cerny; sv-ac@eda.org
> Subject: RE: uploaded proposal for 3295
>
> Hello back Manisha,
>
> I passed over the proposal without reading the introduction (describing
> the additions) and did not understand the differences between the
> operators.
> A general short sentence describing the difference would really help in
> this case.
>
> Did you consider generalizing the existing functions with additional
> arguments?
>
> Thanks,
> Laurence
>
>
> -----Original Message-----
> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Eduard
> Cerny
> Sent: Monday, February 14, 2011 4:03 PM
> To: Kulshrestha, Manisha; sv-ac@eda.org
> Subject: [sv-ac] RE: uploaded proposal for 3295
>
> Hi Manisha,
>
> i had a quick look at the proposal, a couple of questions:
>
> - Would it be easier for the user to remember if assertion_type and
> directive_type were some enum type values rather than numeric values?
>
> - Should assertion_type distinguish between immediate and deferred
> ssertions?
>
> Best regards,
> ed
>
>
> > -----Original Message-----
> > From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
> > Kulshrestha, Manisha
> > Sent: Monday, February 14, 2011 5:28 AM
> > To: sv-ac@eda.org
> > Subject: [sv-ac] uploaded proposal for 3295
> >
> > Hi,
> >
> > I have uploaded a proposal for 3295. Please review and send your
> feedback.
> >
> > Dimitry, probably this proposal can be included for discussion in the
> next
> > meeting if there is enough time available.
> >
> > Thanks.
> > Manisha
> >
> > --
> > This message has been scanned for viruses and
> > dangerous content by MailScanner, and is
> > believed to be clean.
> >
>
>
> --
> This message has been scanned for viruses and
> dangerous content by MailScanner, and is
> believed to be clean.
>
>
> ---------------------------------------------------------------------
> Intel Israel (74) Limited
>
> This e-mail and any attachments may contain confidential material for
> the sole use of the intended recipient(s). Any review or distribution
> by others is strictly prohibited. If you are not the intended
> recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Mon Feb 14 07:20:03 2011

This archive was generated by hypermail 2.1.8 : Mon Feb 14 2011 - 07:20:09 PST