Hi John, If you think so we can remove the dependency on checkers. Regards, Dmitry -----Original Message----- From: John Havlicek [mailto:john.havlicek@freescale.com] Sent: Monday, November 19, 2007 7:44 PM To: Korchemny, Dmitry Cc: Bresticker, Shalom; john.havlicek@freescale.com; sv-ac@eda.org Subject: Re: [sv-ac] SV-AC plans for the extension Hi Dmitry: One reason this may have been put in SV-AC is that the feature that is envisioned is itself an assertion. I still don't see why this has especially to do with checkers. A basic usage is to write assertions on parameters as module level items. I guess that this could be done with "assert" syntax. J.H. > X-ExtLoop1: 1 > X-IronPort-AV: E=Sophos;i="4.21,437,1188802800"; > d="scan'208";a="393661610" > X-MimeOLE: Produced By Microsoft Exchange V6.5 > Content-class: urn:content-classes:message > Date: Mon, 19 Nov 2007 19:04:29 +0200 > X-MS-Has-Attach: > X-MS-TNEF-Correlator: > Thread-Topic: [sv-ac] SV-AC plans for the extension > Thread-Index: AcgmZ6Ul+bikEqDPQXWVXh1fZaFq7wEYBaiAAABjwZAAABIZwAABFJZwAAAN7LA= > From: "Korchemny, Dmitry" <dmitry.korchemny@intel.com> > Cc: <sv-ac@eda.org> > X-OriginalArrivalTime: 19 Nov 2007 17:05:03.0867 (UTC) FILETIME=[53DCD4B0:01C82ACE] > > I suggest we start with checkers and BC reviews it. If time allows we > will expand it to other cases. > > Thanks, > Dmitry > > -----Original Message----- > From: Bresticker, Shalom=20 > Sent: Monday, November 19, 2007 7:03 PM > To: Korchemny, Dmitry; 'john.havlicek@freescale.com' > Cc: 'sv-ac@server.eda.org' > Subject: RE: [sv-ac] SV-AC plans for the extension > > BC won't have time. But AC can do it and have BC review it. Isn't that > what AC has done with the severity tasks? > > Shalom=20 > > > -----Original Message----- > > From: Korchemny, Dmitry=20 > > Sent: Monday, November 19, 2007 6:59 PM > > To: Bresticker, Shalom; 'john.havlicek@freescale.com' > > Cc: 'sv-ac@server.eda.org' > > Subject: RE: [sv-ac] SV-AC plans for the extension > >=20 > > In this case it should belong to SV-BC. But it also makes=20 > > sense to elaborate it in SV-AC, and then to generalize in SV-BC. > >=20 > > Dmitry > >=20 > > -----Original Message----- > > From: Bresticker, Shalom > > Sent: Monday, November 19, 2007 6:30 PM > > To: Korchemny, Dmitry; 'john.havlicek@freescale.com' > > Cc: 'sv-ac@server.eda.org' > > Subject: RE: [sv-ac] SV-AC plans for the extension > >=20 > > I see. But it would be of general interest, and it is a sort=20 > > of compile-time assertion. We should still try to do it. I=20 > > estimate that it would be one of the smaller efforts. > >=20 > > Shalom=20 > >=20 > > > -----Original Message----- > > > From: Korchemny, Dmitry > > > Sent: Monday, November 19, 2007 6:28 PM > > > To: john.havlicek@freescale.com; Bresticker, Shalom > > > Cc: sv-ac@server.eda.org > > > Subject: RE: [sv-ac] SV-AC plans for the extension > > >=20 > > > Hi Shalom, > > >=20 > > > If we consider this problem (1769, Elaboration time user=20 > > assertion and=20 > > > error reporting tasks) in the context of SV-AC, then it apparently=20 > > > relates to checkers. We could also add this feature to=20 > > sequences and=20 > > > properties as well, but it would require introducing generate=20 > > > statements inside sequences and properties (see mantis=20 > > 1646), and it=20 > > > is not realistic to address before 2008 release. > > >=20 > > > Thanks, > > > Dmitry > > >=20 > > > -----Original Message----- > > > From: owner-sv-ac@server.eda.org > > > [mailto:owner-sv-ac@server.eda.org] On Behalf Of John Havlicek > > > Sent: Wednesday, November 14, 2007 4:39 AM > > > To: Bresticker, Shalom > > > Cc: john.havlicek@freescale.com; sv-ac@server.eda.org > > > Subject: Re: [sv-ac] SV-AC plans for the extension > > >=20 > > > Hi Shalom: > > >=20 > > > I don't think there is an intrinsic dependency, but Dmitry thought=20 > > > that the use of such elaboration time assertions in=20 > > checkers would be=20 > > > important. > > >=20 > > > I have asked Dmitry to explain further. > > >=20 > > > J.H. > > >=20 > > > > X-ExtLoop1: 1 > > > > X-IronPort-AV: E=3DSophos;i=3D"4.21,410,1188802800";=20 > > > > d=3D"scan'208";a=3D"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:=20 > > > > X-MS-TNEF-Correlator:=20 > > > > 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)=20 > > > > FILETIME=3D[B3454C50:01C825E9] > > > >=20 > > > > John, > > > >=20 > > > > In the xls, 1769 is marked as related to 1900. > > > >=20 > > > > What is the connection? > > > >=20 > > > > Thanks, > > > > Shalom=3D20 > > > >=20 > > > > > -----Original Message----- > > > > > From: owner-sv-ac@server.eda.org=3D20=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 =3D20 Hi > > > Neil, Karen: > > > > >=3D20 > > > > > Attached is a .xls with our list of items for the extension. > > > > >=3D20 > > > > > Below is a rough schedule for the work based on the > > > effort estimates. > > > > >=3D20 > > > > > Best regards, > > > > >=3D20 > > > > > John H. > > > > >=3D20 > > > > > -------------------------------------------------------------- > > > > > ----------- > > > > > 2007-11-11 > > > > >=3D20 > > > > > 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) =3D20 > > > > > 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: > > > > >=3D20 > > > > > -- > > > > > This message has been scanned for viruses and > > > dangerous=3D20 content > > > > >by MailScanner, and is believed to be clean. > > > > >=3D20 > > > > >=3D20 > > > >=20 > > >=20 > > --------------------------------------------------------------------- > > > > Intel Israel (74) Limited > > > >=20 > > > > 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=20 > > > > recipient, please contact the sender and delete all copies. > > >=20 > > > -- > > > This message has been scanned for viruses and dangerous content by=20 > > > 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. --------------------------------------------------------------------- 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 20 04:30:31 2007
This archive was generated by hypermail 2.1.8 : Tue Nov 20 2007 - 04:30:50 PST