• 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分析。

  • 相关阅读:
    Windowsforms 中对文件操作
    ADO.net增删改的使用
    ADO.net数据访问
    可空类型
    FineUI 页面跳转
    ASP.NET页面之间传递值的几种方式
    C# Find() 与 FindAll()方法的使用
    在Sql中将 varchar 值 '1,2,3,4,5,6' 转换成数据类型 int
    DataSet、DataTable、DataRow、DataColumn区别及使用实例
    C#中如何排除/过滤/清空/删除掉字符串数组中的空字符串
  • 原文地址:https://www.cnblogs.com/-9-8/p/4478833.html
Copyright © 2020-2023  润新知