assertion

[santhosh]

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

 

[Ajeetha]

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