Line Coverage for Module : 
prim_edn_req
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 6 | 6 | 100.00 | 
| CONT_ASSIGN | 54 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 139 | 1 | 1 | 100.00 | 
| ALWAYS | 143 | 3 | 3 | 100.00 | 
| CONT_ASSIGN | 149 | 1 | 1 | 100.00 | 
| ALWAYS | 163 | 0 | 0 |  | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_edn_req_0.1/rtl/prim_edn_req.sv' or '../src/lowrisc_prim_edn_req_0.1/rtl/prim_edn_req.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 54 | 
1 | 
1 | 
| 139 | 
1 | 
1 | 
| 143 | 
1 | 
1 | 
| 144 | 
1 | 
1 | 
| 146 | 
1 | 
1 | 
| 149 | 
1 | 
1 | 
| 163 | 
 | 
unreachable | 
| 164 | 
 | 
unreachable | 
| 165 | 
 | 
unreachable | 
| 166 | 
 | 
unreachable | 
| 167 | 
 | 
unreachable | 
| 168 | 
 | 
unreachable | 
 | 
 | 
 | 
==>  MISSING_ELSE | 
Cond Coverage for Module : 
prim_edn_req
 | Total | Covered | Percent | 
| Conditions | 13 | 12 | 92.31 | 
| Logical | 13 | 12 | 92.31 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       54
 EXPRESSION (req_i & ((~ack_o)))
             --1--   -----2----
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Covered | T1,T2,T4 | 
| 1 | 1 | Covered | T1,T2,T4 | 
 LINE       139
 EXPRESSION ((req_i && ack_o) ? 1'b1 : (word_ack ? (fips_q & word_fips) : fips_q))
             --------1-------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T4 | 
 LINE       139
 SUB-EXPRESSION (req_i && ack_o)
                 --1--    --2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Not Covered |  | 
| 1 | 0 | Covered | T1,T2,T4 | 
| 1 | 1 | Covered | T1,T2,T4 | 
 LINE       139
 SUB-EXPRESSION (word_ack ? (fips_q & word_fips) : fips_q)
                 ----1---
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T4 | 
 LINE       139
 SUB-EXPRESSION (fips_q & word_fips)
                 ---1--   ----2----
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T2,T4 | 
| 1 | 0 | Covered | T1,T2,T4 | 
| 1 | 1 | Covered | T1,T2,T4 | 
Branch Coverage for Module : 
prim_edn_req
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
5 | 
5 | 
100.00 | 
| TERNARY | 
139 | 
3 | 
3 | 
100.00 | 
| IF | 
143 | 
2 | 
2 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_edn_req_0.1/rtl/prim_edn_req.sv' or '../src/lowrisc_prim_edn_req_0.1/rtl/prim_edn_req.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	139	((req_i && ack_o)) ? 
-2-:	139	(word_ack) ? 
Branches:
| -1- | -2- | Status | Tests | 
| 1 | 
- | 
Covered | 
T1,T2,T4 | 
| 0 | 
1 | 
Covered | 
T1,T2,T4 | 
| 0 | 
0 | 
Covered | 
T1,T2,T3 | 
	LineNo.	Expression
-1-:	143	if ((!rst_ni))
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T1,T2,T3 | 
Assert Coverage for Module : 
prim_edn_req
Assertion Details
DataOutputDiffFromPrev_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
460274078 | 
272771738 | 
0 | 
0 | 
| T1 | 
34855 | 
20589 | 
0 | 
0 | 
| T2 | 
935256 | 
616568 | 
0 | 
0 | 
| T3 | 
15086 | 
0 | 
0 | 
0 | 
| T4 | 
99939 | 
53394 | 
0 | 
0 | 
| T5 | 
440148 | 
119844 | 
0 | 
0 | 
| T6 | 
0 | 
587271 | 
0 | 
0 | 
| T7 | 
62862 | 
17978 | 
0 | 
0 | 
| T8 | 
13768 | 
0 | 
0 | 
0 | 
| T9 | 
82484 | 
40459 | 
0 | 
0 | 
| T10 | 
20012 | 
0 | 
0 | 
0 | 
| T11 | 
9427 | 
0 | 
0 | 
0 | 
| T24 | 
0 | 
75566 | 
0 | 
0 | 
| T86 | 
0 | 
43190 | 
0 | 
0 | 
| T87 | 
0 | 
28195 | 
0 | 
0 | 
DataOutputValid_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
460274078 | 
276439 | 
0 | 
0 | 
| T1 | 
34855 | 
70 | 
0 | 
0 | 
| T2 | 
935256 | 
1174 | 
0 | 
0 | 
| T3 | 
15086 | 
0 | 
0 | 
0 | 
| T4 | 
99939 | 
225 | 
0 | 
0 | 
| T5 | 
440148 | 
237 | 
0 | 
0 | 
| T6 | 
0 | 
1262 | 
0 | 
0 | 
| T7 | 
62862 | 
322 | 
0 | 
0 | 
| T8 | 
13768 | 
0 | 
0 | 
0 | 
| T9 | 
82484 | 
417 | 
0 | 
0 | 
| T10 | 
20012 | 
0 | 
0 | 
0 | 
| T11 | 
9427 | 
0 | 
0 | 
0 | 
| T24 | 
0 | 
1041 | 
0 | 
0 | 
| T86 | 
0 | 
744 | 
0 | 
0 | 
| T87 | 
0 | 
275 | 
0 | 
0 |