Verification Plan using Eplanner

Hello Mahi.

Please note that set_cover_check() has nothing to do with disabling checks, it only controls the coverage of the checks.

Assuming that you want to disable the coverage of the checks but keep the checks active for error checking, then set_cover_check()  is the right method to use. However I'm not sure that your patterns are written properly. Note that if you wish to refer to specific instances then the pattern match string should include "e_path=sys." and the full path to the instance.

Here are the examples from the cdnshelp documentation:

  covers.set_cover_check("my_unit.*", FALSE);

  covers.set_cover_check("my_unit.*check*", TRUE);

  covers.set_cover_check("my_unit.check1(e_path==sys.my_u1)", FALSE); 

Thus (if we assume axi_evc is an instance under sys) your example becomes:

  covers.set_cover_check("vr_axi_env.*(e_path==sys.axi_evc)", FALSE); 

If you don't care about which instance to zap:

  covers.set_cover_check("vr_axi_env.*", FALSE);

Steve. 

Hello Mahi.

Please note that set_cover_check() has nothing to do with disabling checks, it only controls the coverage of the checks.

Assuming that you want to disable the coverage of the checks but keep the checks active for error checking, then set_cover_check()  is the right method to use. However I'm not sure that your patterns are written properly. Note that if you wish to refer to specific instances then the pattern match string should include "e_path=sys." and the full path to the instance.

Here are the examples from the cdnshelp documentation:

  covers.set_cover_check("my_unit.*", FALSE);

  covers.set_cover_check("my_unit.*check*", TRUE);

  covers.set_cover_check("my_unit.check1(e_path==sys.my_u1)", FALSE); 

Thus (if we assume axi_evc is an instance under sys) your example becomes:

  covers.set_cover_check("vr_axi_env.*(e_path==sys.axi_evc)", FALSE); 

If you don't care about which instance to zap:

  covers.set_cover_check("vr_axi_env.*", FALSE);

Steve.