Отчет о функциональном покрытии от FCOVER инструмента Riviera-PRO EDU 2014.10 от ALDEC

Ниже приведен отчет о функциональном покрытии (cov.txt), созданный с использованием инструмента Riviera-PRO EDU 2014.10 в EDA Playground на основе следующих команд, которые применяются в http://www.edaplayground.com/x/96S

вс + доступ + р; бежать-все; 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 |
    ======================================================================
Источник

1 ответ

В IEEE 1800-2012 SystemVerilog LRM описано, как задать группы покрытия и точки покрытия. См. Раздел 19. Охват функций.

Для обзора, поиск Google на Functional Coverage поднимает много ресурсов.

Если у вас есть более конкретные вопросы, задайте новый вопрос Stackru.

Источник
Другие вопросы по тегам