0

以下是使用 EDA Playground 下的 Riviera-PRO EDU 2014.10 工具根据http://www.edaplayground.com/x/96S中应用的以下命令生成的功能覆盖率报告(cov.txt)

vsim +访问+ r; 运行-全部;acdb 保存 acdb 报告 -db fcover.acdb -txt -o cov.txt;

请根据定义的覆盖组和覆盖点建议任何文档来分析覆盖图计算。

+++++++++++++++++++++++++++++++++++
++++++++++  REPORT INFO  ++++++++++
+++++++++++++++++++++++++++++++++++


=================================================
| User               | runner                   |
| Host               | eb37055383a7             |
|--------------------|--------------------------|
| Tool               | Riviera-PRO 2014.10      |
|--------------------|--------------------------|
| Report file        | /home/runner/cov.txt     |
| Report date        | 2014-12-08 06:47         |
| Report arguments   |                          |
|--------------------|--------------------------|
| Input file         | /home/runner/fcover.acdb |
| Input file date    | 2014-12-08 06:47         |
|--------------------|--------------------------|
| Test name (status) | fcover (Ok)              |
=================================================


++++++++++++++++++++++++++++++++++++++++++++++++
++++++++++          HIERARCHY         ++++++++++
++++++++++++++++++++++++++++++++++++++++++++++++


CUMULATIVE SUMMARY
=====================================================
| Coverage type       | Weight |     Hits/Total     |
=====================================================
| Covergroup Coverage |      1 | 29.861% / 100.000% |
|---------------------|--------|--------------------|
| Types               |        |              0 / 2 |
=====================================================
CUMULATIVE INSTANCE-BASED COVERAGE: 29.861%
FILES: 2 COVERED INSTANCES: 0 / 1


INSTANCE - /alutest : work.alutest


    SUMMARY
    ============================================================================
    | Coverage type       | Weight |  Local Hits/Total  | Recursive Hits/Total |
    ============================================================================
    | Covergroup Coverage |      1 | 29.861% / 100.000% |   29.861% / 100.000% |
    |---------------------|--------|--------------------|----------------------|
    | Types               |        |              0 / 2 |                0 / 2 |
    ============================================================================
    WEIGHTED AVERAGE LOCAL:  29.861%
    WEIGHTED AVERAGE RECURSIVE:  29.861%


    COVERGROUP COVERAGE
    ======================================================================
    | Covergroup                        |  Hits   |  Goal /  | Status    |
    |                                   |         | At Least |           |
    ======================================================================
    | TYPE alutest.op_cov               |  6.250% | 100.000% | Uncovered |
    ======================================================================
    | TYPE alutest.zeros_or_ones_on_ops | 53.472% | 100.000% | Uncovered |
    ======================================================================


++++++++++++++++++++++++++++++++++++++++++++++++
++++++++++        DESIGN UNITS        ++++++++++
++++++++++++++++++++++++++++++++++++++++++++++++


CUMULATIVE SUMMARY
=====================================================
| Coverage type       | Weight |     Hits/Total     |
=====================================================
| Covergroup Coverage |      1 | 29.861% / 100.000% |
|---------------------|--------|--------------------|
| Types               |        |              0 / 2 |
=====================================================
CUMULATIVE DESIGN-BASED COVERAGE: 29.861%
FILES: 2 COVERED DESIGN UNITS: 0 / 1


MODULE - work.alutest


    SUMMARY
    =====================================================
    | Coverage type       | Weight |     Hits/Total     |
    =====================================================
    | Covergroup Coverage |      1 | 29.861% / 100.000% |
    |---------------------|--------|--------------------|
    | Types               |        |              0 / 2 |
    =====================================================
    WEIGHTED AVERAGE:  29.861%


    COVERGROUP COVERAGE
    ======================================================================
    | Covergroup                        |  Hits   |  Goal /  | Status    |
    |                                   |         | At Least |           |
    ======================================================================
    | TYPE alutest.op_cov               |  6.250% | 100.000% | Uncovered |
    ======================================================================
    | TYPE alutest.zeros_or_ones_on_ops | 53.472% | 100.000% | Uncovered |
    ======================================================================
4

1 回答 1

0

IEEE 1800-2012 SystemVerilog LRM描述了如何指定覆盖组和覆盖点。请参阅第 19 节。功能覆盖

总体而言,在功能覆盖率上进行谷歌搜索会带来很多资源。

如果您有更具体的问题,请提出新的 StackOverflow 问题。

于 2014-12-10T16:55:08.053 回答