[sv-bc] RE: [sv-ec] Checkers & Formal

Hi Cliff,

I will be in SJ this Friday (03/07/08) and Monday (03/10/08), and on
Monday I am available almost the whole day. If it is possible to
organize a meeting I will be glad to make a presentation and to try to
address technical and conceptual concerns.

Will this work?

I must also say that the checkers are the joint proposal with Ed Cerny
and Erik Seligman.

Thanks,
Dmitry

-----Original Message-----
From: owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org] On
Behalf Of Clifford E. Cummings
Sent: Tuesday, March 04, 2008 9:49 PM
To: sv-bc@server.eda.org; sv-ec@server.eda.org
Subject: [sv-ec] Checkers & Formal

Thanks, Steven for distributing the slides.

The slides help but I think what we really need is to have a joint 
meeting between the BC & EC and at least the following individuals 
from the AC: Dimitry, Ed Cerny and Harry Foster. There are times when 
I cannot tell if the slide is promoting a feature or discouraging a
feature.

I would like Dimitry to make the presentation (we don't need Webex or 
anything, we can all follow the slides) and I would like to have two 
very trusted Formal guys in Ed and Harry to help address questions. 
If Dimitry says something is "needed" I want to question Ed and Harry 
to ask what the alternatives could be. I have a great deal of trust 
and respect for the opinions of Ed and Harry, gained over many years 
of interaction with them both.

Does this makes sense? Could we make this happen?

Otherwise, I would be inclined to vote the whole mess out and take it 
up again in the next rev of 1800, along with some of the messes that 
I was proposing.

Regards - Cliff

At 10:16 AM 3/4/2008, Steven Sharp wrote:
>I am attaching the PowerPoint presentation on checkers that Dmitry
sent.
>
>Steven Sharp
>sharp@cadence.com

----------------------------------------------------
Cliff Cummings - Sunburst Design, Inc.
14314 SW Allen Blvd., PMB 501, Beaverton, OR 97005
Phone: 503-641-8446 / FAX: 503-641-8486
cliffc@sunburst-design.com / www.sunburst-design.com
Expert Verilog, SystemVerilog, Synthesis and Verification Training


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