[sv-ac] 1932 - clock flow rules

From: Bustan, Doron <doron.bustan_at_.....>
Date: Tue Sep 04 2007 - 23:57:08 PDT
Hi John,

 

Would an addition similar to

 

16.15.1

Replace 

      - The set of semantic leading clocks of if (b) q1 else q2 is
{inherited}.

with 

      - The set of semantic leading clocks of if (b) q1 else q2 is
{inherited}.

      - The set of semantic leading clocks of  <next>q is {inherited}.

      - The set of semantic leading clocks of  q1 <until> q2  is
{inherited}.

 

Will be sufficient?

 

Doron


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Tue Sep 4 23:57:44 2007

This archive was generated by hypermail 2.1.8 : Tue Sep 04 2007 - 23:58:14 PDT