Line Coverage for Module :
tlul_adapter_sram
| Line No. | Total | Covered | Percent |
TOTAL | | 65 | 63 | 96.92 |
ALWAYS | 93 | 3 | 3 | 100.00 |
CONT_ASSIGN | 102 | 1 | 1 | 100.00 |
CONT_ASSIGN | 107 | 1 | 1 | 100.00 |
CONT_ASSIGN | 114 | 1 | 1 | 100.00 |
CONT_ASSIGN | 125 | 1 | 1 | 100.00 |
CONT_ASSIGN | 139 | 1 | 1 | 100.00 |
CONT_ASSIGN | 151 | 1 | 1 | 100.00 |
CONT_ASSIGN | 222 | 1 | 1 | 100.00 |
CONT_ASSIGN | 223 | 1 | 1 | 100.00 |
CONT_ASSIGN | 224 | 1 | 1 | 100.00 |
ALWAYS | 229 | 8 | 7 | 87.50 |
ALWAYS | 249 | 6 | 6 | 100.00 |
CONT_ASSIGN | 263 | 1 | 1 | 100.00 |
CONT_ASSIGN | 267 | 1 | 1 | 100.00 |
CONT_ASSIGN | 286 | 1 | 1 | 100.00 |
CONT_ASSIGN | 291 | 1 | 1 | 100.00 |
CONT_ASSIGN | 297 | 1 | 1 | 100.00 |
CONT_ASSIGN | 301 | 1 | 1 | 100.00 |
CONT_ASSIGN | 321 | 1 | 1 | 100.00 |
CONT_ASSIGN | 322 | 1 | 1 | 100.00 |
CONT_ASSIGN | 323 | 1 | 1 | 100.00 |
CONT_ASSIGN | 324 | 1 | 1 | 100.00 |
ALWAYS | 354 | 6 | 6 | 100.00 |
ALWAYS | 366 | 5 | 5 | 100.00 |
CONT_ASSIGN | 381 | 1 | 1 | 100.00 |
CONT_ASSIGN | 382 | 1 | 1 | 100.00 |
CONT_ASSIGN | 383 | 1 | 1 | 100.00 |
CONT_ASSIGN | 387 | 1 | 1 | 100.00 |
CONT_ASSIGN | 388 | 1 | 1 | 100.00 |
CONT_ASSIGN | 390 | 1 | 1 | 100.00 |
CONT_ASSIGN | 391 | 1 | 1 | 100.00 |
CONT_ASSIGN | 398 | 1 | 1 | 100.00 |
CONT_ASSIGN | 401 | 1 | 1 | 100.00 |
CONT_ASSIGN | 405 | 1 | 1 | 100.00 |
CONT_ASSIGN | 406 | 1 | 0 | 0.00 |
CONT_ASSIGN | 408 | 1 | 1 | 100.00 |
CONT_ASSIGN | 415 | 0 | 0 | |
ALWAYS | 433 | 3 | 3 | 100.00 |
CONT_ASSIGN | 439 | 1 | 1 | 100.00 |
CONT_ASSIGN | 442 | 1 | 1 | 100.00 |
CONT_ASSIGN | 447 | 1 | 1 | 100.00 |
CONT_ASSIGN | 452 | 0 | 0 | |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_tlul_adapter_sram_0.1/rtl/tlul_adapter_sram.sv' or '../src/lowrisc_tlul_adapter_sram_0.1/rtl/tlul_adapter_sram.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
93 |
1 |
1 |
94 |
1 |
1 |
95 |
1 |
1 |
96 |
|
unreachable |
|
|
|
MISSING_ELSE |
102 |
1 |
1 |
107 |
1 |
1 |
114 |
1 |
1 |
125 |
1 |
1 |
139 |
1 |
1 |
151 |
1 |
1 |
222 |
1 |
1 |
223 |
1 |
1 |
224 |
1 |
1 |
229 |
1 |
1 |
231 |
1 |
1 |
232 |
1 |
1 |
234 |
1 |
1 |
235 |
1 |
1 |
236 |
0 |
1 |
239 |
1 |
1 |
242 |
1 |
1 |
249 |
1 |
1 |
251 |
1 |
1 |
252 |
1 |
1 |
253 |
1 |
1 |
255 |
1 |
1 |
258 |
1 |
1 |
263 |
1 |
1 |
267 |
1 |
1 |
286 |
1 |
1 |
291 |
1 |
1 |
297 |
1 |
1 |
301 |
1 |
1 |
321 |
1 |
1 |
322 |
1 |
1 |
323 |
1 |
1 |
324 |
1 |
1 |
354 |
1 |
1 |
355 |
1 |
1 |
357 |
1 |
1 |
358 |
1 |
1 |
359 |
1 |
1 |
360 |
1 |
1 |
|
|
|
MISSING_ELSE |
366 |
1 |
1 |
367 |
1 |
1 |
369 |
1 |
1 |
370 |
1 |
1 |
371 |
1 |
1 |
|
|
|
MISSING_ELSE |
381 |
1 |
1 |
382 |
1 |
1 |
383 |
1 |
1 |
387 |
1 |
1 |
388 |
1 |
1 |
390 |
1 |
1 |
391 |
1 |
1 |
398 |
1 |
1 |
401 |
1 |
1 |
405 |
1 |
1 |
406 |
0 |
1 |
408 |
1 |
1 |
415 |
|
unreachable |
433 |
1 |
1 |
434 |
1 |
1 |
435 |
1 |
1 |
439 |
1 |
1 |
442 |
1 |
1 |
447 |
1 |
1 |
452 |
|
unreachable |
Cond Coverage for Module :
tlul_adapter_sram
| Total | Covered | Percent |
Conditions | 109 | 82 | 75.23 |
Logical | 109 | 82 | 75.23 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 95
EXPRESSION (intg_error || rsp_fifo_error)
-----1---- -------2------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 0 | Unreachable | |
LINE 102
EXPRESSION (intg_error | rsp_fifo_error | intg_error_q)
-----1---- -------2------ ------3-----
-1- | -2- | -3- | Status | Tests |
0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 1 | Not Covered | |
0 | 1 | 0 | Unreachable | |
1 | 0 | 0 | Unreachable | |
LINE 107
EXPRESSION
Number Term
1 ((tl_i.a_opcode == PutFullData) || (tl_i.a_opcode == PutPartialData)) ? (((ByteAccess == 1'b0) ? ((tl_i.a_mask != '1) || (tl_i.a_size != 2'h2)) : 1'b0)) : 1'b0)
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 107
SUB-EXPRESSION ((tl_i.a_opcode == PutFullData) || (tl_i.a_opcode == PutPartialData))
---------------1-------------- ----------------2----------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
LINE 107
SUB-EXPRESSION (tl_i.a_opcode == PutFullData)
---------------1--------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 107
SUB-EXPRESSION (tl_i.a_opcode == PutPartialData)
----------------1----------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 125
EXPRESSION (tl_i.a_opcode == Get)
-----------1----------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 139
EXPRESSION (wr_attr_error | wr_vld_error | rd_vld_error | instr_error | tlul_error | intg_error)
------1------ ------2----- ------3----- -----4----- -----5---- -----6----
-1- | -2- | -3- | -4- | -5- | -6- | Status | Tests |
0 | 0 | 0 | 0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 0 | 0 | 0 | 1 | Unreachable | |
0 | 0 | 0 | 0 | 1 | 0 | Covered | T1,T2,T3 |
0 | 0 | 0 | 1 | 0 | 0 | Not Covered | |
0 | 0 | 1 | 0 | 0 | 0 | Covered | T12,T13,T5 |
0 | 1 | 0 | 0 | 0 | 0 | Unreachable | |
1 | 0 | 0 | 0 | 0 | 0 | Not Covered | |
LINE 222
EXPRESSION (tl_i_int.a_valid & tl_o_int.a_ready)
--------1------- --------2-------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 223
EXPRESSION (tl_o_int.d_valid & tl_i_int.d_ready)
--------1------- --------2-------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T4,T14 |
1 | 1 | Covered | T1,T2,T3 |
LINE 224
EXPRESSION (req_o & gnt_i)
--1-- --2--
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T11,T15,T12 |
1 | 1 | Covered | T1,T2,T3 |
LINE 235
EXPRESSION (reqfifo_rdata.op == OpRead)
--------------1-------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Not Covered | |
LINE 252
EXPRESSION (reqfifo_rdata.op == OpRead)
--------------1-------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T12,T13,T5 |
LINE 253
EXPRESSION (rspfifo_rdata.error | reqfifo_rdata.error)
---------1--------- ---------2---------
-1- | -2- | Status | Tests |
0 | 0 | Not Covered | |
0 | 1 | Covered | T12,T13,T5 |
1 | 0 | Not Covered | |
LINE 263
EXPRESSION (d_valid & reqfifo_rvalid & rspfifo_rvalid & (reqfifo_rdata.op == OpRead))
---1--- -------2------ -------3------ --------------4-------------
-1- | -2- | -3- | -4- | Status | Tests |
0 | 1 | 1 | 1 | Not Covered | |
1 | 0 | 1 | 1 | Not Covered | |
1 | 1 | 0 | 1 | Covered | T12,T13,T5 |
1 | 1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | 1 | Not Covered | |
LINE 263
SUB-EXPRESSION (reqfifo_rdata.op == OpRead)
--------------1-------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T12,T13,T5 |
LINE 291
EXPRESSION ((vld_rd_rsp & ((~d_error))) ? rspfifo_rdata.data : error_blanking_data)
-------------1-------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Not Covered | |
LINE 291
SUB-EXPRESSION (vld_rd_rsp & ((~d_error)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 297
EXPRESSION ((vld_rd_rsp && reqfifo_rdata.error) ? error_blanking_integ : (vld_rd_rsp ? rspfifo_rdata.data_intg : prim_secded_pkg::SecdedInv3932ZeroEcc))
-----------------1-----------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Not Covered | |
LINE 297
SUB-EXPRESSION (vld_rd_rsp && reqfifo_rdata.error)
-----1---- ---------2---------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T12,T13,T5 |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 297
SUB-EXPRESSION (vld_rd_rsp ? rspfifo_rdata.data_intg : prim_secded_pkg::SecdedInv3932ZeroEcc)
-----1----
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Not Covered | |
LINE 301
EXPRESSION ((d_valid && (reqfifo_rdata.op != OpRead)) ? AccessAck : AccessAckData)
--------------------1--------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 301
SUB-EXPRESSION (d_valid && (reqfifo_rdata.op != OpRead))
---1--- --------------2-------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T12,T13,T5 |
1 | 1 | Covered | T1,T2,T3 |
LINE 301
SUB-EXPRESSION (reqfifo_rdata.op != OpRead)
--------------1-------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 301
EXPRESSION (d_valid ? reqfifo_rdata.size : '0)
---1---
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 301
EXPRESSION (d_valid ? reqfifo_rdata.source : '0)
---1---
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 301
EXPRESSION (d_valid && d_error)
---1--- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T12,T13,T5 |
LINE 301
EXPRESSION ((gnt_i | error_internal) & reqfifo_wready & sramreqfifo_wready)
------------1----------- -------2------ ---------3--------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T11,T15,T12 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 301
SUB-EXPRESSION (gnt_i | error_internal)
--1-- -------2------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
LINE 321
EXPRESSION (tl_i_int.a_valid & reqfifo_wready & ((~error_internal)))
--------1------- -------2------ ---------3---------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Not Covered | |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T12,T13,T5 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 323
EXPRESSION (tl_i_int.a_valid & (tl_i_int.a_opcode inside {PutFullData, PutPartialData}))
--------1------- ----------------------------2---------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T12,T13,T5 |
1 | 1 | Covered | T1,T2,T3 |
LINE 324
EXPRESSION (tl_i_int.a_valid ? tl_i_int.a_address[DataBitWidth+:SramAw] : '0)
--------1-------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 360
EXPRESSION ((tl_i_int.a_mask[i] && we_o) ? tl_i_int.a_data[(8 * i)+:8] : '0)
--------------1-------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 360
SUB-EXPRESSION (tl_i_int.a_mask[i] && we_o)
---------1-------- --2-
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T12,T13,T5 |
1 | 1 | Covered | T1,T2,T3 |
LINE 383
EXPRESSION (((|wmask_intg)) & ((|wdata_intg)))
-------1------- -------2-------
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 391
EXPRESSION ((tl_i_int.a_opcode != Get) ? OpWrite : OpRead)
-------------1------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 391
SUB-EXPRESSION (tl_i_int.a_opcode != Get)
-------------1------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 405
EXPRESSION (sram_ack & ((~we_o)))
----1--- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Not Covered | |
LINE 408
EXPRESSION (rvalid_i & reqfifo_rvalid)
----1--- -------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 447
EXPRESSION (((reqfifo_rdata.op == OpRead) & ((~reqfifo_rdata.error))) ? reqfifo_rready : 1'b0)
----------------------------1----------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Not Covered | |
LINE 447
SUB-EXPRESSION ((reqfifo_rdata.op == OpRead) & ((~reqfifo_rdata.error)))
--------------1------------- ------------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T12,T13,T5 |
1 | 1 | Not Covered | |
LINE 447
SUB-EXPRESSION (reqfifo_rdata.op == OpRead)
--------------1-------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T12,T13,T5 |
Branch Coverage for Module :
tlul_adapter_sram
| Line No. | Total | Covered | Percent |
Branches |
|
24 |
19 |
79.17 |
TERNARY |
107 |
2 |
2 |
100.00 |
TERNARY |
291 |
2 |
1 |
50.00 |
TERNARY |
297 |
3 |
1 |
33.33 |
TERNARY |
324 |
2 |
2 |
100.00 |
TERNARY |
447 |
2 |
1 |
50.00 |
IF |
93 |
2 |
2 |
100.00 |
IF |
231 |
4 |
3 |
75.00 |
IF |
251 |
3 |
3 |
100.00 |
IF |
357 |
2 |
2 |
100.00 |
IF |
369 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_tlul_adapter_sram_0.1/rtl/tlul_adapter_sram.sv' or '../src/lowrisc_tlul_adapter_sram_0.1/rtl/tlul_adapter_sram.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 107 (((tl_i.a_opcode == PutFullData) || (tl_i.a_opcode == PutPartialData))) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 291 ((vld_rd_rsp & (~d_error))) ?
Branches:
-1- | Status | Tests |
1 |
Not Covered |
|
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 297 ((vld_rd_rsp && reqfifo_rdata.error)) ?
-2-: 297 (vld_rd_rsp) ?
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Not Covered |
|
0 |
1 |
Not Covered |
|
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 324 (tl_i_int.a_valid) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 447 (((reqfifo_rdata.op == OpRead) & (~reqfifo_rdata.error))) ?
Branches:
-1- | Status | Tests |
1 |
Not Covered |
|
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 93 if ((!rst_ni))
-2-: 95 if ((intg_error || rsp_fifo_error))
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Unreachable |
|
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 231 if (reqfifo_rvalid)
-2-: 232 if (reqfifo_rdata.error)
-3-: 235 if ((reqfifo_rdata.op == OpRead))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
1 |
- |
Covered |
T12,T13,T5 |
1 |
0 |
1 |
Not Covered |
|
1 |
0 |
0 |
Covered |
T1,T2,T3 |
0 |
- |
- |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 251 if (reqfifo_rvalid)
-2-: 252 if ((reqfifo_rdata.op == OpRead))
Branches:
-1- | -2- | Status | Tests |
1 |
1 |
Covered |
T12,T13,T5 |
1 |
0 |
Covered |
T1,T2,T3 |
0 |
- |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 357 if (tl_i_int.a_valid)
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 369 if (tl_i_int.a_valid)
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Module :
tlul_adapter_sram
Assertion Details
AddrOutKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
396215868 |
396144829 |
0 |
0 |
T1 |
226725 |
226679 |
0 |
0 |
T2 |
2565 |
2504 |
0 |
0 |
T3 |
311991 |
311908 |
0 |
0 |
T4 |
329093 |
329006 |
0 |
0 |
T14 |
418550 |
418541 |
0 |
0 |
T16 |
1222 |
1156 |
0 |
0 |
T17 |
1064 |
975 |
0 |
0 |
T23 |
141992 |
141893 |
0 |
0 |
T24 |
20886 |
20820 |
0 |
0 |
T25 |
700565 |
700470 |
0 |
0 |
DataIntgOptions_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
566 |
566 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T14 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T23 |
1 |
1 |
0 |
0 |
T24 |
1 |
1 |
0 |
0 |
T25 |
1 |
1 |
0 |
0 |
ReqOutKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
396215868 |
396144829 |
0 |
0 |
T1 |
226725 |
226679 |
0 |
0 |
T2 |
2565 |
2504 |
0 |
0 |
T3 |
311991 |
311908 |
0 |
0 |
T4 |
329093 |
329006 |
0 |
0 |
T14 |
418550 |
418541 |
0 |
0 |
T16 |
1222 |
1156 |
0 |
0 |
T17 |
1064 |
975 |
0 |
0 |
T23 |
141992 |
141893 |
0 |
0 |
T24 |
20886 |
20820 |
0 |
0 |
T25 |
700565 |
700470 |
0 |
0 |
SramDwHasByteGranularity_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
566 |
566 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T14 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T23 |
1 |
1 |
0 |
0 |
T24 |
1 |
1 |
0 |
0 |
T25 |
1 |
1 |
0 |
0 |
SramDwIsMultipleOfTlulWidth_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
566 |
566 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T14 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T23 |
1 |
1 |
0 |
0 |
T24 |
1 |
1 |
0 |
0 |
T25 |
1 |
1 |
0 |
0 |
TlOutKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
396215868 |
396144829 |
0 |
0 |
T1 |
226725 |
226679 |
0 |
0 |
T2 |
2565 |
2504 |
0 |
0 |
T3 |
311991 |
311908 |
0 |
0 |
T4 |
329093 |
329006 |
0 |
0 |
T14 |
418550 |
418541 |
0 |
0 |
T16 |
1222 |
1156 |
0 |
0 |
T17 |
1064 |
975 |
0 |
0 |
T23 |
141992 |
141893 |
0 |
0 |
T24 |
20886 |
20820 |
0 |
0 |
T25 |
700565 |
700470 |
0 |
0 |
TlOutPayloadKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
396215868 |
34769276 |
0 |
0 |
T1 |
226725 |
278434 |
0 |
0 |
T2 |
2565 |
54 |
0 |
0 |
T3 |
311991 |
16397 |
0 |
0 |
T4 |
329093 |
34362 |
0 |
0 |
T11 |
0 |
335980 |
0 |
0 |
T14 |
418550 |
334045 |
0 |
0 |
T16 |
1222 |
0 |
0 |
0 |
T17 |
1064 |
0 |
0 |
0 |
T19 |
0 |
9056 |
0 |
0 |
T23 |
141992 |
25697 |
0 |
0 |
T24 |
20886 |
579 |
0 |
0 |
T25 |
700565 |
38429 |
0 |
0 |
TlOutPayloadKnown_AKnownEnable
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
396215868 |
396144829 |
0 |
0 |
T1 |
226725 |
226679 |
0 |
0 |
T2 |
2565 |
2504 |
0 |
0 |
T3 |
311991 |
311908 |
0 |
0 |
T4 |
329093 |
329006 |
0 |
0 |
T14 |
418550 |
418541 |
0 |
0 |
T16 |
1222 |
1156 |
0 |
0 |
T17 |
1064 |
975 |
0 |
0 |
T23 |
141992 |
141893 |
0 |
0 |
T24 |
20886 |
20820 |
0 |
0 |
T25 |
700565 |
700470 |
0 |
0 |
WdataOutKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
396215868 |
396144829 |
0 |
0 |
T1 |
226725 |
226679 |
0 |
0 |
T2 |
2565 |
2504 |
0 |
0 |
T3 |
311991 |
311908 |
0 |
0 |
T4 |
329093 |
329006 |
0 |
0 |
T14 |
418550 |
418541 |
0 |
0 |
T16 |
1222 |
1156 |
0 |
0 |
T17 |
1064 |
975 |
0 |
0 |
T23 |
141992 |
141893 |
0 |
0 |
T24 |
20886 |
20820 |
0 |
0 |
T25 |
700565 |
700470 |
0 |
0 |
WeOutKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
396215868 |
396144829 |
0 |
0 |
T1 |
226725 |
226679 |
0 |
0 |
T2 |
2565 |
2504 |
0 |
0 |
T3 |
311991 |
311908 |
0 |
0 |
T4 |
329093 |
329006 |
0 |
0 |
T14 |
418550 |
418541 |
0 |
0 |
T16 |
1222 |
1156 |
0 |
0 |
T17 |
1064 |
975 |
0 |
0 |
T23 |
141992 |
141893 |
0 |
0 |
T24 |
20886 |
20820 |
0 |
0 |
T25 |
700565 |
700470 |
0 |
0 |
WmaskOutKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
396215868 |
396144829 |
0 |
0 |
T1 |
226725 |
226679 |
0 |
0 |
T2 |
2565 |
2504 |
0 |
0 |
T3 |
311991 |
311908 |
0 |
0 |
T4 |
329093 |
329006 |
0 |
0 |
T14 |
418550 |
418541 |
0 |
0 |
T16 |
1222 |
1156 |
0 |
0 |
T17 |
1064 |
975 |
0 |
0 |
T23 |
141992 |
141893 |
0 |
0 |
T24 |
20886 |
20820 |
0 |
0 |
T25 |
700565 |
700470 |
0 |
0 |
adapterNoReadOrWrite
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
566 |
566 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T14 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T23 |
1 |
1 |
0 |
0 |
T24 |
1 |
1 |
0 |
0 |
T25 |
1 |
1 |
0 |
0 |
rvalidHighReqFifoEmpty
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
396215868 |
0 |
0 |
0 |
rvalidHighWhenRspFifoFull
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
396215868 |
0 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_tlul_adapter
| Line No. | Total | Covered | Percent |
TOTAL | | 64 | 63 | 98.44 |
ALWAYS | 93 | 3 | 3 | 100.00 |
CONT_ASSIGN | 102 | 1 | 1 | 100.00 |
CONT_ASSIGN | 107 | 1 | 1 | 100.00 |
CONT_ASSIGN | 114 | 1 | 1 | 100.00 |
CONT_ASSIGN | 125 | 1 | 1 | 100.00 |
CONT_ASSIGN | 139 | 1 | 1 | 100.00 |
CONT_ASSIGN | 151 | 1 | 1 | 100.00 |
CONT_ASSIGN | 222 | 1 | 1 | 100.00 |
CONT_ASSIGN | 223 | 1 | 1 | 100.00 |
CONT_ASSIGN | 224 | 1 | 1 | 100.00 |
ALWAYS | 229 | 7 | 7 | 100.00 |
ALWAYS | 249 | 6 | 6 | 100.00 |
CONT_ASSIGN | 263 | 1 | 1 | 100.00 |
CONT_ASSIGN | 267 | 1 | 1 | 100.00 |
CONT_ASSIGN | 286 | 1 | 1 | 100.00 |
CONT_ASSIGN | 291 | 1 | 1 | 100.00 |
CONT_ASSIGN | 297 | 1 | 1 | 100.00 |
CONT_ASSIGN | 301 | 1 | 1 | 100.00 |
CONT_ASSIGN | 321 | 1 | 1 | 100.00 |
CONT_ASSIGN | 322 | 1 | 1 | 100.00 |
CONT_ASSIGN | 323 | 1 | 1 | 100.00 |
CONT_ASSIGN | 324 | 1 | 1 | 100.00 |
ALWAYS | 354 | 6 | 6 | 100.00 |
ALWAYS | 366 | 5 | 5 | 100.00 |
CONT_ASSIGN | 381 | 1 | 1 | 100.00 |
CONT_ASSIGN | 382 | 1 | 1 | 100.00 |
CONT_ASSIGN | 383 | 1 | 1 | 100.00 |
CONT_ASSIGN | 387 | 1 | 1 | 100.00 |
CONT_ASSIGN | 388 | 1 | 1 | 100.00 |
CONT_ASSIGN | 390 | 1 | 1 | 100.00 |
CONT_ASSIGN | 391 | 1 | 1 | 100.00 |
CONT_ASSIGN | 398 | 1 | 1 | 100.00 |
CONT_ASSIGN | 401 | 1 | 1 | 100.00 |
CONT_ASSIGN | 405 | 1 | 1 | 100.00 |
CONT_ASSIGN | 406 | 1 | 0 | 0.00 |
CONT_ASSIGN | 408 | 1 | 1 | 100.00 |
CONT_ASSIGN | 415 | 0 | 0 | |
ALWAYS | 433 | 3 | 3 | 100.00 |
CONT_ASSIGN | 439 | 1 | 1 | 100.00 |
CONT_ASSIGN | 442 | 1 | 1 | 100.00 |
CONT_ASSIGN | 447 | 1 | 1 | 100.00 |
CONT_ASSIGN | 452 | 0 | 0 | |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_tlul_adapter_sram_0.1/rtl/tlul_adapter_sram.sv' or '../src/lowrisc_tlul_adapter_sram_0.1/rtl/tlul_adapter_sram.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
93 |
1 |
1 |
94 |
1 |
1 |
95 |
1 |
1 |
96 |
|
unreachable |
|
|
|
MISSING_ELSE |
102 |
1 |
1 |
107 |
1 |
1 |
114 |
1 |
1 |
125 |
1 |
1 |
139 |
1 |
1 |
151 |
1 |
1 |
222 |
1 |
1 |
223 |
1 |
1 |
224 |
1 |
1 |
229 |
1 |
1 |
231 |
1 |
1 |
232 |
1 |
1 |
234 |
1 |
1 |
235 |
1 |
1 |
236 |
|
excluded |
|
|
|
Exclude Annotation: VC_COV_UNR |
239 |
1 |
1 |
242 |
1 |
1 |
249 |
1 |
1 |
251 |
1 |
1 |
252 |
1 |
1 |
253 |
1 |
1 |
255 |
1 |
1 |
258 |
1 |
1 |
263 |
1 |
1 |
267 |
1 |
1 |
286 |
1 |
1 |
291 |
1 |
1 |
297 |
1 |
1 |
301 |
1 |
1 |
321 |
1 |
1 |
322 |
1 |
1 |
323 |
1 |
1 |
324 |
1 |
1 |
354 |
1 |
1 |
355 |
1 |
1 |
357 |
1 |
1 |
358 |
1 |
1 |
359 |
1 |
1 |
360 |
1 |
1 |
|
|
|
MISSING_ELSE |
366 |
1 |
1 |
367 |
1 |
1 |
369 |
1 |
1 |
370 |
1 |
1 |
371 |
1 |
1 |
|
|
|
MISSING_ELSE |
381 |
1 |
1 |
382 |
1 |
1 |
383 |
1 |
1 |
387 |
1 |
1 |
388 |
1 |
1 |
390 |
1 |
1 |
391 |
1 |
1 |
398 |
1 |
1 |
401 |
1 |
1 |
405 |
1 |
1 |
406 |
0 |
1 |
408 |
1 |
1 |
415 |
|
unreachable |
433 |
1 |
1 |
434 |
1 |
1 |
435 |
1 |
1 |
439 |
1 |
1 |
442 |
1 |
1 |
447 |
1 |
1 |
452 |
|
unreachable |
Cond Coverage for Instance : tb.dut.u_tlul_adapter
| Total | Covered | Percent |
Conditions | 82 | 82 | 100.00 |
Logical | 82 | 82 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 95
EXPRESSION (intg_error || rsp_fifo_error)
-----1---- -------2------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 0 | Unreachable | |
LINE 102
EXPRESSION (intg_error | rsp_fifo_error | intg_error_q)
-----1---- -------2------ ------3-----
-1- | -2- | -3- | Status | Tests | Exclude Annotation |
0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 1 | Excluded | |
VC_COV_UNR |
0 | 1 | 0 | Unreachable | |
1 | 0 | 0 | Unreachable | |
LINE 107
EXPRESSION
Number Term
1 ((tl_i.a_opcode == PutFullData) || (tl_i.a_opcode == PutPartialData)) ? (((ByteAccess == 1'b0) ? ((tl_i.a_mask != '1) || (tl_i.a_size != 2'h2)) : 1'b0)) : 1'b0)
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 107
SUB-EXPRESSION ((tl_i.a_opcode == PutFullData) || (tl_i.a_opcode == PutPartialData))
---------------1-------------- ----------------2----------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
LINE 107
SUB-EXPRESSION (tl_i.a_opcode == PutFullData)
---------------1--------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 107
SUB-EXPRESSION (tl_i.a_opcode == PutPartialData)
----------------1----------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 125
EXPRESSION (tl_i.a_opcode == Get)
-----------1----------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 139
EXPRESSION (wr_attr_error | wr_vld_error | rd_vld_error | instr_error | tlul_error | intg_error)
------1------ ------2----- ------3----- -----4----- -----5---- -----6----
-1- | -2- | -3- | -4- | -5- | -6- | Status | Tests | Exclude Annotation |
0 | 0 | 0 | 0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 0 | 0 | 0 | 1 | Unreachable | |
0 | 0 | 0 | 0 | 1 | 0 | Covered | T1,T2,T3 |
0 | 0 | 0 | 1 | 0 | 0 | Excluded | |
VC_COV_UNR |
0 | 0 | 1 | 0 | 0 | 0 | Covered | T12,T13,T5 |
0 | 1 | 0 | 0 | 0 | 0 | Unreachable | |
1 | 0 | 0 | 0 | 0 | 0 | Excluded | |
VC_COV_UNR |
LINE 222
EXPRESSION (tl_i_int.a_valid & tl_o_int.a_ready)
--------1------- --------2-------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 223
EXPRESSION (tl_o_int.d_valid & tl_i_int.d_ready)
--------1------- --------2-------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T4,T14 |
1 | 1 | Covered | T1,T2,T3 |
LINE 224
EXPRESSION (req_o & gnt_i)
--1-- --2--
-1- | -2- | Status | Tests | Exclude Annotation |
0 | 1 | Excluded | |
VC_COV_UNR |
1 | 0 | Covered | T11,T15,T12 |
1 | 1 | Covered | T1,T2,T3 |
LINE 235
EXPRESSION (reqfifo_rdata.op == OpRead)
--------------1-------------
-1- | Status | Tests | Exclude Annotation |
0 | Covered | T1,T2,T3 |
1 | Excluded | |
VC_COV_UNR |
LINE 252
EXPRESSION (reqfifo_rdata.op == OpRead)
--------------1-------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T12,T13,T5 |
LINE 253
EXPRESSION (rspfifo_rdata.error | reqfifo_rdata.error)
---------1--------- ---------2---------
-1- | -2- | Status | Tests | Exclude Annotation |
0 | 0 | Excluded | |
VC_COV_UNR |
0 | 1 | Covered | T12,T13,T5 |
1 | 0 | Excluded | |
VC_COV_UNR |
LINE 263
EXPRESSION (d_valid & reqfifo_rvalid & rspfifo_rvalid & (reqfifo_rdata.op == OpRead))
---1--- -------2------ -------3------ --------------4-------------
-1- | -2- | -3- | -4- | Status | Tests | Exclude Annotation |
0 | 1 | 1 | 1 | Excluded | |
VC_COV_UNR |
1 | 0 | 1 | 1 | Excluded | |
VC_COV_UNR |
1 | 1 | 0 | 1 | Covered | T12,T13,T5 |
1 | 1 | 1 | 0 | Excluded | |
VC_COV_UNR |
1 | 1 | 1 | 1 | Excluded | |
VC_COV_UNR |
LINE 263
SUB-EXPRESSION (reqfifo_rdata.op == OpRead)
--------------1-------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T12,T13,T5 |
LINE 291
EXPRESSION ((vld_rd_rsp & ((~d_error))) ? rspfifo_rdata.data : error_blanking_data)
-------------1-------------
-1- | Status | Tests | Exclude Annotation |
0 | Covered | T1,T2,T3 |
1 | Excluded | |
VC_COV_UNR |
LINE 291
SUB-EXPRESSION (vld_rd_rsp & ((~d_error)))
-----1---- ------2-----
-1- | -2- | Status | Tests | Exclude Annotation |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Excluded | |
VC_COV_UNR |
1 | 1 | Excluded | |
VC_COV_UNR |
LINE 297
EXPRESSION ((vld_rd_rsp && reqfifo_rdata.error) ? error_blanking_integ : (vld_rd_rsp ? rspfifo_rdata.data_intg : prim_secded_pkg::SecdedInv3932ZeroEcc))
-----------------1-----------------
-1- | Status | Tests | Exclude Annotation |
0 | Covered | T1,T2,T3 |
1 | Excluded | |
VC_COV_UNR |
LINE 297
SUB-EXPRESSION (vld_rd_rsp && reqfifo_rdata.error)
-----1---- ---------2---------
-1- | -2- | Status | Tests | Exclude Annotation |
0 | 1 | Covered | T12,T13,T5 |
1 | 0 | Excluded | |
VC_COV_UNR |
1 | 1 | Excluded | |
VC_COV_UNR |
LINE 297
SUB-EXPRESSION (vld_rd_rsp ? rspfifo_rdata.data_intg : prim_secded_pkg::SecdedInv3932ZeroEcc)
-----1----
-1- | Status | Tests | Exclude Annotation |
0 | Covered | T1,T2,T3 |
1 | Excluded | |
VC_COV_UNR |
LINE 301
EXPRESSION ((d_valid && (reqfifo_rdata.op != OpRead)) ? AccessAck : AccessAckData)
--------------------1--------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 301
SUB-EXPRESSION (d_valid && (reqfifo_rdata.op != OpRead))
---1--- --------------2-------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T12,T13,T5 |
1 | 1 | Covered | T1,T2,T3 |
LINE 301
SUB-EXPRESSION (reqfifo_rdata.op != OpRead)
--------------1-------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 301
EXPRESSION (d_valid ? reqfifo_rdata.size : '0)
---1---
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 301
EXPRESSION (d_valid ? reqfifo_rdata.source : '0)
---1---
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 301
EXPRESSION (d_valid && d_error)
---1--- ---2---
-1- | -2- | Status | Tests | Exclude Annotation |
0 | 1 | Excluded | |
VC_COV_UNR |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T12,T13,T5 |
LINE 301
EXPRESSION ((gnt_i | error_internal) & reqfifo_wready & sramreqfifo_wready)
------------1----------- -------2------ ---------3--------
-1- | -2- | -3- | Status | Tests | Exclude Annotation |
0 | 1 | 1 | Covered | T11,T15,T12 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Excluded | |
VC_COV_UNR |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 301
SUB-EXPRESSION (gnt_i | error_internal)
--1-- -------2------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
LINE 321
EXPRESSION (tl_i_int.a_valid & reqfifo_wready & ((~error_internal)))
--------1------- -------2------ ---------3---------
-1- | -2- | -3- | Status | Tests | Exclude Annotation |
0 | 1 | 1 | Excluded | |
VC_COV_UNR |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T12,T13,T5 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 323
EXPRESSION (tl_i_int.a_valid & (tl_i_int.a_opcode inside {PutFullData, PutPartialData}))
--------1------- ----------------------------2---------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T12,T13,T5 |
1 | 1 | Covered | T1,T2,T3 |
LINE 324
EXPRESSION (tl_i_int.a_valid ? tl_i_int.a_address[DataBitWidth+:SramAw] : '0)
--------1-------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 360
EXPRESSION ((tl_i_int.a_mask[i] && we_o) ? tl_i_int.a_data[(8 * i)+:8] : '0)
--------------1-------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 360
SUB-EXPRESSION (tl_i_int.a_mask[i] && we_o)
---------1-------- --2-
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T12,T13,T5 |
1 | 1 | Covered | T1,T2,T3 |
LINE 383
EXPRESSION (((|wmask_intg)) & ((|wdata_intg)))
-------1------- -------2-------
-1- | -2- | Status | Tests | Exclude Annotation |
0 | 1 | Excluded | |
vcs_gen_start:i=0:vcs_gen_end:VC_COV_UNR |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 391
EXPRESSION ((tl_i_int.a_opcode != Get) ? OpWrite : OpRead)
-------------1------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 391
SUB-EXPRESSION (tl_i_int.a_opcode != Get)
-------------1------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 405
EXPRESSION (sram_ack & ((~we_o)))
----1--- ----2----
-1- | -2- | Status | Tests | Exclude Annotation |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Excluded | |
VC_COV_UNR |
LINE 408
EXPRESSION (rvalid_i & reqfifo_rvalid)
----1--- -------2------
-1- | -2- | Status | Tests | Exclude Annotation |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Excluded | |
VC_COV_UNR |
1 | 1 | Excluded | |
VC_COV_UNR |
LINE 447
EXPRESSION (((reqfifo_rdata.op == OpRead) & ((~reqfifo_rdata.error))) ? reqfifo_rready : 1'b0)
----------------------------1----------------------------
-1- | Status | Tests | Exclude Annotation |
0 | Covered | T1,T2,T3 |
1 | Excluded | |
VC_COV_UNR |
LINE 447
SUB-EXPRESSION ((reqfifo_rdata.op == OpRead) & ((~reqfifo_rdata.error)))
--------------1------------- ------------2-----------
-1- | -2- | Status | Tests | Exclude Annotation |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T12,T13,T5 |
1 | 1 | Excluded | |
VC_COV_UNR |
LINE 447
SUB-EXPRESSION (reqfifo_rdata.op == OpRead)
--------------1-------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T12,T13,T5 |
Branch Coverage for Instance : tb.dut.u_tlul_adapter
| Line No. | Total | Covered | Percent |
Branches |
|
19 |
19 |
100.00 |
TERNARY |
107 |
2 |
2 |
100.00 |
TERNARY |
291 |
1 |
1 |
100.00 |
TERNARY |
297 |
1 |
1 |
100.00 |
TERNARY |
324 |
2 |
2 |
100.00 |
TERNARY |
447 |
1 |
1 |
100.00 |
IF |
93 |
2 |
2 |
100.00 |
IF |
231 |
3 |
3 |
100.00 |
IF |
251 |
3 |
3 |
100.00 |
IF |
357 |
2 |
2 |
100.00 |
IF |
369 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_tlul_adapter_sram_0.1/rtl/tlul_adapter_sram.sv' or '../src/lowrisc_tlul_adapter_sram_0.1/rtl/tlul_adapter_sram.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 107 (((tl_i.a_opcode == PutFullData) || (tl_i.a_opcode == PutPartialData))) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 291 ((vld_rd_rsp & (~d_error))) ?
Branches:
-1- | Status | Tests | Exclude Annotation |
1 |
Excluded |
|
VC_COV_UNR |
0 |
Covered |
T1,T2,T3 |
|
LineNo. Expression
-1-: 297 ((vld_rd_rsp && reqfifo_rdata.error)) ?
-2-: 297 (vld_rd_rsp) ?
Branches:
-1- | -2- | Status | Tests | Exclude Annotation |
1 |
- |
Excluded |
|
VC_COV_UNR |
0 |
1 |
Excluded |
|
VC_COV_UNR |
0 |
0 |
Covered |
T1,T2,T3 |
|
LineNo. Expression
-1-: 324 (tl_i_int.a_valid) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 447 (((reqfifo_rdata.op == OpRead) & (~reqfifo_rdata.error))) ?
Branches:
-1- | Status | Tests | Exclude Annotation |
1 |
Excluded |
|
VC_COV_UNR |
0 |
Covered |
T1,T2,T3 |
|
LineNo. Expression
-1-: 93 if ((!rst_ni))
-2-: 95 if ((intg_error || rsp_fifo_error))
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Unreachable |
|
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 231 if (reqfifo_rvalid)
-2-: 232 if (reqfifo_rdata.error)
-3-: 235 if ((reqfifo_rdata.op == OpRead))
Branches:
-1- | -2- | -3- | Status | Tests | Exclude Annotation |
1 |
1 |
- |
Covered |
T12,T13,T5 |
|
1 |
0 |
1 |
Excluded |
|
VC_COV_UNR |
1 |
0 |
0 |
Covered |
T1,T2,T3 |
|
0 |
- |
- |
Covered |
T1,T2,T3 |
|
LineNo. Expression
-1-: 251 if (reqfifo_rvalid)
-2-: 252 if ((reqfifo_rdata.op == OpRead))
Branches:
-1- | -2- | Status | Tests |
1 |
1 |
Covered |
T12,T13,T5 |
1 |
0 |
Covered |
T1,T2,T3 |
0 |
- |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 357 if (tl_i_int.a_valid)
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 369 if (tl_i_int.a_valid)
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_tlul_adapter
Assertion Details
AddrOutKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
396215868 |
396144829 |
0 |
0 |
T1 |
226725 |
226679 |
0 |
0 |
T2 |
2565 |
2504 |
0 |
0 |
T3 |
311991 |
311908 |
0 |
0 |
T4 |
329093 |
329006 |
0 |
0 |
T14 |
418550 |
418541 |
0 |
0 |
T16 |
1222 |
1156 |
0 |
0 |
T17 |
1064 |
975 |
0 |
0 |
T23 |
141992 |
141893 |
0 |
0 |
T24 |
20886 |
20820 |
0 |
0 |
T25 |
700565 |
700470 |
0 |
0 |
DataIntgOptions_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
566 |
566 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T14 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T23 |
1 |
1 |
0 |
0 |
T24 |
1 |
1 |
0 |
0 |
T25 |
1 |
1 |
0 |
0 |
ReqOutKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
396215868 |
396144829 |
0 |
0 |
T1 |
226725 |
226679 |
0 |
0 |
T2 |
2565 |
2504 |
0 |
0 |
T3 |
311991 |
311908 |
0 |
0 |
T4 |
329093 |
329006 |
0 |
0 |
T14 |
418550 |
418541 |
0 |
0 |
T16 |
1222 |
1156 |
0 |
0 |
T17 |
1064 |
975 |
0 |
0 |
T23 |
141992 |
141893 |
0 |
0 |
T24 |
20886 |
20820 |
0 |
0 |
T25 |
700565 |
700470 |
0 |
0 |
SramDwHasByteGranularity_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
566 |
566 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T14 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T23 |
1 |
1 |
0 |
0 |
T24 |
1 |
1 |
0 |
0 |
T25 |
1 |
1 |
0 |
0 |
SramDwIsMultipleOfTlulWidth_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
566 |
566 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T14 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T23 |
1 |
1 |
0 |
0 |
T24 |
1 |
1 |
0 |
0 |
T25 |
1 |
1 |
0 |
0 |
TlOutKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
396215868 |
396144829 |
0 |
0 |
T1 |
226725 |
226679 |
0 |
0 |
T2 |
2565 |
2504 |
0 |
0 |
T3 |
311991 |
311908 |
0 |
0 |
T4 |
329093 |
329006 |
0 |
0 |
T14 |
418550 |
418541 |
0 |
0 |
T16 |
1222 |
1156 |
0 |
0 |
T17 |
1064 |
975 |
0 |
0 |
T23 |
141992 |
141893 |
0 |
0 |
T24 |
20886 |
20820 |
0 |
0 |
T25 |
700565 |
700470 |
0 |
0 |
TlOutPayloadKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
396215868 |
34769276 |
0 |
0 |
T1 |
226725 |
278434 |
0 |
0 |
T2 |
2565 |
54 |
0 |
0 |
T3 |
311991 |
16397 |
0 |
0 |
T4 |
329093 |
34362 |
0 |
0 |
T11 |
0 |
335980 |
0 |
0 |
T14 |
418550 |
334045 |
0 |
0 |
T16 |
1222 |
0 |
0 |
0 |
T17 |
1064 |
0 |
0 |
0 |
T19 |
0 |
9056 |
0 |
0 |
T23 |
141992 |
25697 |
0 |
0 |
T24 |
20886 |
579 |
0 |
0 |
T25 |
700565 |
38429 |
0 |
0 |
TlOutPayloadKnown_AKnownEnable
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
396215868 |
396144829 |
0 |
0 |
T1 |
226725 |
226679 |
0 |
0 |
T2 |
2565 |
2504 |
0 |
0 |
T3 |
311991 |
311908 |
0 |
0 |
T4 |
329093 |
329006 |
0 |
0 |
T14 |
418550 |
418541 |
0 |
0 |
T16 |
1222 |
1156 |
0 |
0 |
T17 |
1064 |
975 |
0 |
0 |
T23 |
141992 |
141893 |
0 |
0 |
T24 |
20886 |
20820 |
0 |
0 |
T25 |
700565 |
700470 |
0 |
0 |
WdataOutKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
396215868 |
396144829 |
0 |
0 |
T1 |
226725 |
226679 |
0 |
0 |
T2 |
2565 |
2504 |
0 |
0 |
T3 |
311991 |
311908 |
0 |
0 |
T4 |
329093 |
329006 |
0 |
0 |
T14 |
418550 |
418541 |
0 |
0 |
T16 |
1222 |
1156 |
0 |
0 |
T17 |
1064 |
975 |
0 |
0 |
T23 |
141992 |
141893 |
0 |
0 |
T24 |
20886 |
20820 |
0 |
0 |
T25 |
700565 |
700470 |
0 |
0 |
WeOutKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
396215868 |
396144829 |
0 |
0 |
T1 |
226725 |
226679 |
0 |
0 |
T2 |
2565 |
2504 |
0 |
0 |
T3 |
311991 |
311908 |
0 |
0 |
T4 |
329093 |
329006 |
0 |
0 |
T14 |
418550 |
418541 |
0 |
0 |
T16 |
1222 |
1156 |
0 |
0 |
T17 |
1064 |
975 |
0 |
0 |
T23 |
141992 |
141893 |
0 |
0 |
T24 |
20886 |
20820 |
0 |
0 |
T25 |
700565 |
700470 |
0 |
0 |
WmaskOutKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
396215868 |
396144829 |
0 |
0 |
T1 |
226725 |
226679 |
0 |
0 |
T2 |
2565 |
2504 |
0 |
0 |
T3 |
311991 |
311908 |
0 |
0 |
T4 |
329093 |
329006 |
0 |
0 |
T14 |
418550 |
418541 |
0 |
0 |
T16 |
1222 |
1156 |
0 |
0 |
T17 |
1064 |
975 |
0 |
0 |
T23 |
141992 |
141893 |
0 |
0 |
T24 |
20886 |
20820 |
0 |
0 |
T25 |
700565 |
700470 |
0 |
0 |
adapterNoReadOrWrite
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
566 |
566 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T14 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T23 |
1 |
1 |
0 |
0 |
T24 |
1 |
1 |
0 |
0 |
T25 |
1 |
1 |
0 |
0 |
rvalidHighReqFifoEmpty
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
396215868 |
0 |
0 |
0 |
rvalidHighWhenRspFifoFull
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
396215868 |
0 |
0 |
0 |