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

Module : flash_mp_data_region_sel
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00

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

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.u_flash_mp.u_sw_sel 0.00 0.00 0.00 0.00
tb.dut.u_flash_mp.u_hw_sel 0.00 0.00 0.00
tb.dut.u_eflash.u_region_sel 0.00 0.00 0.00 0.00


Module Instance : tb.dut.u_flash_mp.u_sw_sel

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
0.00 0.00 0.00 0.00 u_flash_mp


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_flash_mp.u_hw_sel

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
0.00 0.00 0.00 0.00 u_flash_mp


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_eflash.u_region_sel

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
0.00 0.00 0.00 0.00 u_eflash


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children

Line Coverage for Module : flash_mp_data_region_sel ( parameter Regions=9 )
Line Coverage for Module self-instances :
SCORELINE
0.00 0.00
tb.dut.u_flash_mp.u_sw_sel

SCORELINE
0.00 0.00
tb.dut.u_eflash.u_region_sel

Line No.TotalCoveredPercent
TOTAL1600.00
CONT_ASSIGN28100.00
CONT_ASSIGN30100.00
CONT_ASSIGN30100.00
CONT_ASSIGN30100.00
CONT_ASSIGN30100.00
CONT_ASSIGN30100.00
CONT_ASSIGN30100.00
CONT_ASSIGN30100.00
CONT_ASSIGN30100.00
ALWAYS3500
ALWAYS35300.00
ALWAYS49400.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_flash_ctrl_0.1/rtl/flash_mp_data_region_sel.sv' or '../src/lowrisc_ip_flash_ctrl_0.1/rtl/flash_mp_data_region_sel.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
28 0 1
30 0 8
35 0 1
36 0 1
39 0 1
49 0 1
50 0 1
51 0 1
52 0 1
==> MISSING_ELSE

Line Coverage for Module : flash_mp_data_region_sel ( parameter Regions=1 )
Line Coverage for Module self-instances :
SCORELINE
0.00 0.00
tb.dut.u_flash_mp.u_hw_sel

Line No.TotalCoveredPercent
TOTAL800.00
CONT_ASSIGN28100.00
ALWAYS3500
ALWAYS35300.00
ALWAYS49400.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_flash_ctrl_0.1/rtl/flash_mp_data_region_sel.sv' or '../src/lowrisc_ip_flash_ctrl_0.1/rtl/flash_mp_data_region_sel.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
28 0 1
35 0 1
36 0 1
39 0 1
49 0 1
50 0 1
51 0 1
52 0 1
==> MISSING_ELSE

Cond Coverage for Module : flash_mp_data_region_sel
TotalCoveredPercent
Conditions2400.00
Logical2400.00
Non-Logical00
Event00

 LINE       30
 EXPRESSION (region_match[1] & ((~|region_match[0])))
             -------1-------   ----------2----------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       30
 EXPRESSION (region_match[2] & ((~|region_match[(2 - 1):0])))
             -------1-------   --------------2--------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       30
 EXPRESSION (region_match[3] & ((~|region_match[(3 - 1):0])))
             -------1-------   --------------2--------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       30
 EXPRESSION (region_match[4] & ((~|region_match[(4 - 1):0])))
             -------1-------   --------------2--------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       30
 EXPRESSION (region_match[5] & ((~|region_match[(5 - 1):0])))
             -------1-------   --------------2--------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       30
 EXPRESSION (region_match[6] & ((~|region_match[(6 - 1):0])))
             -------1-------   --------------2--------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       30
 EXPRESSION (region_match[7] & ((~|region_match[(7 - 1):0])))
             -------1-------   --------------2--------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       30
 EXPRESSION (region_match[8] & ((~|region_match[(8 - 1):0])))
             -------1-------   --------------2--------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered
Branch Coverage for Module : flash_mp_data_region_sel
Line No.TotalCoveredPercent
Branches 2 0 0.00
IF 51 2 0 0.00

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


	LineNo.	Expression
-1-:	51	if (region_sel[i])

Branches:
-1-StatusTests
1 Not Covered
0 Not Covered

Line Coverage for Instance : tb.dut.u_flash_mp.u_sw_sel
Line No.TotalCoveredPercent
TOTAL1600.00
CONT_ASSIGN28100.00
CONT_ASSIGN30100.00
CONT_ASSIGN30100.00
CONT_ASSIGN30100.00
CONT_ASSIGN30100.00
CONT_ASSIGN30100.00
CONT_ASSIGN30100.00
CONT_ASSIGN30100.00
CONT_ASSIGN30100.00
ALWAYS3500
ALWAYS35300.00
ALWAYS49400.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_flash_ctrl_0.1/rtl/flash_mp_data_region_sel.sv' or '../src/lowrisc_ip_flash_ctrl_0.1/rtl/flash_mp_data_region_sel.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
28 0 1
30 0 8
35 0 1
36 0 1
39 0 1
49 0 1
50 0 1
51 0 1
52 0 1
==> MISSING_ELSE

