Subject: Re: [sv-ac] local variables
From: Adam Krolnik (krolnik@lsil.com)
Date: Wed Mar 05 2003 - 15:02:07 PST
Hi John;
Your proposal says:
>7) The sequence must end at the point where the value is accessed. Otherwise, the
> comparison of such a variable will result in false. For example, in s10, if
> sequence s9 doesn't end where s9.x is used, then (s9.x == data2) will be false,
> regardless of the value of data2.
Isn't this a little implicit to require s9 to end at the time of use?
Can I do something like this? This is much more explicit...
sequence s9(cmpdata) = (a; (int x = data, int y = data1) b; c; [0] cmpdata == x);
sequence s10 = (d; e; ended s9(data2));
On the example from #8, is this describing useful (desired) functionality,
or is it describing what happens (whether or not that is useful.)
> Then p12 becomes:
> property p12_v1 = (d ; e; (v1 == data2));
> property p12_v2 = (d ; e; (v2 == data2));
> Both properties p12_v1 and p12_v2 must hold.
If v1 != v2 then you get a failure! This concept of multiple matches at the same time
step (due to nondeterminism) is not intuitive.
Concerning templates and dynamic variables - what type is recommended for dynamic variables?
With templates one can pass in signals of different sizes. If an 'int' is only 32 bits,
then I guess a template won't work with data larger than 32 bits.
Thanks John.
Adam Krolnik
Verification Mgr.
LSI Logic Corp.
Plano TX. 75074
This archive was generated by hypermail 2b28 : Wed Mar 05 2003 - 15:03:33 PST