Re: [sv-ac] Local variable question.


Subject: Re: [sv-ac] Local variable question.
From: Adam Krolnik (krolnik@lsil.com)
Date: Thu Apr 10 2003 - 07:55:14 PDT


Hi John;

I was looking at the LRM and wondering about the definition of sampling
for local variables in the presence of variable repeats and ranges.
Consider these two examples:

         (a, x = data) [*1:3] ## [1:2] y ##1 z == x

     How would this work - considering overlapping conditions of a and y?

          a [*1:3] ## [1:2] y, x = data ##1 z == x

     Similar idea, different point - what data would you get?
     when there are overlaps in a and y?

     Adam Krolnik
     Verification Mgr.
     LSI LOgic Corp.
     Plano TX. 75074



This archive was generated by hypermail 2b28 : Thu Apr 10 2003 - 07:57:55 PDT