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

I can make this meeting, but before booking my flights, I want to make sure
it is a definite GO.

If anyone else is flying into San Jose that morning, I'd appreciate hitching
a ride if possible.

Stu
~~~~~~~~~~~~~~~~~~~~~~~~~
Stuart Sutherland
stuart@sutherland-hdl.com
+1-503-692-0898

> -----Original Message-----
> From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On Behalf Of
> Korchemny, Dmitry
> Sent: Wednesday, March 05, 2008 11:48 AM
> To: Korchemny, Dmitry
> Cc: sv-bc@eda.org; sv-ec@eda.org; sv-ac@eda.org; Levy, Yossef (DT)
> Subject: [sv-bc] RE: [sv-ac] RE: [sv-ec] Checkers & Formal
> 
> Hi all,
> 
> I am suggesting meeting on Monday 10-Mar at Intel SC,
> 
> Santa Clara 12
> 3600 Juliette Lane
> Santa Clara, CA 95054
> 
> at 10 a.m.
> 
> Please, confirm your participation and send me your dietary
> constraints.
> 
> Suggested agenda:
> 
> * Overview of SV-AC enhancements
> * Motivation
> * Checker proposal overview (presentation)
> * Discussion
> 
> Any additional suggestions are welcome.
> 
> Disclaimer: I am not representing officially SV-AC at this meeting.
> 
> Thanks,
> Dmitry
> 
> -----Original Message-----
> From: Korchemny, Dmitry
> Sent: Wednesday, March 05, 2008 3:37 AM
> To: 'Clifford E. Cummings'
> Cc: sv-bc@server.eda.org; sv-ec@server.eda.org; sv-ac@server.eda.org;
> Levy, Yossef (DT)
> Subject: RE: [sv-ac] RE: [sv-ec] Checkers & Formal
> 
> Hi all,
> 
> Unfortunately Cliff will be unavailable, but I would still suggest to
> all interested P1800 people to organize a F2F meeting, since direct
> communication is much more efficient than a phone meeting (though we
> can
> organize a phone meeting also for those who cannot attend).
> 
> Let me know if there are people who are willing to meet on Monday
> 10-Mar, and I will organize a meeting at Intel in SC (it is also OK if
> somebody else volunteers to host).
> 
> Thanks,
> Dmitry
> 
> -----Original Message-----
> From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
> Behalf Of Clifford E. Cummings
> Sent: Wednesday, March 05, 2008 1:00 AM
> To: Korchemny, Dmitry
> Cc: sv-bc@server.eda.org; sv-ec@server.eda.org; sv-ac@server.eda.org
> Subject: [sv-ac] 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.
> 
> ---------------------------------------------------------------------
> 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.
> 



-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.