Subject: RE: [sv-ac] SVA enhancement -- the support of parameter value assignment
From: Connie O'Dell (c.odell@ieee.org)
Date: Fri Jun 20 2003 - 15:15:28 PDT
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 : Fri Jun 20 2003 - 15:16:33 PDT