RE: [sv-champions] List of Mantis items for the April 10 conference call

Hi Neil,

SV-AC had a discussion on the new keywords introduced by 1932 following
the champions' feedback. It was decided to substitute (s_)next by
(s_)nexttime to avoid the collision with the standard SV package. The
updated proposal has been approved by SV-AC. SV-AC thinks that it is
important to keep the keywords clear and intuitive for the user
community, and therefore recommends keeping the keywords introduced by
this proposal. It is not feasible, either to reduce the number of the
new keywords since they correspond to the new LTL operators being
introduced.

SV-AC believes that use of 'strong' for sequential properties along with
's_' prefix for other strong operators is consistent, since the keyword
'strong' (and 'weak') is applied to the entire temporal expression,
while 's_' relates to a specific operator only. Current proposal allows
using 'strong' only with sequential properties only, and using it with
arbitrary property expressions is a potential subject of future
enhancements. Note also, that using keywords 'strong' and 'weak' with
the names of temporal operators (e.g., 'nexttime' -> 'weak nexttime',
'until' -> 'weak until', 's_nexttime' -> 'strong nexttime', 's_until' ->
'strong until', etc.) will greatly harm the code readability and
conciseness.

Thanks,
Dmitry

-----Original Message-----
From: owner-sv-champions@server.eda.org
[mailto:owner-sv-champions@server.eda.org] On Behalf Of Neil Korpusik
Sent: Sunday, April 06, 2008 6:07 AM
To: Neil.Korpusik@Sun.COM
Cc: sv-champions@server.eda.org
Subject: Re: [sv-champions] List of Mantis items for the April 10
conference call

Hi Champions.

Mantis 1932 may still have issues with keywords. It doesn't
appear that too many changes have been made in this area.


Neil




Neil Korpusik wrote:
> Hi Champions,
> 
> Our next conference call will be Thursday, April 10 8am-10am PDT.
> Attached is the list of Mantis items for review.
> 
> 
>                Toll Free Dial In Number: (866)839-8145
> Int'l Access/Caller Paid Dial In Number: (865)524-6352
>                             ACCESS CODE: 9301228
> 
> 
> 
> Neil
> 
> 
> 
> 

-- 
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.