Re: [sv-ac] 1995 review

Hi Doron,

Actually,  the "foo |->" is there, it's just on the previous line.

	assert property (@(posedge clk) (foo |->
		(bar |-> (table[i1][j1] != `BAD_VAL))));

Erik,

Could you break the line before the "(foo |->" so that the entire expression
appears on one line?  That will make things easier to read.

I found no other problems in my review of 1995.

Thanks,

Tom

Bustan, Doron wrote On 10/21/07 07:48 AM,:

>    3. at the second example, I think that
> 
>  
> 
>       “(bar |-> (table[i1][j1] != `BAD_VAL))));”
> 
>  
> 
>        Should be
> 
>   
> 
>       “foo -> (bar |-> (table[i1][j1] != `BAD_VAL))));”
> 

-- 
------------------
Thomas J. Thatcher
Sun Microsystems
------------------


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.