Subject: RE: [sv-ac] SVA enhancement -- the support of parameter value assignment
From: Joseph Lu (Juin-Yeu.Lu@sun.com)
Date: Mon Jun 23 2003 - 12:57:01 PDT
>
>The other alternative of course is to put the property in a module and
>use the existing parameters.
>
In building commonly-used assertion libaries, putting properties in a module
may not solve all the problems and may restrict ourself in methodology.
For example, the complie-time constants.
--Joseph
>X-MimeOLE: Produced By Microsoft Exchange V6.0.6249.0
>content-class: urn:content-classes:message
>MIME-Version: 1.0
>Subject: RE: [sv-ac] SVA enhancement -- the support of parameter value assignment
>Date: Mon, 23 Jun 2003 09:12:57 -0400
>X-MS-Has-Attach:
>X-MS-TNEF-Correlator:
>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
>Content-Transfer-Encoding: 8bit
>X-MIME-Autoconverted: from quoted-printable to 8bit by nintendo.Eng.Sun.COM id h5NDD1U17814
>
>
>
>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 - 12:57:38 PDT