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 > > > -- 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.Received on Wed Apr 9 23:57:26 2008
This archive was generated by hypermail 2.1.8 : Wed Apr 09 2008 - 23:57:28 PDT