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, and is
believed to be clean.