[2020-11-02 10:36:16 EST] vlib work && vlog '-timescale' '1ns/1ns' '-sv2k9' design.sv testbench.sv && vsim -c -do run.do
VSIMSA: Configuration file changed: `/home/runner/library.cfg'
ALIB: Library "work" attached.
work = /home/runner/work/work.lib
MESSAGE "Pass 1. Scanning modules hierarchy."
MESSAGE "Pass 2. Processing instantiations."
MESSAGE "Pass 3. Processing behavioral statements."
MESSAGE "Running Optimizer."
MESSAGE "ELB/DAG code generating."
MESSAGE "Unit top modules: GRG_covergroup."
MESSAGE "$root top modules: GRG_covergroup."
SUCCESS "Compile success 0 Errors 0 Warnings Analysis time: 0[s]."
ALOG: Warning: The source is compiled without the -dbg switch. Line breakpoints and assertion debug will not be available.
done
# Aldec, Inc. Riviera-PRO version 2020.04.130.7729 built for Linux64 on June 10, 2020.
# HDL, SystemC, and Assertions simulator, debugger, and design environment.
# (c) 1999-2020 Aldec, Inc. All rights reserved.
vsim GRG_covergroup +access+r -dbg
# ELBREAD: Elaboration process.
# ELBREAD: Elaboration time 0.0 [s].
# KERNEL: Main thread initiated.
# KERNEL: Kernel process initialization phase.
# ELAB2: Elaboration final pass...
# ELAB2: Create instances ...
# KERNEL: Time resolution set to 1ns.
# ELAB2: Create instances complete.
# SLP: Started
# SLP: Elaboration phase ...
# SLP: Elaboration phase ... done : 0.0 [s]
# SLP: Generation phase ...
# SLP: Generation phase ... done : 0.0 [s]
# SLP: Finished : 0.1 [s]
# SLP: 0 primitives and 1 (33.33%) other processes in SLP
# SLP: 0 signals in SLP and 2 (5.71%) interface signals
# ELAB2: Elaboration final pass complete - time: 0.1 [s].
# KERNEL: SLP loading done - time: 0.0 [s].
# KERNEL: Warning: You are using the Riviera-PRO EDU Edition. The performance of simulation is reduced.
# KERNEL: Warning: Contact Aldec for available upgrade options - sales@aldec.com.
# KERNEL: SLP simulation initialization done - time: 0.0 [s].
# KERNEL: Kernel process initialization done.
# Allocation: Simulator allocated 4712 kB (elbread=455 elab2=4121 kernel=136 sdf=0)
# KERNEL: ASDB file was created in location /home/runner/dataset.asdb
run -all
# KERNEL: Coverage = 100.00%
# KERNEL: Finished!!
# KERNEL: Simulation has finished. There are no more test vectors to simulate.
acdb report
exec cat acdb_report.txt
# +++++++++++++++++++++++++++++++++++++++++++++
# ++++++++++ REPORT INFO ++++++++++
# +++++++++++++++++++++++++++++++++++++++++++++
#
#
# SUMMARY
# ===================================================
# | Property | Value |
# ===================================================
# | User | runner |
# | Host | 30fa74065f79 |
# | Tool | Riviera-PRO 2020.04 |
# | Report file | /home/runner/acdb_report.txt |
# | Report date | 2020-11-02 10:36 |
# | Report arguments | |
# | Input file | simulation session |
# | Input file date | simulation session |
# | Number of tests | 1 |
# ===================================================
#
#
# TEST DETAILS
# =================================================
# | Property | Value |
# =================================================
# | Test | fcover.acdb:fcover |
# | Status | Ok |
# | Args | asim GRG_covergroup +access+r -dbg |
# | Simtime | 160 ns |
# | Cputime | 0.001 s |
# | Seed | 1 |
# | Date | 2020-11-02 10:36 |
# | User | runner |
# | Host | 30fa74065f79 |
# | Host os | Linux64 |
# | Tool | Riviera-PRO 2020.04 (simulator) |
# =================================================
#
#
# +++++++++++++++++++++++++++++++++++++++++++++
# ++++++++++ DESIGN HIERARCHY ++++++++++
# +++++++++++++++++++++++++++++++++++++++++++++
#
#
# CUMULATIVE SUMMARY
# =============================================
# | Coverage Type | Weight | Hits/Total |
# =============================================
# | Covergroup Coverage | 1 | 100.000% |
# |---------------------|--------|------------|
# | Types | | 1 / 1 |
# =============================================
# CUMULATIVE INSTANCE-BASED COVERAGE: 100.000%
# COVERED INSTANCES: 1 / 1
# FILES: 1
#
#
# INSTANCE - /GRG_covergroup : work.GRG_covergroup
#
#
# SUMMARY
# =============================================
# | Coverage Type | Weight | Hits/Total |
# =============================================
# | Covergroup Coverage | 1 | 100.000% |
# |---------------------|--------|------------|
# | Types | | 1 / 1 |
# =============================================
# WEIGHTED AVERAGE LOCAL: 100.000%
#
#
# COVERGROUP COVERAGE
# ==============================================================
# | Covergroup | Hits | Goal / | Status |
# | | | At Least | |
# ==============================================================
# | TYPE /GRG_covergroup/CG | 100.000% | 100.000% | Covered |
# ==============================================================
# | INSTANCE <UNNAMED1> | 100.000% | 100.000% | Covered |
# |----------------------------|----------|----------|---------|
# | COVERPOINT <UNNAMED1>::CP1 | 100.000% | 100.000% | Covered |
# |----------------------------|----------|----------|---------|
# | bin auto[0:1] | 2 | 1 | Covered |
# | bin auto[2:3] | 2 | 1 | Covered |
# | bin auto[4:5] | 2 | 1 | Covered |
# | bin auto[6:7] | 2 | 1 | Covered |
# | bin auto[8:9] | 2 | 1 | Covered |
# | bin auto[10:11] | 2 | 1 | Covered |
# | bin auto[12:13] | 2 | 1 | Covered |
# | bin auto[14:15] | 2 | 1 | Covered |
# ==============================================================
#
#
# +++++++++++++++++++++++++++++++++++++++++++++
# ++++++++++ DESIGN UNITS ++++++++++
# +++++++++++++++++++++++++++++++++++++++++++++
#
#
# CUMULATIVE SUMMARY
# =============================================
# | Coverage Type | Weight | Hits/Total |
# =============================================
# | Covergroup Coverage | 1 | 100.000% |
# |---------------------|--------|------------|
# | Types | | 1 / 1 |
# =============================================
# CUMULATIVE DESIGN-BASED COVERAGE: 100.000%
# COVERED DESIGN UNITS: 1 / 1
# FILES: 1
#
#
# MODULE - work.GRG_covergroup
#
#
# SUMMARY
# =============================================
# | Coverage Type | Weight | Hits/Total |
# =============================================
# | Covergroup Coverage | 1 | 100.000% |
# |---------------------|--------|------------|
# | Types | | 1 / 1 |
# =============================================
# WEIGHTED AVERAGE: 100.000%
#
#
# COVERGROUP COVERAGE
# ==============================================================
# | Covergroup | Hits | Goal / | Status |
# | | | At Least | |
# ==============================================================
# | TYPE /GRG_covergroup/CG | 100.000% | 100.000% | Covered |
# ==============================================================
# | INSTANCE <UNNAMED1> | 100.000% | 100.000% | Covered |
# |----------------------------|----------|----------|---------|
# | COVERPOINT <UNNAMED1>::CP1 | 100.000% | 100.000% | Covered |
# |----------------------------|----------|----------|---------|
# | bin auto[0:1] | 2 | 1 | Covered |
# | bin auto[2:3] | 2 | 1 | Covered |
# | bin auto[4:5] | 2 | 1 | Covered |
# | bin auto[6:7] | 2 | 1 | Covered |
# | bin auto[8:9] | 2 | 1 | Covered |
# | bin auto[10:11] | 2 | 1 | Covered |
# | bin auto[12:13] | 2 | 1 | Covered |
# | bin auto[14:15] | 2 | 1 | Covered |
# ==============================================================
#
# KERNEL: overall coverage = 100.000000
# KERNEL: coverage of covergroup cg_inst = 100.000000
# KERNEL: coverage of coverpoint CP1 = 100.000000
# ACDB: Covergroup Coverage data has been saved to "fcover.acdb" database.
# VSIM: Simulation has finished.
Done