In reply to vickyvinay:
The $rose expects as argument an expression. For a single bit the situation is clear. A vector itself is not an expression. But you can use it together with another system function ($stable).
In your case I’d use:
property p;
(@(posedge clk) reset |=> $rose(!$stable(grnt[7:0]))
endproperty
BTW, including the sampling event into the property is a bad coding style because it limits the reusability of this property to all designs with a clock signal named ‘clk’. Write simply
property p;
reset |=> $rose(!$stable(grnt[7:0]))
endproperty