vr_ad doesn't explicitly cover or check for reset values, however if you reset a register and subsequently read it before writing it, then the value you read and check will be the reset value. In this case vr_ad will be checking the reset value implicitly.
If you look at the vrad/examples/vr_ad_reg_sequence_lib.e you'll find some helpful pre-defined register sequences. For example the CHECK_RESET_VALUES sequence will go through all the registers checking their reset values. You can evenoverride the list of registers so that the sequence checks only a specific subset of the registers, or you can use it to force the order of checking.
If you need some coverage to tell whether a register's reset value was read, you could easily extend the base vr_ad_reg with a new boolean field that gets set TRUE by the reset() method, and cleared after covering its value in post_access(). Thus when the flag is covered TRUE you know you've checked the reset value for that register.
Hope this helps.