Assertion using Generate Block

Coverage
,
7

In reply to dave_59:

Hi Dave,

Thanks for the reply.I want to send the data after shifting.But it dose not work the the way i need/intended.

I will mention my piece of code and requirement below,

sequence ev_frs0_rat2_x8_wid8_tx_pa0(bit [63:0] TX_DATA);
@(posedge ickopi_txclk)
sequence logic … iopi_datalane0_txdata[63:0]== TX_DATA));
endsequence

              for (i = 0; i < 3; i++) begin 
		initial
	begin
	   TX_DATA = 64'b1 << i;
	   $display("the value=%0b",TX_DATA);
           begin : assert_array_i
           cp_frs0_rat2_x8_wid8_tx_pa0: cover property (ev_frs0_rat2_x8_wid8_tx_pa0((TX_DATA))); 
           end
	end
***Note : This code is not working,It will have the final value TX_DATA = 4;//100 for all the instances created.which is not intended.

  1. I want to pass the TX_DATA with different value while generating the assertion in the generate block.

    i.e…, TX_DATA = 1,TX_DATA=2,TX_DATA=4,TX_DATA=8,16,… up-to TX_DATA[63] ==1.
    For this i want to shift each data and send it through the generated assertion.

    So, Adding from your code i think i need two variables one to loop and other to store the shift data and pass it to the assertion.

  2. I want to pass the value and print it and see whether i am send it correctly or not.

4)I am trying in other way if it works i will reply on it.

Thanks for the reply to cool_cakes and Dave

-Regards,
-Raja.