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



Module Instance : tb.dut.u_eflash.gen_flash_cores[0].u_core.u_erase

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.22 100.00 88.89 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.22 100.00 88.89 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.25 100.00 96.23 100.00 100.00 100.00 gen_flash_cores[0].u_core


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.u_eflash.gen_flash_cores[1].u_core.u_erase

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.22 100.00 88.89 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.22 100.00 88.89 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
96.36 100.00 83.96 100.00 97.83 100.00 gen_flash_cores[1].u_core


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children

Line Coverage for Module : flash_phy_erase
Line No.TotalCoveredPercent
TOTAL2323100.00
ALWAYS3933100.00
ALWAYS471717100.00
CONT_ASSIGN8311100.00
CONT_ASSIGN8411100.00
CONT_ASSIGN8511100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_opentitan_top_earlgrey_flash_ctrl_0.1/rtl/flash_phy_erase.sv' or '../src/lowrisc_opentitan_top_earlgrey_flash_ctrl_0.1/rtl/flash_phy_erase.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
39 1 1
40 1 1
42 1 1
47 1 1
48 1 1
49 1 1
50 1 1
52 1 1
54 1 1
56 1 1
57 1 1
MISSING_ELSE
62 1 1
64 1 1
65 1 1
66 1 1
67 1 1
68 1 1
MISSING_ELSE
73 1 1
74 1 1
75 1 1
MISSING_ELSE
83 1 1
84 1 1
85 1 1


Cond Coverage for Module : flash_phy_erase
TotalCoveredPercent
Conditions181688.89
Logical181688.89
Non-Logical00
Event00

 LINE       56
 EXPRESSION ((pg_erase_req_o || bk_erase_req_o) && ack_i)
             -----------------1----------------    --2--
-1--2-StatusTests
01CoveredT1,T2,T3
10Not Covered
11CoveredT41,T68,T11

 LINE       56
 SUB-EXPRESSION (pg_erase_req_o || bk_erase_req_o)
                 -------1------    -------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT65,T66,T67
10CoveredT41,T68,T11

 LINE       64
 EXPRESSION (suspend_req_i && ack_i)
             ------1------    --2--
-1--2-StatusTests
01CoveredT41,T68,T11
10Not Covered
11CoveredT84,T163,T164

 LINE       83
 EXPRESSION (pg_erase_req_i & req_valid)
             -------1------   ----2----
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT41,T68,T11
11CoveredT41,T68,T11

 LINE       84
 EXPRESSION (bk_erase_req_i & req_valid)
             -------1------   ----2----
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT65,T66,T67
11CoveredT65,T66,T67

 LINE       85
 EXPRESSION (suspend_req_i & suspend_valid)
             ------1------   ------2------
-1--2-StatusTests
01CoveredT41,T68,T11
10CoveredT84,T163,T164
11CoveredT84,T163,T164

FSM Coverage for Module : flash_phy_erase
Summary for FSM :: state_q
TotalCoveredPercent
States 3 3 100.00 (Not included in score)
Transitions 4 4 100.00
Sequences 0 0

State, Transition and Sequence Details for FSM :: state_q
statesLine No.CoveredTests
StEraseBusy 57 Covered T41,T68,T11
StEraseIdle 68 Covered T1,T2,T3
StEraseSuspend 65 Covered T84,T163,T164


transitionsLine No.CoveredTests
StEraseBusy->StEraseIdle 68 Covered T41,T68,T11
StEraseBusy->StEraseSuspend 65 Covered T84,T163,T164
StEraseIdle->StEraseBusy 57 Covered T41,T68,T11
StEraseSuspend->StEraseIdle 75 Covered T84,T163,T164



Branch Coverage for Module : flash_phy_erase
Line No.TotalCoveredPercent
Branches 10 10 100.00
IF 39 2 2 100.00
CASE 52 8 8 100.00

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

LineNo. Expression -1-: 39 if ((!rst_ni))

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


LineNo. Expression -1-: 52 case (state_q) -2-: 56 if (((pg_erase_req_o || bk_erase_req_o) && ack_i)) -3-: 64 if ((suspend_req_i && ack_i)) -4-: 66 if (done_i) -5-: 73 if (done_i)

