Hi Heath, Here is bridge information: Monday, March 10, 2008, 10:00 AM US Pacific Time 888-875-9370 (US toll-free), 916-356-2663 (US toll), Bridge: 3, Passcode: 6303075 Regards, Dmitry ________________________________ From: owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org] On Behalf Of Heath Chambers Sent: Thursday, March 06, 2008 6:12 AM To: Korchemny, Dmitry Cc: sv-bc@server.eda.org; sv-ec@server.eda.org; sv-ac@server.eda.org; Levy, Yossef (DT) Subject: RE: [sv-bc] RE: [sv-ac] RE: [sv-ec] Checkers & Formal Dmitry, I won't be able to be there in person, but I would definitely like to call in and follow along with the slides and discussion. Thanks, -- Heath #################################### | | | HMC Design Verification, Inc. | | | | Heath Chambers | | President/Verification Designer | | 1203 San Juan Drive | | Roswell, NM 88201 | | | | hmcdvi@msn.com | | Phone: (575)627-2069 | | Fax: (575)627-2069 | | http://hmcdv.iwarp.com | | | #################################### > -----Original Message----- > From: owner-sv-ec@server.eda.org > [mailto:owner-sv-ec@server.eda.org] On Behalf Of Korchemny, Dmitry > Sent: Wednesday, March 05, 2008 6:46 PM > To: stuart@sutherland-hdl.com > Cc: sv-bc@server.eda.org; sv-ec@server.eda.org; > sv-ac@server.eda.org; Levy, Yossef (DT) > Subject: RE: [sv-bc] RE: [sv-ac] RE: [sv-ec] Checkers & Formal > > Hi Stu, > > Several more people sent notified that they would come, and > the meeting > will happen. I will be very glad if you join. > > Dmitry > > -----Original Message----- > From: Stuart Sutherland [mailto:stuart@sutherland-hdl.com] > Sent: Wednesday, March 05, 2008 11:25 PM > To: Korchemny, Dmitry > Cc: sv-bc@eda.org; sv-ec@eda.org; sv-ac@eda.org; Levy, Yossef (DT) > Subject: 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. > > > > > --------------------------------------------------------------------- > 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 <http://www.mailscanner.info/> , 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.Received on Wed Mar 5 23:32:12 2008
This archive was generated by hypermail 2.1.8 : Wed Mar 05 2008 - 23:33:31 PST