Coverpoint for groups of address

Is the same as

bins group[64] = { [32'h08000 : 32'h08FFF] };