assertion - verilog

Santosh,
What exactly is your question? Please be clear on that first
and ask specific doubt to get a quick, efficient help.

Ajeetha, CVC
www.noveldv.com
santhosh wrote:
> hi ..,
> OVL assertion learning which lib used here plese help me .
>
> lways@(posedge clk_pvi or negedge rst_clk_pvi_n)
> begin
> if(~rst_clk_pvi_n)
> rx_rma_vl <= 1'b0;
> else if(in_run_st & rx_rma_eop & ap_rx_rma_ack)
> rx_rma_val <= 1'b0;
> else
> rx_rma_val <= in_run_st
> &(!(ap_rx_rma_ack&(rx_fifo_space=='d1)));
> end
>
>
> thanks,
> santhosh