Module Definition
dashboard | hierarchy | modlist | groups | tests | asserts

Module : rv_timer_csr_assert_fpv
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_fpv_rv_timer_csr_assert_0/rv_timer_csr_assert_fpv.sv

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.rv_timer_csr_assert 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.rv_timer_csr_assert

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.80 100.00 99.40 100.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Since this is the module's only instance, the coverage report is the same as for the module.
Line Coverage for Module : rv_timer_csr_assert_fpv
Line No.TotalCoveredPercent
TOTAL3636100.00
CONT_ASSIGN4311100.00
CONT_ASSIGN4411100.00
CONT_ASSIGN4511100.00
CONT_ASSIGN4611100.00
ALWAYS5388100.00
CONT_ASSIGN7611100.00
ALWAYS802323100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_fpv_rv_timer_csr_assert_0/rv_timer_csr_assert_fpv.sv' or '../src/lowrisc_fpv_rv_timer_csr_assert_0/rv_timer_csr_assert_fpv.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
43 1 1
44 1 1
45 1 1
46 1 1
53 1 1
54 1 1
55 1 1
56 1 1
57 1 1
58 1 1
59 1 1
60 1 1
76 1 1
80 1 1
81 1 1
82 1 1
83 1 1
84 1 1
85 1 1
86 1 1
87 1 1
88 1 1
90 1 1
91 1 1
92 1 1
93 1 1
94 1 1
95 1 1
96 1 1
MISSING_ELSE
MISSING_ELSE
99 1 1
100 1 1
101 1 1
102 1 1
MISSING_ELSE
104 1 1
MISSING_ELSE
106 1 1
107 1 1
MISSING_ELSE
MISSING_ELSE


Cond Coverage for Module : rv_timer_csr_assert_fpv
TotalCoveredPercent
Conditions1414100.00
Logical1414100.00
Non-Logical00
Event00

 LINE       43
 EXPRESSION (h2d.a_mask[0] ? '1 : '0)
             ------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       44
 EXPRESSION (h2d.a_mask[1] ? '1 : '0)
             ------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       45
 EXPRESSION (h2d.a_mask[2] ? '1 : '0)
             ------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       46
 EXPRESSION (h2d.a_mask[3] ? '1 : '0)
             ------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       90
 EXPRESSION (h2d.a_valid && d2h.a_ready)
             -----1-----    -----2-----
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT10,T11,T12
11CoveredT1,T2,T3

 LINE       106
 EXPRESSION (h2d.d_ready && (pend_trans[d2h.d_source].rd_pending == 1'b1))
             -----1-----    ----------------------2----------------------
-1--2-StatusTests
01CoveredT13,T14,T15
10CoveredT1,T2,T3
11CoveredT1,T2,T3

Branch Coverage for Module : rv_timer_csr_assert_fpv
Line No.TotalCoveredPercent
Branches 27 27 100.00
TERNARY 43 2 2 100.00
TERNARY 44 2 2 100.00
TERNARY 45 2 2 100.00
TERNARY 46 2 2 100.00
CASE 53 8 8 100.00
IF 80 11 11 100.00

WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_fpv_rv_timer_csr_assert_0/rv_timer_csr_assert_fpv.sv' or '../src/lowrisc_fpv_rv_timer_csr_assert_0/rv_timer_csr_assert_fpv.sv was not found/opened, so annotated branch coverage report could not be generated.

LineNo. Expression -1-: 43 (h2d.a_mask[0]) ?

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 44 (h2d.a_mask[1]) ?

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 45 (h2d.a_mask[2]) ?

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 46 (h2d.a_mask[3]) ?

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 53 case (pend_trans[d2h.d_source].addr)

Branches:
-1-StatusTests
0 Covered T1,T2,T3
4 Covered T1,T2,T3
256 Covered T1,T2,T3
268 Covered T1,T2,T3
272 Covered T1,T2,T3
276 Covered T1,T2,T3
284 Covered T1,T2,T3
default Covered T1,T2,T3


LineNo. Expression -1-: 80 if ((!rst_ni)) -2-: 90 if ((h2d.a_valid && d2h.a_ready)) -3-: 92 if ((h2d.a_opcode inside {PutFullData, PutPartialData})) -4-: 95 if ((h2d.a_opcode == Get)) -5-: 99 if (d2h.d_valid) -6-: 100 if ((pend_trans[d2h.d_source].wr_pending == 1'b1)) -7-: 101 if ((!d2h.d_error)) -8-: 106 if ((h2d.d_ready && (pend_trans[d2h.d_source].rd_pending == 1'b1)))

Branches:
-1--2--3--4--5--6--7--8-StatusTests
1 - - - - - - - Covered T1,T2,T3
0 1 1 - - - - - Covered T1,T2,T3
0 1 0 1 - - - - Covered T1,T2,T3
0 1 0 0 - - - - Covered T10,T11,T12
0 0 - - - - - - Covered T1,T2,T3
0 - - - 1 1 1 - Covered T1,T2,T3
0 - - - 1 1 0 - Covered T10,T11,T12
0 - - - 1 0 - - Covered T1,T2,T3
0 - - - 1 - - 1 Covered T1,T2,T3
0 - - - 1 - - 0 Covered T1,T2,T3
0 - - - 0 - - - Covered T1,T2,T3


Assert Coverage for Module : rv_timer_csr_assert_fpv
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 5 5 100.00 5 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 5 5 100.00 5 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
cfg0_rd_A 2147483647 16129 0 0
compare_lower0_0_rd_A 2147483647 11882 0 0
compare_upper0_0_rd_A 2147483647 16699 0 0
ctrl_rd_A 2147483647 11419 0 0
intr_enable0_rd_A 2147483647 13845 0 0


cfg0_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 16129 0 0
T12 513364 876 0 0
T21 757518 1056 0 0
T22 306928 559 0 0
T23 636392 1181 0 0
T25 115220 1465 0 0
T26 471597 986 0 0
T30 810377 1228 0 0
T33 969487 1658 0 0
T39 569023 1049 0 0
T40 185156 407 0 0

compare_lower0_0_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 11882 0 0
T12 513364 572 0 0
T21 757518 826 0 0
T22 306928 490 0 0
T23 636392 811 0 0
T25 115220 1265 0 0
T26 471597 657 0 0
T30 810377 911 0 0
T33 969487 1097 0 0
T39 569023 715 0 0
T40 185156 287 0 0

compare_upper0_0_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 16699 0 0
T12 513364 741 0 0
T21 757518 1254 0 0
T22 306928 657 0 0
T23 636392 1214 0 0
T25 115220 1676 0 0
T26 471597 867 0 0
T30 810377 1328 0 0
T33 969487 1623 0 0
T39 569023 1012 0 0
T40 185156 358 0 0

ctrl_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 11419 0 0
T12 513364 598 0 0
T21 757518 813 0 0
T22 306928 389 0 0
T23 636392 825 0 0
T25 115220 1190 0 0
T26 471597 621 0 0
T30 810377 845 0 0
T33 969487 1093 0 0
T39 569023 704 0 0
T40 185156 263 0 0

intr_enable0_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 13845 0 0
T12 513364 680 0 0
T21 757518 915 0 0
T22 306928 467 0 0
T23 636392 983 0 0
T25 115220 1177 0 0
T26 471597 739 0 0
T41 120120 10 0 0
T42 291375 2 0 0
T43 105290 78 0 0
T44 284619 36 0 0

0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%