zoukankan      html  css  js  c++  java
  • NC_Verilog中的工具ICC

    Cadence中的Incisive Comprehensive Coverage(ICC) solusion提供在仿真中的覆盖率分析。

    ICC中的覆盖率类型有两大类:

    1)Code Coverage:主要检查代码的执行量,其中包括的小类有:Block Coverage(Branch Coverage),

                                 Statement Coverage(Expression Coverage),Toggle Coverage。

    2)Functional Coverage:主要检查由PSL,SystemVerilog assertion,covergroup声明的覆盖点。也包括两小类:基于PSL,SVA

                                 等声明性语句的控制导向的功能覆盖。基于SV Covergroup的数据导向的功能覆盖。

    为了加入覆盖率的分析功能。

    1)ncelab中,加入以下define。ncelab [-coverage <coverage_types> | -covfile<coverage_configuration_file>]

                                                         [-covdut <DUT_module>]

                                                         [other_elaboration_options]

    2)在ncsim中,加入如下define。ncsim [-covoverwrite] [-covworkdir <workdir>] [-covdesign <design>] [-covtest <test>]

                         -covoverwrite使能新的结果覆盖输出文件和文件夹。

                         -covworkdir指定workdir,默认是cov_work/design/test。剩余两个指令类似。

     如果使用irun来运行,则将上述命令加在一起即可。

                        irun [-coverage <coverage_types> | -covfile<coverage_configuration_file>] [-covdut <DUT_module>]

                               [-covoverwrite] [-covworkdir <workdir>] [-covdesign <design>] [-covtest <test>]

    ICC的图形界面叫做ICC Analyzer,通过命令iccr -gui来打开。通过命令iccr -gui -test来加载测试用例或通过图形界面的open。GUI Mode

    还有一种写command file,  iccr <command_file>来执行。

    在合并不同的test的coverage时,ICC提供两种模式:

    1)Standard Merge:ICC默认的Merge behavior。首先copy the primary test model(.ucm),将secondary test中与primary test

              相同的覆盖项合并,如相同的Covergroup,SVA,FSM,expression等。

    2)Union Merge:通过set_merge -union来设置。首先copy the primary test model(.ucm),将secondary test中所有的覆盖项都

              加入primary test。

    merge [coverages] {<test_list> | -testfile <filename>} -output <output_test> [-message]

    [coverages] ::= [-code] [-toggle] [-fsm] [-functional]

    <test_list> ::=<primary_test> {<one_or_more_secondary_tests>}

    Eg: merge  test1  test2   test3   -output  all

    应用命令report_html命令来产生html格式的覆盖率报告。

    cadence不再使用ICC工具,改用IMC进行coverage分析。

  • 相关阅读:
    第二天课程档案
    第一天课程档案
    SAM初步
    计算几何初步
    数论二次总结
    生成函数入门题汇总
    1500: [NOI2005]维修数列
    20170214
    【bzoj2286】[Sdoi2011]消耗战
    bzoj2223: [Coci 2009]PATULJCI
  • 原文地址:https://www.cnblogs.com/-9-8/p/4478833.html
Copyright © 2011-2022 走看看