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

Module : flash_ctrl_erase
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_opentitan_top_earlgrey_flash_ctrl_0.1/rtl/flash_ctrl_erase.sv

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



Module Instance : tb.dut.u_flash_ctrl_erase

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
97.66 97.12 94.40 98.44 100.00 98.33 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 : flash_ctrl_erase
Line No.TotalCoveredPercent
TOTAL99100.00
CONT_ASSIGN4100
CONT_ASSIGN4411100.00
ALWAYS4733100.00
CONT_ASSIGN5411100.00
CONT_ASSIGN5511100.00
CONT_ASSIGN5611100.00
CONT_ASSIGN6011100.00
CONT_ASSIGN6411100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_opentitan_top_earlgrey_flash_ctrl_0.1/rtl/flash_ctrl_erase.sv' or '../src/lowrisc_opentitan_top_earlgrey_flash_ctrl_0.1/rtl/flash_ctrl_erase.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
41 unreachable
44 1 1
47 1 1
48 1 1
49 1 1
54 1 1
55 1 1
56 1 1
60 1 1
64 1 1


Cond Coverage for Module : flash_ctrl_erase
TotalCoveredPercent
Conditions1616100.00
Logical1616100.00
Non-Logical00
Event00

 LINE       41
 EXPRESSION (op_start_i & op_addr_oob_i)
             -----1----   ------2------
-1--2-StatusTests
01Unreachable
10CoveredT12,T47,T40
11Unreachable

 LINE       44
 EXPRESSION (flash_req_o & (flash_done_i | oob_err))
             -----1-----   ------------2-----------
-1--2-StatusTests
01CoveredT4,T7,T6
10CoveredT12,T47,T40
11CoveredT12,T40,T83

 LINE       44
 SUB-EXPRESSION (flash_done_i | oob_err)
                 ------1-----   ---2---
-1--2-StatusTests
00CoveredT1,T2,T3
01Unreachable
10CoveredT4,T7,T12

 LINE       48
 EXPRESSION (op_done_o & oob_err)
             ----1----   ---2---
-1--2-StatusTests
01Unreachable
10CoveredT12,T40,T83
11Unreachable

 LINE       49
 EXPRESSION (op_done_o & flash_mp_err_i)
             ----1----   -------2------
-1--2-StatusTests
01CoveredT4,T7,T6
10CoveredT12,T40,T83
11CoveredT19,T134,T70

 LINE       54
 EXPRESSION (op_start_i & ((~op_addr_oob_i)))
             -----1----   ---------2--------
-1--2-StatusTests
01CoveredT1,T2,T3
10Unreachable
11CoveredT12,T47,T40

 LINE       56
 EXPRESSION ((op_type_i == FlashErasePage) ? ((op_addr_i & PageAddrMask)) : ((op_addr_i & BankAddrMask)))
             --------------1--------------
-1-StatusTests
0CoveredT1,T2,T4
1CoveredT1,T2,T3

 LINE       56
 SUB-EXPRESSION (op_type_i == FlashErasePage)
                --------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

Branch Coverage for Module : flash_ctrl_erase
Line No.TotalCoveredPercent
Branches 2 2 100.00
TERNARY 56 2 2 100.00

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

LineNo. Expression -1-: 56 ((op_type_i == FlashErasePage)) ?

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

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