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. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Mon Nov 19 09:45:31 2007
This archive was generated by hypermail 2.1.8 : Mon Nov 19 2007 - 09:46:02 PST