[sv-ac] 2250, 2069, 2168, 2182

Hi John,

 

You can call for vote on the following items: 2250, 2069, 2168, and
2182.

 

Here is more detailed information:

 

2250    VPI changes related to 1932

 

I made the necessary changes and the proposal is ready for vote

 

2069    Formal semantics for coverage is missing

 

Doron reviewed and approved the proposal

 

2168    Formal semantics for edge-sensitive clocks

 

I made a note about clock synchronization. If the changes are OK with
you, you can call for vote

 

2182    Elaborate VPI diagrams for checkers

 

I think I addressed everybody's comments.

 

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.