Thanks, Dmitry -----Original Message----- From: Neil.Korpusik@Sun.COM [mailto:Neil.Korpusik@Sun.COM] Sent: Friday, April 11, 2008 2:02 AM To: Korchemny, Dmitry Cc: sv-champions@eda.org; sv-ac@eda.org Subject: Re: [sv-ac] RE: [sv-champions] List of Mantis items for the April 10 conference call - reminder Hi Dmitry, 2336 was on the agenda for today's meeting. We ran out of time this morning before finishing the initial agenda. The mantis items you are showing in your list will be reviewed for the next Champion's meeting (April 24). Neil Korchemny, Dmitry wrote: > Hi Neil, > > Please, note also the following SV-AC items that are ready for the > champions' review: > > 2150 - use of automatic variables in action block and subroutine calls > should not be allowed > > 2333 - Champions feedback on 0002173 > > 2246 - VPI definitions of assertkill need modification > > 2336 - VPI part of 1757 > > 2250 - VPI changes related to 1932 > > 1698 - The description of sampled value functions is insufficient > > 1769 - Elaboration time user assertion and error reporting tasks > > Thanks, > Dmitry > > -----Original Message----- > From: owner-sv-champions@server.eda.org > [mailto:owner-sv-champions@server.eda.org] On Behalf Of Neil Korpusik > Sent: Thursday, April 10, 2008 4:53 AM > To: sv-champions@server.eda.org > Subject: [sv-champions] List of Mantis items for the April 10 conference > call - reminder > > FYI, > > The next meeting is tomorrow. > > Neil > > > > > Neil Korpusik wrote: >> Hi Champions, >> >> Our next conference call will be Thursday, April 10 8am-10am PDT. >> Attached is the list of Mantis items for review. >> >> >> Toll Free Dial In Number: (866)839-8145 >> Int'l Access/Caller Paid Dial In Number: (865)524-6352 >> ACCESS CODE: 9301228 >> >> >> >> Neil >> >> >> > --------------------------------------------------------------------- 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 Fri Apr 11 08:33:28 2008
This archive was generated by hypermail 2.1.8 : Fri Apr 11 2008 - 08:33:31 PDT