vr_ad reset check

Hi Ravi.

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.

Hi Stephan, I am writing sequences for vr_ad, I found predefined sequences such as reset check and random read and write. However unable to find writing FFFFFFFF & 00000000 to all registers in def file like walking pattern or bit bash etc.

Can you please guide me how to write this, as I try to declare one more filed in random read write sequences as FFFFFFFFF data, but it,s not working.

Please post me this sequence so that can move forward

I am doing something like this

for each (r) in reglist{

do op keeping {

.static_item=r;

.direction == write;

};

in the above code , have no idea how to add data field as 0xFFFFFFFFFF and 0X0000000000; 

Thanks