RE: [sv-ac] call to vote on Mantis 1932

From: Korchemny, Dmitry <dmitry.korchemny_at_.....>
Date: Sun Jan 27 2008 - 07:02:45 PST
Hi Doron,

You also need to move changes in Annex M from 1932 to 2250.

Thanks,
Dmitry

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Bustan, Doron
Sent: Sunday, January 27, 2008 3:16 PM
To: Fais Yaniv; bassam.tabbara@synopsys.com
Cc: Havlicek John; sv-ac@server.eda.org
Subject: RE: [sv-ac] call to vote on Mantis 1932

All,

I got some feedback from Yaniv that consider vpi diagrams.
I do not feel comfortable with vpi and need some help. Due to the tight 
time schedule I would like to move the vpi part of 1932 to a new mantis
item 2250.

Bassam, could you help me with the issues Yaniv rise? I am not sure what
to do.

If people will not object to the separation of vpi from 1932, we can
voice vote on it in the next meeting.

Thanks

Doron 

>>
>> I vote yes on 1932 with the following friendly amendments:
>>
>>1. add to "36.45 Property specification" and "M.2 Source code" vpi
codes
>>for weak,iff,implies
>>
>>4. This enhancement adds additional operand types to property
>>expression,e.g: the cycle_delay_const_range_expression in
>>
>>always [cycle_delay_const_range_expression] property_expr , currently
>>only property-expression or sequence-expression operands exist in
>>property-expression, are those additional operand types accessible
from
>>the VPI ? (I'm sorry but I don't know enough about VPI to answer
>>this...)
>>
>>
>>
>>Yaniv

-- 
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.
Received on Sun Jan 27 07:04:10 2008

This archive was generated by hypermail 2.1.8 : Sun Jan 27 2008 - 07:05:33 PST