In reply to dave_59:
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);
sequence logic ....................... iopi_datalane0_txdata[63:0]== TX_DATA));
for (i = 0; i < 3; i++) begin
TX_DATA = 64'b1 << i;
begin : assert_array_i
cp_frs0_rat2_x8_wid8_tx_pa0: cover property (ev_frs0_rat2_x8_wid8_tx_pa0((TX_DATA)));
***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.
2) 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 ==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.
3) 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