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

Hi, Dimitry -

Unfortunately, I will be teaching SystemVerilog in San Diego all of 
next week and am unavailable on the dates mentioned.

We should schedule a joint meeting with all of the SV-BC and SV-EC 
because I am not the only one who would benefit from this briefing. 
Let's see if the group chairs can schedule this joint meeting (again, 
I do not speak on behalf o either the BC or EC).

Thanks for the reply.

Regards - Cliff

At 02:04 PM 3/4/2008, Korchemny, Dmitry wrote:
>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.

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