Subject: [sv-ac] SVA enhancement -- the support of parameter value assignment
From: Joseph Lu (Juin-Yeu.Lu@sun.com)
Date: Thu Jun 19 2003 - 17:20:25 PDT
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 : Thu Jun 19 2003 - 17:20:56 PDT