Branches:
-1--2--3--4--5-StatusTests
StEraseIdle 1 - - - Covered T41,T68,T11
StEraseIdle 0 - - - Covered T1,T2,T3
StEraseBusy - 1 - - Covered T84,T163,T164
StEraseBusy - 0 1 - Covered T41,T11,T30
StEraseBusy - 0 0 - Covered T41,T68,T11
StEraseSuspend - - - 1 Covered T84,T7,T163
StEraseSuspend - - - 0 Covered T7,T8
default - - - - Covered T7,T8

Line Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[0].u_core.u_erase
Line No.TotalCoveredPercent
TOTAL2323100.00
ALWAYS3933100.00
ALWAYS471717100.00
CONT_ASSIGN8311100.00
CONT_ASSIGN8411100.00
CONT_ASSIGN8511100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_opentitan_top_earlgrey_flash_ctrl_0.1/rtl/flash_phy_erase.sv' or '../src/lowrisc_opentitan_top_earlgrey_flash_ctrl_0.1/rtl/flash_phy_erase.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
39 1 1
40 1 1
42 1 1
47 1 1
48 1 1
49 1 1
50 1 1
52 1 1
54 1 1
56 1 1
57 1 1
MISSING_ELSE
62 1 1
64 1 1
65 1 1
66 1 1
67 1 1
68 1 1
MISSING_ELSE
73 1 1
74 1 1
75 1 1
MISSING_ELSE
83 1 1
84 1 1
85 1 1


Cond Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[0].u_core.u_erase
TotalCoveredPercent
Conditions181688.89
Logical181688.89
Non-Logical00
Event00

 LINE       56
 EXPRESSION ((pg_erase_req_o || bk_erase_req_o) && ack_i)
             -----------------1----------------    --2--
-1--2-StatusTests
01CoveredT1,T2,T3
10Not Covered
11CoveredT41,T68,T11

 LINE       56
 SUB-EXPRESSION (pg_erase_req_o || bk_erase_req_o)
                 -------1------    -------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT67,T69,T70
10CoveredT41,T68,T11

 LINE       64
 EXPRESSION (suspend_req_i && ack_i)
             ------1------    --2--
-1--2-StatusTests
01CoveredT41,T68,T11
10Not Covered
11CoveredT84,T163,T164

 LINE       83
 EXPRESSION (pg_erase_req_i & req_valid)
             -------1------   ----2----
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT41,T68,T11
11CoveredT41,T68,T11

 LINE       84
 EXPRESSION (bk_erase_req_i & req_valid)
             -------1------   ----2----
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT67,T69,T70
11CoveredT67,T69,T70

 LINE       85
 EXPRESSION (suspend_req_i & suspend_valid)
             ------1------   ------2------
-1--2-StatusTests
01CoveredT41,T68,T11
10CoveredT84,T163,T164
11CoveredT84,T163,T164

FSM Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[0].u_core.u_erase
Summary for FSM :: state_q
TotalCoveredPercent
States 3 3 100.00 (Not included in score)
Transitions 4 4 100.00
Sequences 0 0

State, Transition and Sequence Details for FSM :: state_q
statesLine No.CoveredTests
StEraseBusy 57 Covered T41,T68,T11
StEraseIdle 68 Covered T1,T2,T3
StEraseSuspend 65 Covered T84,T163,T164


transitionsLine No.CoveredTests
StEraseBusy->StEraseIdle 68 Covered T41,T68,T11
StEraseBusy->StEraseSuspend 65 Covered T84,T163,T164
StEraseIdle->StEraseBusy 57 Covered T41,T68,T11
StEraseSuspend->StEraseIdle 75 Covered T84,T163,T164



Branch Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[0].u_core.u_erase
Line No.TotalCoveredPercent
Branches 10 10 100.00
IF 39 2 2 100.00
CASE 52 8 8 100.00

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

LineNo. Expression -1-: 39 if ((!rst_ni))

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


LineNo. Expression -1-: 52 case (state_q) -2-: 56 if (((pg_erase_req_o || bk_erase_req_o) && ack_i)) -3-: 64 if ((suspend_req_i && ack_i)) -4-: 66 if (done_i) -5-: 73 if (done_i)

Branches:
-1--2--3--4--5-StatusTests
StEraseIdle 1 - - - Covered T41,T68,T11
StEraseIdle 0 - - - Covered T1,T2,T3
StEraseBusy - 1 - - Covered T84,T163,T164
StEraseBusy - 0 1 - Covered T41,T11,T30
StEraseBusy - 0 0 - Covered T41,T68,T11
StEraseSuspend - - - 1 Covered T84,T7,T163
StEraseSuspend - - - 0 Covered T7,T8
default - - - - Covered T7,T8