Cond Coverage for Instance : tb.dut.u_flash_mp.u_sw_sel
TotalCoveredPercent
Conditions2400.00
Logical2400.00
Non-Logical00
Event00

 LINE       30
 EXPRESSION (region_match[1] & ((~|region_match[0])))
             -------1-------   ----------2----------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       30
 EXPRESSION (region_match[2] & ((~|region_match[(2 - 1):0])))
             -------1-------   --------------2--------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       30
 EXPRESSION (region_match[3] & ((~|region_match[(3 - 1):0])))
             -------1-------   --------------2--------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       30
 EXPRESSION (region_match[4] & ((~|region_match[(4 - 1):0])))
             -------1-------   --------------2--------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       30
 EXPRESSION (region_match[5] & ((~|region_match[(5 - 1):0])))
             -------1-------   --------------2--------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       30
 EXPRESSION (region_match[6] & ((~|region_match[(6 - 1):0])))
             -------1-------   --------------2--------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       30
 EXPRESSION (region_match[7] & ((~|region_match[(7 - 1):0])))
             -------1-------   --------------2--------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       30
 EXPRESSION (region_match[8] & ((~|region_match[(8 - 1):0])))
             -------1-------   --------------2--------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered
Branch Coverage for Instance : tb.dut.u_flash_mp.u_sw_sel
Line No.TotalCoveredPercent
Branches 2 0 0.00
IF 51 2 0 0.00

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


	LineNo.	Expression
-1-:	51	if (region_sel[i])

Branches:
-1-StatusTests
1 Not Covered
0 Not Covered

Line Coverage for Instance : tb.dut.u_flash_mp.u_hw_sel
Line No.TotalCoveredPercent
TOTAL800.00
CONT_ASSIGN28100.00
ALWAYS3500
ALWAYS35300.00
ALWAYS49400.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_flash_ctrl_0.1/rtl/flash_mp_data_region_sel.sv' or '../src/lowrisc_ip_flash_ctrl_0.1/rtl/flash_mp_data_region_sel.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
28 0 1
35 0 1
36 0 1
39 0 1
49 0 1
50 0 1
51 0 1
52 0 1
==> MISSING_ELSE

Branch Coverage for Instance : tb.dut.u_flash_mp.u_hw_sel
Line No.TotalCoveredPercent
Branches 2 0 0.00
IF 51 2 0 0.00

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


	LineNo.	Expression
-1-:	51	if (region_sel[i])

Branches:
-1-StatusTests
1 Not Covered
0 Not Covered

Line Coverage for Instance : tb.dut.u_eflash.u_region_sel
Line No.TotalCoveredPercent
TOTAL1600.00
CONT_ASSIGN28100.00
CONT_ASSIGN30100.00
CONT_ASSIGN30100.00
CONT_ASSIGN30100.00
CONT_ASSIGN30100.00
CONT_ASSIGN30100.00
CONT_ASSIGN30100.00
CONT_ASSIGN30100.00
CONT_ASSIGN30100.00
ALWAYS3500
ALWAYS35300.00
ALWAYS49400.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_flash_ctrl_0.1/rtl/flash_mp_data_region_sel.sv' or '../src/lowrisc_ip_flash_ctrl_0.1/rtl/flash_mp_data_region_sel.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
28 0 1
30 0 8
35 0 1
36 0 1
39 0 1
49 0 1
50 0 1
51 0 1
52 0 1
==> MISSING_ELSE

Cond Coverage for Instance : tb.dut.u_eflash.u_region_sel
TotalCoveredPercent
Conditions2400.00
Logical2400.00
Non-Logical00
Event00

 LINE       30
 EXPRESSION (region_match[1] & ((~|region_match[0])))
             -------1-------   ----------2----------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       30
 EXPRESSION (region_match[2] & ((~|region_match[(2 - 1):0])))
             -------1-------   --------------2--------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       30
 EXPRESSION (region_match[3] & ((~|region_match[(3 - 1):0])))
             -------1-------   --------------2--------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       30
 EXPRESSION (region_match[4] & ((~|region_match[(4 - 1):0])))
             -------1-------   --------------2--------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       30
 EXPRESSION (region_match[5] & ((~|region_match[(5 - 1):0])))
             -------1-------   --------------2--------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       30
 EXPRESSION (region_match[6] & ((~|region_match[(6 - 1):0])))
             -------1-------   --------------2--------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       30
 EXPRESSION (region_match[7] & ((~|region_match[(7 - 1):0])))
             -------1-------   --------------2--------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       30
 EXPRESSION (region_match[8] & ((~|region_match[(8 - 1):0])))
             -------1-------   --------------2--------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered
Branch Coverage for Instance : tb.dut.u_eflash.u_region_sel
Line No.TotalCoveredPercent
Branches 2 0 0.00
IF 51 2 0 0.00

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


	LineNo.	Expression
-1-:	51	if (region_sel[i])

Branches:
-1-StatusTests
1 Not Covered
0 Not Covered

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