[sv-ac] Mantis 1683: Relax rules for building multiclocked properties. New version uploaded

Hi all,

 

The proposal simplifies multiclocked property rules for users. It allows
clock switch at overlapping operators in addition to nonoverlapping
ones. The effect of this enhancement is also important for mantis 1932
(LTL operators).

 

I uploaded two different versions of this proposal:

MulticlockWithOverlap1683_gc_071122 _dk.pdf

and

MulticlockWithOverlap1683_071122 _dk.pdf

 

The former version relaxes rules for building multiclocked properties in
presence of the global clocking only, the latter version - regardless of
the global clocking. We need to discuss what algorithm to adopt.

 

Thanks,

Dmitry

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