[sv-ac] 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.