Power of 2 coverage for a bit stream, when one bit is defined as zero

Hi,

How do I include a power of 2 coverage metric for a 9 bit vector,which is composed as follows:

location{[3:0]ar1,1’b0,[3:0]ar2};

where ar1 and ar2,both are two arrays of 4 bits(so have possible values from 0 to 15?
The LSB for the 9 bit vector location is ar1[0] and MSB is ar2[3].

In reply to Gokul S:

I don’t think anyone understands your question. Please show legal SystemVerilog declarations for all variables involved and explain what power of 2 coverage is supposed to mean.