Re: [sv-ac] SV-AC plans for the extension

From: John Havlicek <john.havlicek_at_.....>
Date: Tue Nov 13 2007 - 18:39:05 PST
Hi Shalom:

I don't think there is an intrinsic dependency, but
Dmitry thought that the use of such elaboration time
assertions in checkers would be important.

I have asked Dmitry to explain further.

J.H.

> X-ExtLoop1: 1
> X-IronPort-AV: E=Sophos;i="4.21,410,1188802800"; 
>    d="scan'208";a="232882108"
> X-MimeOLE: Produced By Microsoft Exchange V6.5
> Content-class: urn:content-classes:message
> Date: Tue, 13 Nov 2007 13:38:24 +0200
> X-MS-Has-Attach: 
> X-MS-TNEF-Correlator: 
> Thread-Topic: [sv-ac] SV-AC plans for the extension
> Thread-Index: AcglqGSvLMcCpXV9RFqqrXbF4q42wQAQNwcg
> From: "Bresticker, Shalom" <shalom.bresticker@intel.com>
> Cc: <sv-ac@eda.org>
> X-OriginalArrivalTime: 13 Nov 2007 11:38:24.0533 (UTC) FILETIME=[B3454C50:01C825E9]
> 
> John,
> 
> In the xls, 1769 is marked as related to 1900.
> 
> What is the connection?
> 
> Thanks,
> Shalom=20
> 
> > -----Original Message-----
> > From: owner-sv-ac@server.eda.org=20
> > [mailto:owner-sv-ac@server.eda.org] On Behalf Of John Havlicek
> > Sent: Tuesday, November 13, 2007 5:49 AM
> > To: neil.korpusik@sun.com; karen.pieper@synopsys.com
> > Cc: sv-ac@server.eda.org
> > Subject: [sv-ac] SV-AC plans for the extension
> >=20
> > Hi Neil, Karen:
> >=20
> > Attached is a .xls with our list of items for the extension.
> >=20
> > Below is a rough schedule for the work based on the effort estimates.
> >=20
> > Best regards,
> >=20
> > John H.
> >=20
> > --------------------------------------------------------------
> > -----------
> > 2007-11-11
> >=20
> > Legend:
> > M:  major item slot (2 concurrent)
> > m:  minor item slot (4 concurrnet)
> > v:  very minor item slot (no limit)
> > d:  draft preparation slot (no limit)
> >=20
> > 2007-11-13
> >   M: 1932 ballot & revision
> >   M: 1900 review
> >   m: 1757 ballot & revision
> >   m: 1898 review
> >   m: 1756 ballot & revision
> >   m: 1682 ballot & revision
> > 2007-11-20
> >   M: 1932 ballot & revision
> >   M: 1900 ballot & revision
> >   m: 1757 ballot & revision
> >   m: 1898 review
> >   m: 1756 ballot & revision
> >   m: 1682 ballot & revision
> >   v: 2171 review
> >   d: 1503 draft
> >   d: 2033 draft
> > 2007-11-27
> >   M: 1932 ballot & revision
> >   M: 1900 ballot & revision
> >   m: 1898 ballot & revision
> >   m: 1756 ballot & revision
> >   m: 1729 ballot & revision
> >   m: 1503 ballot & revision
> >   v: 2171 ballot & revision
> >   v: 2033 review
> >   d: 1667 draft
> >   d: 1683 draft
> > 2007-12-04
> >   M: 1900 ballot & revision
> >   M: 1995 ballot & revision
> >   m: 1898 ballot & revision
> >   m: 1729 ballot & revision
> >   m: 1756 ballot & revision
> >   m: 1503 ballot & revision
> >   v: 2033 ballot & revision
> >   d: 1667 draft
> >   d: 2150 draft
> >   d: 1683 draft
> > 2007-12-11
> >   M: 1667 review
> >   M: 1995 ballot & revision
> >   m: 1756 ballot & revision
> >   m: 1503 ballot & revision
> >   m: 2150 review
> >   m: 1683 review
> >   v: 1786 review
> >   d: 2172 draft
> > 2007-12-18
> >   M: 1667 review
> >   M: 1995 ballot & revision
> >   m: 2005 review
> >   m: 2172 review
> >   m: 2150 review
> >   m: 1683 review
> >   v: 1786 ballot & revision
> >   d: 1627 draft
> > 2008-01-08 JAN
> >   M: 1667 ballot & revision
> >   M: 2005 review
> >   m: 2172 ballot & revision
> >   m: 2150 ballot & revision
> >   m: 1683 ballot & revision
> >   m: 1769 review
> >   v: 1687 review
> >   d: 2173 draft
> >   d: 2069 draft
> >   d: 1901 draft
> > 2008-01-15
> >   M: 1667 ballot & revision
> >   M: 2005 review
> >   m: 2172 ballot & revision
> >   m: 2150 ballot & revision
> >   m: 1683 ballot & revision
> >   m: 1769 ballot & revision
> >   v: 1687 ballot & revision
> >   v: 1901 review
> >   d: 0966/1982 draft
> >   d: 2110 draft
> >   d: 2069 draft
> >   d: 1987 draft
> > 2008-01-22
> >   M: 2005 review
> >   M: 2110 review
> >   m: 2173 review
> >   m: 2150 ballot & revision
> >   m: 1769 ballot & revision
> >   m: 2069 review
> >   v: 1901 ballot & revision
> >   v: 1987 review
> >   d: 0966/1982 draft
> >   d: 2100 draft
> >   d: 1686 draft
> >   d: 1830 draft
> > 2008-01-29
> >   M: 2005 ballot & revision
> >   M: 2110 ballot & revision
> >   m: 2173 ballot & revision
> >   m: 0966/1982 review
> >   m: 2100 review
> >   m: 2069 review
> >   v: 1686 review
> >   v: 1830 review
> >   v: 1987 ballot & revision
> >   d: 1806 draft
> > 2008-02-05
> >   M: 2005 ballot & revision
> >   M: 2110 ballot & revision
> >   m: 2173 ballot & revision
> >   m: 0966/1982 ballot & revision
> >   m: 2100 ballot & revision
> >   m: 1806 review
> >   v: 1686 ballot & revision
> >   v: 1830 ballot & revision
> > 2008-02-12
> >   M: 2069 ballot & revision
> >   M: 1551 review
> >   m: 0966/1982 ballot & revision
> >   m: 2100 ballot & revision
> >   m: 2168 review
> >   m: 1806 review
> > 2008-02-19
> >   M: 2069 ballot & revision
> >   M: 1551 ballot & revision
> >   m: 2168 ballot & revision
> >   m: 1806 ballot & revision
> >   m:
> >   m:
> > 2008-02-26
> >   M: 1551 ballot & revision
> >   M:
> >   m:
> >   m:
> >   m:
> >   m:
> >=20
> > --
> > This message has been scanned for viruses and dangerous=20
> > content by MailScanner, and is believed to be clean.
> >=20
> >=20
> ---------------------------------------------------------------------
> 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 Tue Nov 13 18:39:33 2007

This archive was generated by hypermail 2.1.8 : Tue Nov 13 2007 - 18:39:41 PST