Verification Plan using Eplanner

Hi,

I am going to assume that you are already writing out coverage data from Specman and can import that to Enterprise Planner. Assuming this, you will also need to enable Specman to write out these checks to the database.This is not done by default but can be accomplished with the following config command

config cover -collect_checks_expects=TRUE

Once you have done this, the checks will appear in the model file (.ucm) and can be mapped in Enterprise Planner.

Hope this helps,

Chris

  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

Thanks Chris/Ilana for the information.

I am getting one error:

Doing setup ...
   *** Error: 'collect_checks_expects' coverage option cannot be changed when
files are loaded/compiled into Specman
                at line 169 in @cdn_i2c_env_h
        set_config(cover, collect_checks_expects, TRUE);

Where to give this command for "collect check expects". I have written  under sys and using setup method.

like this:

extend sys {

    setup() is also {
        set_config(cover, collect_checks_expects, TRUE);
    };

}; -- extend sys

Thanks & Regards

Manish 

Hi Ilana.,

I am using this for CMS. So, Where can I add these commands(In brun scripts?)?

Thanks!

Manish 

Hi Ilana,

I changed my  <vip>_ brun_pre_session_script.sh like this:

run_excov.pl -top_files $BRUN_xxx_VE_FILES -append_to_vsof -verbose;
SPECMAN_PRE_COMMANDS="conf cover -collect_checks_expects=TRUE"; --added commands
export $SPECMAN_PRE_COMMANDS --added commands

# CREATE STUB FILE AND COMPILE VERILOG FILES
#-------------------------------------------
if [ $BRUN_xxx_E_MODE = compiled ]
then
    # Compile the enviroment files (ve_files)
    sn_compile.sh -shlib -exe $BRUN_xxx_VE_FILES -o test_suite_compile;

    # create verilog stub file
    test_suite_compile -c "write stub -ncvlog specman.v";
else # interpreted mode
    # create verilog stub file

    --added commands
    specman -c "load $BRUN_xxx_VE_FILES ; conf cover -database_format=ucd -write_model=ucm; write stub -ncvlog specman.v";
fi

But after running the demo for CMS, It's only collecting the coverage items not "check that" statement which I have written for the protocol checker.

What can be the issue?

Thanks!

Manish 

 Hi Manish,

2 comments that might help:

1. why you are still using the run_excov.pl? this is rather an old fashion way to generate the coverage model. starting 6.2 this is not necessary and you can use the Unicov coverage database. which version are you using?
2. Here is a run script I use to generate checks:

• #!/bin/sh
• SPECMAN_PRE_COMMANDS="conf cover -collect_checks_expects=TRUE;conf gen -seed=$BRUN_SEED;$SPECMAN_PRE_COMMANDS";
• export SPECMAN_PRE_COMMANDS;
• specman  -c "load my_test;conf cover -database_format=ucd -write_model=ucm;test" ;

Thanks,

Efrat 

Hi Efrat,

I tried these commands but still it's not working. I am using 8.1 version.

Thanks!

Manish 

Hi Manish,

  I also want to make sure you're using 8.2 software. This is the only version of Enterprise Manager that will enable you to see check status in the vPlan view.

Thanks,

Chris