Subject: RE: [sv-ac] SVA enhancement -- the support of parameter value assignment
From: Jay Lawrence (lawrence@cadence.com)
Date: Mon Jun 23 2003 - 06:12:57 PDT
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
> --------------------------------------------------
>
>
>
>
>
This archive was generated by hypermail 2b28 : Mon Jun 23 2003 - 06:13:34 PDT