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

I see. But it would be of general interest, and it is a sort of
compile-time assertion. We should still try to do it. I estimate that it
would be one of the smaller efforts.

Shalom 

> -----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
> 
> Hi Shalom,
> 
> If we consider this problem (1769, Elaboration time user 
> assertion and error reporting tasks) in the context of SV-AC, 
> then it apparently relates to checkers. We could also add 
> this feature to sequences and properties as well, but it 
> would require introducing generate statements inside 
> sequences and properties (see mantis 1646), and it is not 
> realistic to address before 2008 release.
> 
> Thanks,
> Dmitry 
> 
> -----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
> 
> 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.
> 
---------------------------------------------------------------------
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.