Subject: Fwd: RE: [sv-ac] SVA enhancement -- the support of parameter value assignment
From: Stephen Meier (Stephen.Meier@synopsys.com)
Date: Mon Jun 23 2003 - 18:16:19 PDT
Hi:
Joseph - thanks for the enhancement request, I will note it on the pending
enhancement list
Jay - templates were removed at the tail end of sv3.1a because bind feature
provided much of the needed capability without some of the template
challenges. Any further pursuit of this enhancement should probably rest
with SV-BC or SV-EC as it is more general to the language.
Keep the ideas and discussion coming.
Steve
>Subject: RE: [sv-ac] SVA enhancement -- the support of parameter value
>assignment
>Date: Mon, 23 Jun 2003 09:12:57 -0400
>Thread-Topic: [sv-ac] SVA enhancement -- the support of parameter value
>assignment
>Thread-Index: AcM3eaSPSxXXVDP2RJCVv4HdeaaLkQCD1Qpw
>From: "Jay Lawrence" <lawrence@cadence.com>
>To: "Connie O'Dell" <c.odell@ieee.org>, "Joseph Lu" <Juin-Yeu.Lu@sun.com>,
> <smeier@pophost.synopsys.com>, <dudani@us04.synopsys.com>
>Cc: <sv-ac@eda.org>
>X-Received: By mailgate2.Cadence.COM as GAA19949 at Mon Jun 23 06:12:57 2003
>X-MIME-Autoconverted: from quoted-printable to 8bit by server.eda.org id
>h5NDD3oL003007
>Sender: owner-sv-ac@eda.org
>X-pstn-levels: (C:79.6536 M:99.5542 P:95.9108 R:95.9108 S:74.6022 )
>X-pstn-settings: 1 (0.1500:0.1500) pmCr
>X-pstn-addresses: from <lawrence@cadence.com>
>
>
>
>
>There already was a proposal on how to do this. The sv-ac was attempting
>to add "templates" to accomplish this parameterization but in a much
>more generic fashion.
>
>Rather than specifically add parameters to properties we should finish
>the work on templates.
>
>The other alternative of course is to put the property in a module and
>use the existing parameters.
>
>Jay
>
>
> > -----Original Message-----
> > From: Connie O'Dell [mailto:c.odell@ieee.org]
> > Sent: Friday, June 20, 2003 6:15 PM
> > To: Joseph Lu; smeier@pophost.synopsys.com; dudani@us04.synopsys.com
> > Cc: sv-ac@eda.org
> > Subject: RE: [sv-ac] SVA enhancement -- the support of
> > parameter value assignment
> >
> >
> > This seems like a useful feature to add, especially for the
> > type of example
> > shown. Do we need a second?
> >
> > Cheers,
> > Connie L. O'Dell
> > Formal Verification Tech Marketing / Support
> > c.odell@ieee.org
> > (303)641-5191
> > Boulder, CO
> > Resume: http://connie.odell.home.attbi.com/
> >
> > -----Original Message-----
> > From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org]On Behalf Of
> > Joseph Lu
> > Sent: Thursday, June 19, 2003 6:20 PM
> > To: smeier@pophost.synopsys.com; dudani@us04.synopsys.com
> > Cc: Juin-Yeu.Lu@sun.com; sv-ac@eda.org
> > Subject: [sv-ac] SVA enhancement -- the support of parameter value
> > assignment
> >
> >
> >
> > Hi,
> >
> > I think we need to support parameter value assignment for SVA.
> > For example, if i want to use SVA to define common assertion
> > libraries that
> > can be instantiated with various configurations, we need to be able
> > to support property instance parameter value assignment.
> >
> > property pipe_p(valid_in, p_in, p_out);
> > parameter pipe_len = 5;
> >
> > int x;
> > (valid_in, (x = p_in)) |-> ##pipe_len (p_out == x));
> > endproperty
> >
> > pipe_p1 : assert property ( #(10) pipe_p(m1_valid_in,
> > m1_p_in, m1_p_out)) ;
> > else $error;
> >
> >
> > Regards,
> >
> > --Joseph
> >
> > --------------------------------------------------
> > Joseph Lu
> > Processor Product and Network Group
> > Sun Microsystems
> > M/S USUN 03-202, 430 N. Mary Ave.,
> > Sunnyvale, CA 94086
> > 408-616-5887
> > joseph@eng.sun.com
> > --------------------------------------------------
> >
> >
> >
> >
> >
Steve Meier (stephen.meier@synopsys.com) W: 650-584-4476, Cell: 408-393-8246
This archive was generated by hypermail 2b28 : Mon Jun 23 2003 - 18:16:51 PDT