Line Coverage for Module : 
prim_mubi4_sender
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 6 | 6 | 100.00 | 
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 48 | 1 | 1 | 100.00 | 
| ALWAYS | 55 | 3 | 3 | 100.00 | 
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 34 | 
1 | 
1 | 
| 48 | 
1 | 
1 | 
| 55 | 
1 | 
1 | 
| 56 | 
1 | 
1 | 
| 58 | 
1 | 
1 | 
| 85 | 
1 | 
1 | 
Branch Coverage for Module : 
prim_mubi4_sender
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
2 | 
2 | 
100.00 | 
| IF | 
55 | 
2 | 
2 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	55	if ((!rst_ni))
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T1,T2,T3 | 
Assert Coverage for Module : 
prim_mubi4_sender
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
OutputsKnown_A | 
2147483647 | 
2147483647 | 
0 | 
0 | 
OutputsKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
2147483647 | 
2147483647 | 
0 | 
0 | 
| T1 | 
1646988 | 
1645560 | 
0 | 
0 | 
| T2 | 
5093652 | 
5093544 | 
0 | 
0 | 
| T3 | 
2943492 | 
2943480 | 
0 | 
0 | 
| T4 | 
1646088 | 
1645992 | 
0 | 
0 | 
| T5 | 
1525068 | 
1217448 | 
0 | 
0 | 
| T6 | 
1367700 | 
1365588 | 
0 | 
0 | 
| T7 | 
1375356 | 
1373760 | 
0 | 
0 | 
| T14 | 
17688 | 
16548 | 
0 | 
0 | 
| T15 | 
1943568 | 
1942716 | 
0 | 
0 | 
| T16 | 
10322892 | 
10321236 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[0].gen_info_priv_type[0].u_info_cfg.u_creator_mubi
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 6 | 6 | 100.00 | 
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 48 | 1 | 1 | 100.00 | 
| ALWAYS | 55 | 3 | 3 | 100.00 | 
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 34 | 
1 | 
1 | 
| 48 | 
1 | 
1 | 
| 55 | 
1 | 
1 | 
| 56 | 
1 | 
1 | 
| 58 | 
1 | 
1 | 
| 85 | 
1 | 
1 | 
Branch Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[0].gen_info_priv_type[0].u_info_cfg.u_creator_mubi
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
2 | 
2 | 
100.00 | 
| IF | 
55 | 
2 | 
2 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	55	if ((!rst_ni))
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T1,T2,T3 | 
Assert Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[0].gen_info_priv_type[0].u_info_cfg.u_creator_mubi
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
OutputsKnown_A | 
423189677 | 
422369935 | 
0 | 
0 | 
OutputsKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
423189677 | 
422369935 | 
0 | 
0 | 
| T1 | 
137249 | 
137130 | 
0 | 
0 | 
| T2 | 
424471 | 
424462 | 
0 | 
0 | 
| T3 | 
245291 | 
245290 | 
0 | 
0 | 
| T4 | 
137174 | 
137166 | 
0 | 
0 | 
| T5 | 
127089 | 
101454 | 
0 | 
0 | 
| T6 | 
113975 | 
113799 | 
0 | 
0 | 
| T7 | 
114613 | 
114480 | 
0 | 
0 | 
| T14 | 
1474 | 
1379 | 
0 | 
0 | 
| T15 | 
161964 | 
161893 | 
0 | 
0 | 
| T16 | 
860241 | 
860103 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[0].gen_info_priv_type[0].u_info_cfg.u_owner_mubi
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 6 | 6 | 100.00 | 
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 48 | 1 | 1 | 100.00 | 
| ALWAYS | 55 | 3 | 3 | 100.00 | 
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 34 | 
1 | 
1 | 
| 48 | 
1 | 
1 | 
| 55 | 
1 | 
1 | 
| 56 | 
1 | 
1 | 
| 58 | 
1 | 
1 | 
| 85 | 
1 | 
1 | 
Branch Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[0].gen_info_priv_type[0].u_info_cfg.u_owner_mubi
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
2 | 
2 | 
100.00 | 
| IF | 
55 | 
2 | 
2 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	55	if ((!rst_ni))
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T1,T2,T3 | 
Assert Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[0].gen_info_priv_type[0].u_info_cfg.u_owner_mubi
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
OutputsKnown_A | 
423189677 | 
422369935 | 
0 | 
0 | 
OutputsKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
423189677 | 
422369935 | 
0 | 
0 | 
| T1 | 
137249 | 
137130 | 
0 | 
0 | 
| T2 | 
424471 | 
424462 | 
0 | 
0 | 
| T3 | 
245291 | 
245290 | 
0 | 
0 | 
| T4 | 
137174 | 
137166 | 
0 | 
0 | 
| T5 | 
127089 | 
101454 | 
0 | 
0 | 
| T6 | 
113975 | 
113799 | 
0 | 
0 | 
| T7 | 
114613 | 
114480 | 
0 | 
0 | 
| T14 | 
1474 | 
1379 | 
0 | 
0 | 
| T15 | 
161964 | 
161893 | 
0 | 
0 | 
| T16 | 
860241 | 
860103 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[0].gen_info_priv_type[1].u_info_cfg.u_creator_mubi
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 6 | 6 | 100.00 | 
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 48 | 1 | 1 | 100.00 | 
| ALWAYS | 55 | 3 | 3 | 100.00 | 
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 34 | 
1 | 
1 | 
| 48 | 
1 | 
1 | 
| 55 | 
1 | 
1 | 
| 56 | 
1 | 
1 | 
| 58 | 
1 | 
1 | 
| 85 | 
1 | 
1 | 
Branch Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[0].gen_info_priv_type[1].u_info_cfg.u_creator_mubi
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
2 | 
2 | 
100.00 | 
| IF | 
55 | 
2 | 
2 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	55	if ((!rst_ni))
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T1,T2,T3 | 
Assert Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[0].gen_info_priv_type[1].u_info_cfg.u_creator_mubi
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
OutputsKnown_A | 
423189677 | 
422369935 | 
0 | 
0 | 
OutputsKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
423189677 | 
422369935 | 
0 | 
0 | 
| T1 | 
137249 | 
137130 | 
0 | 
0 | 
| T2 | 
424471 | 
424462 | 
0 | 
0 | 
| T3 | 
245291 | 
245290 | 
0 | 
0 | 
| T4 | 
137174 | 
137166 | 
0 | 
0 | 
| T5 | 
127089 | 
101454 | 
0 | 
0 | 
| T6 | 
113975 | 
113799 | 
0 | 
0 | 
| T7 | 
114613 | 
114480 | 
0 | 
0 | 
| T14 | 
1474 | 
1379 | 
0 | 
0 | 
| T15 | 
161964 | 
161893 | 
0 | 
0 | 
| T16 | 
860241 | 
860103 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[0].gen_info_priv_type[1].u_info_cfg.u_owner_mubi
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 6 | 6 | 100.00 | 
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 48 | 1 | 1 | 100.00 | 
| ALWAYS | 55 | 3 | 3 | 100.00 | 
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 34 | 
1 | 
1 | 
| 48 | 
1 | 
1 | 
| 55 | 
1 | 
1 | 
| 56 | 
1 | 
1 | 
| 58 | 
1 | 
1 | 
| 85 | 
1 | 
1 | 
Branch Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[0].gen_info_priv_type[1].u_info_cfg.u_owner_mubi
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
2 | 
2 | 
100.00 | 
| IF | 
55 | 
2 | 
2 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	55	if ((!rst_ni))
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T1,T2,T3 | 
Assert Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[0].gen_info_priv_type[1].u_info_cfg.u_owner_mubi
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
OutputsKnown_A | 
423189677 | 
422369935 | 
0 | 
0 | 
OutputsKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
423189677 | 
422369935 | 
0 | 
0 | 
| T1 | 
137249 | 
137130 | 
0 | 
0 | 
| T2 | 
424471 | 
424462 | 
0 | 
0 | 
| T3 | 
245291 | 
245290 | 
0 | 
0 | 
| T4 | 
137174 | 
137166 | 
0 | 
0 | 
| T5 | 
127089 | 
101454 | 
0 | 
0 | 
| T6 | 
113975 | 
113799 | 
0 | 
0 | 
| T7 | 
114613 | 
114480 | 
0 | 
0 | 
| T14 | 
1474 | 
1379 | 
0 | 
0 | 
| T15 | 
161964 | 
161893 | 
0 | 
0 | 
| T16 | 
860241 | 
860103 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[0].gen_info_priv_type[2].u_info_cfg.u_creator_mubi
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 6 | 6 | 100.00 | 
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 48 | 1 | 1 | 100.00 | 
| ALWAYS | 55 | 3 | 3 | 100.00 | 
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 34 | 
1 | 
1 | 
| 48 | 
1 | 
1 | 
| 55 | 
1 | 
1 | 
| 56 | 
1 | 
1 | 
| 58 | 
1 | 
1 | 
| 85 | 
1 | 
1 | 
Branch Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[0].gen_info_priv_type[2].u_info_cfg.u_creator_mubi
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
2 | 
2 | 
100.00 | 
| IF | 
55 | 
2 | 
2 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	55	if ((!rst_ni))
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T1,T2,T3 | 
Assert Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[0].gen_info_priv_type[2].u_info_cfg.u_creator_mubi
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
OutputsKnown_A | 
423189677 | 
422369935 | 
0 | 
0 | 
OutputsKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
423189677 | 
422369935 | 
0 | 
0 | 
| T1 | 
137249 | 
137130 | 
0 | 
0 | 
| T2 | 
424471 | 
424462 | 
0 | 
0 | 
| T3 | 
245291 | 
245290 | 
0 | 
0 | 
| T4 | 
137174 | 
137166 | 
0 | 
0 | 
| T5 | 
127089 | 
101454 | 
0 | 
0 | 
| T6 | 
113975 | 
113799 | 
0 | 
0 | 
| T7 | 
114613 | 
114480 | 
0 | 
0 | 
| T14 | 
1474 | 
1379 | 
0 | 
0 | 
| T15 | 
161964 | 
161893 | 
0 | 
0 | 
| T16 | 
860241 | 
860103 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[0].gen_info_priv_type[2].u_info_cfg.u_owner_mubi
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 6 | 6 | 100.00 | 
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 48 | 1 | 1 | 100.00 | 
| ALWAYS | 55 | 3 | 3 | 100.00 | 
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 34 | 
1 | 
1 | 
| 48 | 
1 | 
1 | 
| 55 | 
1 | 
1 | 
| 56 | 
1 | 
1 | 
| 58 | 
1 | 
1 | 
| 85 | 
1 | 
1 | 
Branch Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[0].gen_info_priv_type[2].u_info_cfg.u_owner_mubi
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
2 | 
2 | 
100.00 | 
| IF | 
55 | 
2 | 
2 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	55	if ((!rst_ni))
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T1,T2,T3 | 
Assert Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[0].gen_info_priv_type[2].u_info_cfg.u_owner_mubi
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
OutputsKnown_A | 
423189677 | 
422369935 | 
0 | 
0 | 
OutputsKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
423189677 | 
422369935 | 
0 | 
0 | 
| T1 | 
137249 | 
137130 | 
0 | 
0 | 
| T2 | 
424471 | 
424462 | 
0 | 
0 | 
| T3 | 
245291 | 
245290 | 
0 | 
0 | 
| T4 | 
137174 | 
137166 | 
0 | 
0 | 
| T5 | 
127089 | 
101454 | 
0 | 
0 | 
| T6 | 
113975 | 
113799 | 
0 | 
0 | 
| T7 | 
114613 | 
114480 | 
0 | 
0 | 
| T14 | 
1474 | 
1379 | 
0 | 
0 | 
| T15 | 
161964 | 
161893 | 
0 | 
0 | 
| T16 | 
860241 | 
860103 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[1].gen_info_priv_type[0].u_info_cfg.u_creator_mubi
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 6 | 6 | 100.00 | 
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 48 | 1 | 1 | 100.00 | 
| ALWAYS | 55 | 3 | 3 | 100.00 | 
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 34 | 
1 | 
1 | 
| 48 | 
1 | 
1 | 
| 55 | 
1 | 
1 | 
| 56 | 
1 | 
1 | 
| 58 | 
1 | 
1 | 
| 85 | 
1 | 
1 | 
Branch Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[1].gen_info_priv_type[0].u_info_cfg.u_creator_mubi
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
2 | 
2 | 
100.00 | 
| IF | 
55 | 
2 | 
2 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	55	if ((!rst_ni))
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T1,T2,T3 | 
Assert Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[1].gen_info_priv_type[0].u_info_cfg.u_creator_mubi
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
OutputsKnown_A | 
423189677 | 
422369935 | 
0 | 
0 | 
OutputsKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
423189677 | 
422369935 | 
0 | 
0 | 
| T1 | 
137249 | 
137130 | 
0 | 
0 | 
| T2 | 
424471 | 
424462 | 
0 | 
0 | 
| T3 | 
245291 | 
245290 | 
0 | 
0 | 
| T4 | 
137174 | 
137166 | 
0 | 
0 | 
| T5 | 
127089 | 
101454 | 
0 | 
0 | 
| T6 | 
113975 | 
113799 | 
0 | 
0 | 
| T7 | 
114613 | 
114480 | 
0 | 
0 | 
| T14 | 
1474 | 
1379 | 
0 | 
0 | 
| T15 | 
161964 | 
161893 | 
0 | 
0 | 
| T16 | 
860241 | 
860103 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[1].gen_info_priv_type[0].u_info_cfg.u_owner_mubi
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 6 | 6 | 100.00 | 
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 48 | 1 | 1 | 100.00 | 
| ALWAYS | 55 | 3 | 3 | 100.00 | 
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 34 | 
1 | 
1 | 
| 48 | 
1 | 
1 | 
| 55 | 
1 | 
1 | 
| 56 | 
1 | 
1 | 
| 58 | 
1 | 
1 | 
| 85 | 
1 | 
1 | 
Branch Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[1].gen_info_priv_type[0].u_info_cfg.u_owner_mubi
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
2 | 
2 | 
100.00 | 
| IF | 
55 | 
2 | 
2 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	55	if ((!rst_ni))
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T1,T2,T3 | 
Assert Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[1].gen_info_priv_type[0].u_info_cfg.u_owner_mubi
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
OutputsKnown_A | 
423189677 | 
422369935 | 
0 | 
0 | 
OutputsKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
423189677 | 
422369935 | 
0 | 
0 | 
| T1 | 
137249 | 
137130 | 
0 | 
0 | 
| T2 | 
424471 | 
424462 | 
0 | 
0 | 
| T3 | 
245291 | 
245290 | 
0 | 
0 | 
| T4 | 
137174 | 
137166 | 
0 | 
0 | 
| T5 | 
127089 | 
101454 | 
0 | 
0 | 
| T6 | 
113975 | 
113799 | 
0 | 
0 | 
| T7 | 
114613 | 
114480 | 
0 | 
0 | 
| T14 | 
1474 | 
1379 | 
0 | 
0 | 
| T15 | 
161964 | 
161893 | 
0 | 
0 | 
| T16 | 
860241 | 
860103 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[1].gen_info_priv_type[1].u_info_cfg.u_creator_mubi
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 6 | 6 | 100.00 | 
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 48 | 1 | 1 | 100.00 | 
| ALWAYS | 55 | 3 | 3 | 100.00 | 
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 34 | 
1 | 
1 | 
| 48 | 
1 | 
1 | 
| 55 | 
1 | 
1 | 
| 56 | 
1 | 
1 | 
| 58 | 
1 | 
1 | 
| 85 | 
1 | 
1 | 
Branch Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[1].gen_info_priv_type[1].u_info_cfg.u_creator_mubi
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
2 | 
2 | 
100.00 | 
| IF | 
55 | 
2 | 
2 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	55	if ((!rst_ni))
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T1,T2,T3 | 
Assert Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[1].gen_info_priv_type[1].u_info_cfg.u_creator_mubi
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
OutputsKnown_A | 
423189677 | 
422369935 | 
0 | 
0 | 
OutputsKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
423189677 | 
422369935 | 
0 | 
0 | 
| T1 | 
137249 | 
137130 | 
0 | 
0 | 
| T2 | 
424471 | 
424462 | 
0 | 
0 | 
| T3 | 
245291 | 
245290 | 
0 | 
0 | 
| T4 | 
137174 | 
137166 | 
0 | 
0 | 
| T5 | 
127089 | 
101454 | 
0 | 
0 | 
| T6 | 
113975 | 
113799 | 
0 | 
0 | 
| T7 | 
114613 | 
114480 | 
0 | 
0 | 
| T14 | 
1474 | 
1379 | 
0 | 
0 | 
| T15 | 
161964 | 
161893 | 
0 | 
0 | 
| T16 | 
860241 | 
860103 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[1].gen_info_priv_type[1].u_info_cfg.u_owner_mubi
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 6 | 6 | 100.00 | 
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 48 | 1 | 1 | 100.00 | 
| ALWAYS | 55 | 3 | 3 | 100.00 | 
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 34 | 
1 | 
1 | 
| 48 | 
1 | 
1 | 
| 55 | 
1 | 
1 | 
| 56 | 
1 | 
1 | 
| 58 | 
1 | 
1 | 
| 85 | 
1 | 
1 | 
Branch Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[1].gen_info_priv_type[1].u_info_cfg.u_owner_mubi
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
2 | 
2 | 
100.00 | 
| IF | 
55 | 
2 | 
2 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	55	if ((!rst_ni))
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T1,T2,T3 | 
Assert Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[1].gen_info_priv_type[1].u_info_cfg.u_owner_mubi
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
OutputsKnown_A | 
423189677 | 
422369935 | 
0 | 
0 | 
OutputsKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
423189677 | 
422369935 | 
0 | 
0 | 
| T1 | 
137249 | 
137130 | 
0 | 
0 | 
| T2 | 
424471 | 
424462 | 
0 | 
0 | 
| T3 | 
245291 | 
245290 | 
0 | 
0 | 
| T4 | 
137174 | 
137166 | 
0 | 
0 | 
| T5 | 
127089 | 
101454 | 
0 | 
0 | 
| T6 | 
113975 | 
113799 | 
0 | 
0 | 
| T7 | 
114613 | 
114480 | 
0 | 
0 | 
| T14 | 
1474 | 
1379 | 
0 | 
0 | 
| T15 | 
161964 | 
161893 | 
0 | 
0 | 
| T16 | 
860241 | 
860103 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[1].gen_info_priv_type[2].u_info_cfg.u_creator_mubi
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 6 | 6 | 100.00 | 
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 48 | 1 | 1 | 100.00 | 
| ALWAYS | 55 | 3 | 3 | 100.00 | 
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 34 | 
1 | 
1 | 
| 48 | 
1 | 
1 | 
| 55 | 
1 | 
1 | 
| 56 | 
1 | 
1 | 
| 58 | 
1 | 
1 | 
| 85 | 
1 | 
1 | 
Branch Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[1].gen_info_priv_type[2].u_info_cfg.u_creator_mubi
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
2 | 
2 | 
100.00 | 
| IF | 
55 | 
2 | 
2 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	55	if ((!rst_ni))
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T1,T2,T3 | 
Assert Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[1].gen_info_priv_type[2].u_info_cfg.u_creator_mubi
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
OutputsKnown_A | 
423189677 | 
422369935 | 
0 | 
0 | 
OutputsKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
423189677 | 
422369935 | 
0 | 
0 | 
| T1 | 
137249 | 
137130 | 
0 | 
0 | 
| T2 | 
424471 | 
424462 | 
0 | 
0 | 
| T3 | 
245291 | 
245290 | 
0 | 
0 | 
| T4 | 
137174 | 
137166 | 
0 | 
0 | 
| T5 | 
127089 | 
101454 | 
0 | 
0 | 
| T6 | 
113975 | 
113799 | 
0 | 
0 | 
| T7 | 
114613 | 
114480 | 
0 | 
0 | 
| T14 | 
1474 | 
1379 | 
0 | 
0 | 
| T15 | 
161964 | 
161893 | 
0 | 
0 | 
| T16 | 
860241 | 
860103 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[1].gen_info_priv_type[2].u_info_cfg.u_owner_mubi
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 6 | 6 | 100.00 | 
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 48 | 1 | 1 | 100.00 | 
| ALWAYS | 55 | 3 | 3 | 100.00 | 
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 34 | 
1 | 
1 | 
| 48 | 
1 | 
1 | 
| 55 | 
1 | 
1 | 
| 56 | 
1 | 
1 | 
| 58 | 
1 | 
1 | 
| 85 | 
1 | 
1 | 
Branch Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[1].gen_info_priv_type[2].u_info_cfg.u_owner_mubi
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
2 | 
2 | 
100.00 | 
| IF | 
55 | 
2 | 
2 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sender.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	55	if ((!rst_ni))
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T1,T2,T3 | 
Assert Coverage for Instance : tb.dut.u_region_cfg.gen_info_priv_bank[1].gen_info_priv_type[2].u_info_cfg.u_owner_mubi
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
OutputsKnown_A | 
423189677 | 
422369935 | 
0 | 
0 | 
OutputsKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
423189677 | 
422369935 | 
0 | 
0 | 
| T1 | 
137249 | 
137130 | 
0 | 
0 | 
| T2 | 
424471 | 
424462 | 
0 | 
0 | 
| T3 | 
245291 | 
245290 | 
0 | 
0 | 
| T4 | 
137174 | 
137166 | 
0 | 
0 | 
| T5 | 
127089 | 
101454 | 
0 | 
0 | 
| T6 | 
113975 | 
113799 | 
0 | 
0 | 
| T7 | 
114613 | 
114480 | 
0 | 
0 | 
| T14 | 
1474 | 
1379 | 
0 | 
0 | 
| T15 | 
161964 | 
161893 | 
0 | 
0 | 
| T16 | 
860241 | 
860103 | 
0 | 
0 |