Home > Community > Forums > Functional Verification > Verification Plan using Eplanner

Email

* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

 Verification Plan using Eplanner 

Last post Thu, Aug 16 2012 6:20 AM by StephenH. 19 replies.
Started by Manish Verma 28 Nov 2008 08:53 AM. Topic has 19 replies and 10233 views
Page 1 of 2 (20 items) 1 2 Next >
Sort Posts:
  • Fri, Nov 28 2008 8:53 AM

    • Manish Verma
    • Not Ranked
    • Joined on Fri, Jul 25 2008
    • Mumbai, India
    • Posts 11
    • Points 205
    Verification Plan using Eplanner Reply

     Hi....

     

    Can anybody explain me How to map checkers(check that statement) into vplan using eplanner?

     

    Thanks! 

    • Post Points: 35
  • Mon, Dec 1 2008 10:19 AM

    • ckomar
    • Not Ranked
    • Joined on Thu, Jul 17 2008
    • Phoenix, AZ
    • Posts 11
    • Points 100
    Re: Verification Plan using Eplanner Reply

    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

    • Post Points: 5
  • Mon, Dec 1 2008 8:18 PM

    • Ilana
    • Not Ranked
    • Joined on Tue, Dec 2 2008
    • Posts 4
    • Points 95
    Re: Verification Plan using Eplanner Reply

      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

     

    • Post Points: 20
  • Mon, Dec 8 2008 6:32 AM

    • Manish Verma
    • Not Ranked
    • Joined on Fri, Jul 25 2008
    • Mumbai, India
    • Posts 11
    • Points 205
    Re: Verification Plan using Eplanner Reply

    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 

    • Post Points: 20
  • Mon, Dec 8 2008 9:40 AM

    • Ilana
    • Not Ranked
    • Joined on Tue, Dec 2 2008
    • Posts 4
    • Points 95
    RE: Verification Plan using Eplanner Reply
    Hi Manish,

    The easiest way is to define this in the SPECMAN_PRE_COMMANDS since the idea is the have this config before any e is loaded.

    I would have in my run script something like:

    #!/bin/sh

    SPECMAN_PRE_COMMANDS=”conf cover –collect_checks_expects=TRUE”;

    Export $SPECMAN_PRE_COMMANDS

    Specman –c “load $WORKAREA/my_test.e; conf cover –database_format=ucd –write_model=ucm; test”;

    Hope this helps!

    Ilana.
    • Post Points: 35
  • Mon, Dec 8 2008 11:10 AM

    • Manish Verma
    • Not Ranked
    • Joined on Fri, Jul 25 2008
    • Mumbai, India
    • Posts 11
    • Points 205
    Re: RE: Verification Plan using Eplanner Reply

    Hi Ilana.,

     

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

     

    Thanks!

    Manish 

    • Post Points: 20
  • Mon, Dec 8 2008 1:06 PM

    • Ilana
    • Not Ranked
    • Joined on Tue, Dec 2 2008
    • Posts 4
    • Points 95
    RE: RE: Verification Plan using Eplanner Reply
    Hi Manish,

    You should have a file <vip>_ brun_pre_session_script.sh for example vr_ahb_brun_pre_session_script.sh there you can change the pre_session command.

    Hope this helps,

    Ilana.
    • Post Points: 20
  • Tue, Dec 9 2008 2:45 AM

    • Manish Verma
    • Not Ranked
    • Joined on Fri, Jul 25 2008
    • Mumbai, India
    • Posts 11
    • Points 205
    Re: RE: RE: Verification Plan using Eplanner Reply

    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 

    • Post Points: 35
  • Tue, Dec 9 2008 10:00 AM

    Re: RE: RE: Verification Plan using Eplanner Reply

     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 

     

    • Post Points: 20
  • Tue, Dec 9 2008 10:50 AM

    • Manish Verma
    • Not Ranked
    • Joined on Fri, Jul 25 2008
    • Mumbai, India
    • Posts 11
    • Points 205
    Re: RE: RE: Verification Plan using Eplanner Reply

    Hi Efrat,

     

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

    Thanks!

    Manish 

    • Post Points: 20
  • Tue, Dec 9 2008 10:52 AM

    • ckomar
    • Not Ranked
    • Joined on Thu, Jul 17 2008
    • Phoenix, AZ
    • Posts 11
    • Points 100
    Re: RE: RE: Verification Plan using Eplanner Reply

    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

    • Post Points: 5
  • Tue, Dec 9 2008 10:53 AM

    • Ilana
    • Not Ranked
    • Joined on Tue, Dec 2 2008
    • Posts 4
    • Points 95
    RE: RE: RE: Verification Plan using Eplanner Reply
    Hi Manish,

    Which CMS are you using and what version of it?


    Thanks,

    Ilana.
    • Post Points: 20
  • Wed, Dec 10 2008 1:02 AM

    • Manish Verma
    • Not Ranked
    • Joined on Fri, Jul 25 2008
    • Mumbai, India
    • Posts 11
    • Points 205
    Re: RE: RE: RE: Verification Plan using Eplanner Reply

    Hi Ilana,

    I didn't understand your question(Which CMS are you using and what version of it?)? 

     Previously I am using vManager 8.1 version. But after Chris mail I tried with vManager 8.2 version also. It giving error:

    "export: `-collect_checks_expects=TRUE': not a valid identifier" .

    I am using the same script which I posted previously. Should I have to change any of the script for vManager 8.2 version for CMS.

     

    Thanks!

    Manish 

    • Post Points: 5
  • Tue, Aug 14 2012 4:28 AM

    • mahi27
    • Not Ranked
    • Joined on Tue, Aug 14 2012
    • Posts 4
    • Points 165
    Re: RE: Verification Plan using Eplanner Reply
    Hi, I used the above script to enable the checkers. But it is enabling all the checkers. I wanted to disable some of the checkers which is not required for the verification. I tried the following : covers.set_cover_check(".*(instance_name)", FALSE); eg. covers.set_cover_check("vr_axi_env.*(axi_evc)",FALSE); but I am getting the following compilation error as : cover expect/check : set_cover_check(".(instance_name)", FALSE); Please let me know how to disable the checkers. Thanks, Mahi
    Filed under:
    • Post Points: 20
  • Tue, Aug 14 2012 5:08 AM

    • StephenH
    • Top 25 Contributor
    • Joined on Tue, Sep 2 2008
    • Bristol, Avon
    • Posts 277
    • Points 4,430
    Re: RE: Verification Plan using Eplanner Reply

    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. 

    Steve Hobbs / Applications Engineer / Cadence Functional Verification
    Filed under: ,
    • Post Points: 20
Page 1 of 2 (20 items) 1 2 Next >
Sort Posts:
Started by Manish Verma at 28 Nov 2008 08:53 AM. Topic has 19 replies.