RE: [sv-ac] RE: 1683

I agree.

 

Dmitry

 

________________________________

From: Bustan, Doron 
Sent: Sunday, December 09, 2007 2:07 PM
To: Korchemny, Dmitry; Fais Yaniv; sv-ac@server.eda.org
Subject: RE: [sv-ac] RE: 1683

 

I'm also not sure but I think the section which defines the semantic
leading clock of sequences and properties (page 375) :

A multiclocked sequence has a unique semantic leading clock, defined
inductively as follows:

...

The set of semantic leading clocks of a multiclocked property is defined
inductively as follows:

...

 

is not needed anymore since it was only used for the previous
restrictions, it is not necessarily bad to keep it.

[Korchemny, Dmitry] John mentioned several reasons why to keep the
semantic leading clock definition. I remember exactly the following one:
the semantic leading clock is used in the definition of local variable
initialization (Mantis 1668). We could discuss this issue with John. 

[[DB:]] Another reason to have a single leading clock is to be able to
determine when an attempt start.

 

Doron


-- 
This message has been scanned for viruses and 
dangerous content by MailScanner <http://www.mailscanner.info/> , 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.