Re: assign out = mem[index] ;

From: Gordon Vreugdenhil (gvreugde@synopsys.com)
Date: Mon Aug 05 2002 - 07:28:45 PDT


Precedence: bulk

Shalom.Bresticker@motorola.com wrote:
>
> Precedence: bulk
>
> Hi,
>
> I need an urgent answer to the following question:
>
> What is the behavior of the continuous assignment
>
> assign out = mem[index] ;
>
> Is it sensitive to index or to mem[index] ?
>
> That is, if mem[index] changes while index stays constant,
> is out updated ?
>
> Mac claims it is.

I agree. In fact, if index changes but mem[index]
doesn't, there is no update.

Of course the only way to observe this is to have a
function call with side effects in the expression.

Gord.

> For some reason, there is a doubt in my mind.
>
> I don't have the standard with me,
> nor convenient access to different simulators.
>
> Yes, I know we've been discussing it lately,
> that's why the question came up in my mind.
> It's urgent because 1364.1 uses that structure for RAM modeling.
>
> Sorry for bothering you.
>
> Thanks,
> Shalom

-- 
----------------------------------------------------------------------
Gord Vreugdenhil                                 gvreugde@synopsys.com
Staff Engineer, VCS (Verification Tech. Group)   (503) 547-6054
Synopsys Inc., Beaverton OR


This archive was generated by hypermail 2.1.4 : Thu Oct 10 2002 - 09:24:27 PDT and
sponsored by Boyd Technology, Inc.