Verification Plan using Eplanner

  Hi,

Since I am not sure exactly which step wasn't clear I will try to sum all. Please feel free to contact me if you need further assistance. 

1) The first step is to make sure you are collecting those checks (use the command Chris wrote).

2) Use Specman and eplanner 8.1 or above.

3) When you execute a simulation with vmanager (desktop or enterprise), coverage database files are created. Depends on the version/tools you are using, you should see those files under the simulation result directory under model_dir directory. The files will have extensions *.ucm and/or *.model. Please make sure you know where to find these files and that you indeed have them in your simulation directory.

4) Now in eplanner you are ready to import these coverage data files for mapping of coverage,checks and directed tests. Go to the
"implement" tab and click import coverage. Choose all the *.ucm/*.model files you have in the relevant simulation directory. You will now get a coverage tree in eplanner in which you can browse through the various coverage/checks/testcases items and choose what you want to map. Checks from Specman will be part of that obviously.

5) Chick on the desired check and the desired item in the plan and click "map to vplan"

There is more information in the  docs but also feel free to contact me at ilanag@cadence.com

  Hi,

Since I am not sure exactly which step wasn't clear I will try to sum all. Please feel free to contact me if you need further assistance. 

1) The first step is to make sure you are collecting those checks (use the command Chris wrote).

2) Use Specman and eplanner 8.1 or above.

3) When you execute a simulation with vmanager (desktop or enterprise), coverage database files are created. Depends on the version/tools you are using, you should see those files under the simulation result directory under model_dir directory. The files will have extensions *.ucm and/or *.model. Please make sure you know where to find these files and that you indeed have them in your simulation directory.

4) Now in eplanner you are ready to import these coverage data files for mapping of coverage,checks and directed tests. Go to the
"implement" tab and click import coverage. Choose all the *.ucm/*.model files you have in the relevant simulation directory. You will now get a coverage tree in eplanner in which you can browse through the various coverage/checks/testcases items and choose what you want to map. Checks from Specman will be part of that obviously.

5) Chick on the desired check and the desired item in the plan and click "map to vplan"

There is more information in the  docs but also feel free to contact me at ilanag@cadence.com