Line Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[1].u_core.u_erase
Line No.TotalCoveredPercent
TOTAL2323100.00
ALWAYS3933100.00
ALWAYS471717100.00
CONT_ASSIGN8311100.00
CONT_ASSIGN8411100.00
CONT_ASSIGN8511100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_opentitan_top_earlgrey_flash_ctrl_0.1/rtl/flash_phy_erase.sv' or '../src/lowrisc_opentitan_top_earlgrey_flash_ctrl_0.1/rtl/flash_phy_erase.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
39 1 1
40 1 1
42 1 1
47 1 1
48 1 1
49 1 1
50 1 1
52 1 1
54 1 1
56 1 1
57 1 1
MISSING_ELSE
62 1 1
64 1 1
65 1 1
66 1 1
67 1 1
68 1 1
MISSING_ELSE
73 1 1
74 1 1
75 1 1
MISSING_ELSE
83 1 1
84 1 1
85 1 1


Cond Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[1].u_core.u_erase
TotalCoveredPercent
Conditions181688.89
Logical181688.89
Non-Logical00
Event00

 LINE       56
 EXPRESSION ((pg_erase_req_o || bk_erase_req_o) && ack_i)
             -----------------1----------------    --2--
-1--2-StatusTests
01CoveredT1,T2,T3
10Not Covered
11CoveredT11,T65,T66

 LINE       56
 SUB-EXPRESSION (pg_erase_req_o || bk_erase_req_o)
                 -------1------    -------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT65,T66,T71
10CoveredT11,T65,T66

 LINE       64
 EXPRESSION (suspend_req_i && ack_i)
             ------1------    --2--
-1--2-StatusTests
01CoveredT11,T65,T66
10Not Covered
11CoveredT163,T164,T85

 LINE       83
 EXPRESSION (pg_erase_req_i & req_valid)
             -------1------   ----2----
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT11,T65,T66
11CoveredT11,T65,T66

 LINE       84
 EXPRESSION (bk_erase_req_i & req_valid)
             -------1------   ----2----
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT65,T66,T71
11CoveredT65,T66,T71

 LINE       85
 EXPRESSION (suspend_req_i & suspend_valid)
             ------1------   ------2------
-1--2-StatusTests
01CoveredT11,T65,T66
10CoveredT84,T163,T164
11CoveredT163,T164,T85

FSM Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[1].u_core.u_erase
Summary for FSM :: state_q
TotalCoveredPercent
States 3 3 100.00 (Not included in score)
Transitions 4 4 100.00
Sequences 0 0

State, Transition and Sequence Details for FSM :: state_q
statesLine No.CoveredTests
StEraseBusy 57 Covered T11,T65,T66
StEraseIdle 68 Covered T1,T2,T3
StEraseSuspend 65 Covered T163,T164,T85


transitionsLine No.CoveredTests
StEraseBusy->StEraseIdle 68 Covered T11,T65,T66
StEraseBusy->StEraseSuspend 65 Covered T163,T164,T85
StEraseIdle->StEraseBusy 57 Covered T11,T65,T66
StEraseSuspend->StEraseIdle 75 Covered T163,T164,T85



Branch Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[1].u_core.u_erase
Line No.TotalCoveredPercent
Branches 10 10 100.00
IF 39 2 2 100.00
CASE 52 8 8 100.00

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

LineNo. Expression -1-: 39 if ((!rst_ni))

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


LineNo. Expression -1-: 52 case (state_q) -2-: 56 if (((pg_erase_req_o || bk_erase_req_o) && ack_i)) -3-: 64 if ((suspend_req_i && ack_i)) -4-: 66 if (done_i) -5-: 73 if (done_i)

Branches:
-1--2--3--4--5-StatusTests
StEraseIdle 1 - - - Covered T11,T65,T66
StEraseIdle 0 - - - Covered T1,T2,T3
StEraseBusy - 1 - - Covered T163,T164,T85
StEraseBusy - 0 1 - Covered T11,T65,T66
StEraseBusy - 0 0 - Covered T11,T65,T66
StEraseSuspend - - - 1 Covered T7,T163,T164
StEraseSuspend - - - 0 Covered T7,T8
default - - - - Covered T7,T8

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