Line Coverage for Module :
tlul_adapter_sram
| Line No. | Total | Covered | Percent |
TOTAL | | 69 | 67 | 97.10 |
CONT_ASSIGN | 104 | 0 | 0 | |
CONT_ASSIGN | 111 | 0 | 0 | |
ALWAYS | 126 | 4 | 3 | 75.00 |
CONT_ASSIGN | 135 | 1 | 1 | 100.00 |
CONT_ASSIGN | 141 | 1 | 1 | 100.00 |
CONT_ASSIGN | 148 | 1 | 1 | 100.00 |
CONT_ASSIGN | 153 | 1 | 1 | 100.00 |
CONT_ASSIGN | 173 | 1 | 1 | 100.00 |
CONT_ASSIGN | 185 | 1 | 1 | 100.00 |
CONT_ASSIGN | 262 | 1 | 1 | 100.00 |
CONT_ASSIGN | 263 | 1 | 1 | 100.00 |
CONT_ASSIGN | 264 | 1 | 1 | 100.00 |
ALWAYS | 269 | 8 | 7 | 87.50 |
ALWAYS | 289 | 6 | 6 | 100.00 |
CONT_ASSIGN | 303 | 1 | 1 | 100.00 |
CONT_ASSIGN | 307 | 1 | 1 | 100.00 |
CONT_ASSIGN | 326 | 1 | 1 | 100.00 |
CONT_ASSIGN | 331 | 1 | 1 | 100.00 |
CONT_ASSIGN | 337 | 1 | 1 | 100.00 |
CONT_ASSIGN | 349 | 1 | 1 | 100.00 |
ALWAYS | 352 | 3 | 3 | 100.00 |
CONT_ASSIGN | 359 | 1 | 1 | 100.00 |
CONT_ASSIGN | 379 | 1 | 1 | 100.00 |
CONT_ASSIGN | 380 | 1 | 1 | 100.00 |
CONT_ASSIGN | 381 | 1 | 1 | 100.00 |
CONT_ASSIGN | 382 | 1 | 1 | 100.00 |
ALWAYS | 412 | 6 | 6 | 100.00 |
ALWAYS | 424 | 5 | 5 | 100.00 |
CONT_ASSIGN | 435 | 1 | 1 | 100.00 |
CONT_ASSIGN | 436 | 1 | 1 | 100.00 |
CONT_ASSIGN | 445 | 1 | 1 | 100.00 |
CONT_ASSIGN | 446 | 1 | 1 | 100.00 |
CONT_ASSIGN | 448 | 1 | 1 | 100.00 |
CONT_ASSIGN | 449 | 1 | 1 | 100.00 |
CONT_ASSIGN | 456 | 1 | 1 | 100.00 |
CONT_ASSIGN | 459 | 1 | 1 | 100.00 |
CONT_ASSIGN | 463 | 1 | 1 | 100.00 |
CONT_ASSIGN | 464 | 1 | 1 | 100.00 |
CONT_ASSIGN | 466 | 1 | 1 | 100.00 |
CONT_ASSIGN | 473 | 1 | 1 | 100.00 |
ALWAYS | 479 | 3 | 3 | 100.00 |
CONT_ASSIGN | 500 | 1 | 1 | 100.00 |
CONT_ASSIGN | 505 | 1 | 1 | 100.00 |
CONT_ASSIGN | 510 | 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 | |
104 |
|
unreachable |
111 |
|
unreachable |
126 |
1 |
1 |
127 |
1 |
1 |
128 |
1 |
1 |
129 |
0 |
1 |
|
|
|
MISSING_ELSE |
135 |
1 |
1 |
141 |
1 |
1 |
148 |
1 |
1 |
153 |
1 |
1 |
173 |
1 |
1 |
185 |
1 |
1 |
262 |
1 |
1 |
263 |
1 |
1 |
264 |
1 |
1 |
269 |
1 |
1 |
271 |
1 |
1 |
272 |
1 |
1 |
274 |
1 |
1 |
275 |
1 |
1 |
276 |
1 |
1 |
279 |
0 |
1 |
282 |
1 |
1 |
289 |
1 |
1 |
291 |
1 |
1 |
292 |
1 |
1 |
293 |
1 |
1 |
295 |
1 |
1 |
298 |
1 |
1 |
303 |
1 |
1 |
307 |
1 |
1 |
326 |
1 |
1 |
331 |
1 |
1 |
337 |
1 |
1 |
349 |
1 |
1 |
352 |
1 |
1 |
353 |
1 |
1 |
355 |
1 |
1 |
359 |
1 |
1 |
379 |
1 |
1 |
380 |
1 |
1 |
381 |
1 |
1 |
382 |
1 |
1 |
412 |
1 |
1 |
413 |
1 |
1 |
415 |
1 |
1 |
416 |
1 |
1 |
417 |
1 |
1 |
418 |
1 |
1 |
|
|
|
MISSING_ELSE |
424 |
1 |
1 |
425 |
1 |
1 |
427 |
1 |
1 |
428 |
1 |
1 |
429 |
1 |
1 |
|
|
|
MISSING_ELSE |
435 |
1 |
1 |
436 |
1 |
1 |
445 |
1 |
1 |
446 |
1 |
1 |
448 |
1 |
1 |
449 |
1 |
1 |
456 |
1 |
1 |
459 |
1 |
1 |
463 |
1 |
1 |
464 |
1 |
1 |
466 |
1 |
1 |
473 |
1 |
1 |
479 |
1 |
1 |
483 |
1 |
1 |
485 |
1 |
1 |
|
|
|
MISSING_ELSE |
500 |
1 |
1 |
505 |
1 |
1 |
510 |
|
unreachable |
Cond Coverage for Module :
tlul_adapter_sram
| Total | Covered | Percent |
Conditions | 127 | 103 | 81.10 |
Logical | 127 | 103 | 81.10 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 111
EXPRESSION (readback_error | readback_error_q)
-------1------ --------2-------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 0 | Unreachable | |
LINE 128
EXPRESSION (intg_error || rsp_fifo_error || sramreqfifo_error || reqfifo_error)
-----1---- -------2------ --------3-------- ------4------
-1- | -2- | -3- | -4- | Status | Tests |
0 | 0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 0 | 1 | Not Covered | |
0 | 0 | 1 | 0 | Not Covered | |
0 | 1 | 0 | 0 | Not Covered | |
1 | 0 | 0 | 0 | Not Covered | |
LINE 135
EXPRESSION (intg_error | rsp_fifo_error | sramreqfifo_error | reqfifo_error | intg_error_q)
-----1---- -------2------ --------3-------- ------4------ ------5-----
-1- | -2- | -3- | -4- | -5- | Status | Tests |
0 | 0 | 0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 0 | 0 | 1 | Not Covered | |
0 | 0 | 0 | 1 | 0 | Not Covered | |
0 | 0 | 1 | 0 | 0 | Not Covered | |
0 | 1 | 0 | 0 | 0 | Not Covered | |
1 | 0 | 0 | 0 | 0 | Not Covered | |
LINE 141
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,T6,T10 |
LINE 141
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,T6,T10 |
1 | 0 | Covered | T1,T6,T10 |
LINE 141
SUB-EXPRESSION (tl_i.a_opcode == PutFullData)
---------------1--------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T6,T10 |
LINE 141
SUB-EXPRESSION (tl_i.a_opcode == PutPartialData)
----------------1----------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T6,T10 |
LINE 141
SUB-EXPRESSION ((tl_i.a_mask != '1) || (tl_i.a_size != 2'h2))
---------1--------- ----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T6,T10 |
0 | 1 | Covered | T1,T6,T10 |
1 | 0 | Covered | T1,T6,T10 |
LINE 141
SUB-EXPRESSION (tl_i.a_mask != '1)
---------1---------
-1- | Status | Tests |
0 | Covered | T1,T6,T10 |
1 | Covered | T1,T6,T10 |
LINE 141
SUB-EXPRESSION (tl_i.a_size != 2'h2)
----------1----------
-1- | Status | Tests |
0 | Covered | T1,T6,T10 |
1 | Covered | T1,T6,T10 |
LINE 153
EXPRESSION (tl_i.a_opcode != Get)
-----------1----------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T6,T10 |
LINE 173
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 | Not Covered | |
0 | 0 | 0 | 0 | 1 | 0 | Covered | T1,T6,T10 |
0 | 0 | 0 | 1 | 0 | 0 | Not Covered | |
0 | 0 | 1 | 0 | 0 | 0 | Unreachable | |
0 | 1 | 0 | 0 | 0 | 0 | Covered | T1,T6,T11 |
1 | 0 | 0 | 0 | 0 | 0 | Not Covered | |
LINE 262
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,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
LINE 263
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,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 264
EXPRESSION (req_o & gnt_i)
--1-- --2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
LINE 275
EXPRESSION (reqfifo_rdata.op == OpRead)
--------------1-------------
-1- | Status | Tests |
0 | Not Covered | |
1 | Covered | T1,T2,T3 |
LINE 292
EXPRESSION (reqfifo_rdata.op == OpRead)
--------------1-------------
-1- | Status | Tests |
0 | Covered | T1,T6,T11 |
1 | Covered | T1,T2,T3 |
LINE 293
EXPRESSION (rspfifo_rdata.error | reqfifo_rdata.error)
---------1--------- ---------2---------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T1,T6,T11 |
1 | 0 | Not Covered | |
LINE 303
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 | T1,T6,T11 |
1 | 1 | 1 | 0 | Covered | T12 |
1 | 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 303
SUB-EXPRESSION (reqfifo_rdata.op == OpRead)
--------------1-------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 331
EXPRESSION ((vld_rd_rsp & ((~d_error))) ? rspfifo_rdata.data : error_blanking_data)
-------------1-------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 331
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 | Covered | T1,T2,T3 |
LINE 337
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 337
SUB-EXPRESSION (vld_rd_rsp && reqfifo_rdata.error)
-----1---- ---------2---------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T6,T11 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Not Covered | |
LINE 337
SUB-EXPRESSION (vld_rd_rsp ? rspfifo_rdata.data_intg : prim_secded_pkg::SecdedInv3932ZeroEcc)
-----1----
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 349
EXPRESSION (error_internal & tl_i_int.a_valid & ((~tl_o_int.a_ready)))
-------1------ --------2------- ----------3----------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T3,T6 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T1,T6,T11 |
1 | 1 | 1 | Covered | T1,T6,T11 |
LINE 359
EXPRESSION ((d_valid && (reqfifo_rdata.op != OpRead)) ? AccessAck : AccessAckData)
--------------------1--------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T6,T11 |
LINE 359
SUB-EXPRESSION (d_valid && (reqfifo_rdata.op != OpRead))
---1--- --------------2-------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T6,T11 |
LINE 359
SUB-EXPRESSION (reqfifo_rdata.op != OpRead)
--------------1-------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 359
EXPRESSION (d_valid ? reqfifo_rdata.size : '0)
---1---
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 359
EXPRESSION (d_valid ? reqfifo_rdata.source : '0)
---1---
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 359
EXPRESSION (d_valid && d_error)
---1--- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T6,T11 |
LINE 359
EXPRESSION ((gnt_i | missed_err_gnt_q) & reqfifo_wready & sramreqfifo_wready)
-------------1------------ -------2------ ---------3--------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T3,T6 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 359
SUB-EXPRESSION (gnt_i | missed_err_gnt_q)
--1-- --------2-------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T1,T6,T11 |
1 | 0 | Covered | T1,T2,T3 |
LINE 379
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,T3,T6 |
1 | 1 | 0 | Covered | T1,T6,T11 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 381
EXPRESSION (tl_i_int.a_valid & (tl_i_int.a_opcode inside {PutFullData, PutPartialData}))
--------1------- ----------------------------2---------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T10,T13 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T6,T11 |
LINE 382
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 418
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,T6,T11 |
LINE 418
SUB-EXPRESSION (tl_i_int.a_mask[i] && we_o)
---------1-------- --2-
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T6,T11 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T6,T11 |
LINE 449
EXPRESSION ((tl_i_int.a_opcode != Get) ? OpWrite : OpRead)
-------------1------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T6,T10 |
LINE 449
SUB-EXPRESSION (tl_i_int.a_opcode != Get)
-------------1------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T6,T10 |
LINE 463
EXPRESSION (sram_ack & ((~we_o)))
----1--- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T1,T2,T3 |
LINE 466
EXPRESSION (rvalid_i & reqfifo_rvalid)
----1--- -------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T1,T2,T3 |
LINE 505
EXPRESSION (((reqfifo_rdata.op == OpRead) & ((~reqfifo_rdata.error))) ? reqfifo_rready : 1'b0)
----------------------------1----------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 505
SUB-EXPRESSION ((reqfifo_rdata.op == OpRead) & ((~reqfifo_rdata.error)))
--------------1------------- ------------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T6,T11 |
1 | 1 | Covered | T1,T2,T3 |
LINE 505
SUB-EXPRESSION (reqfifo_rdata.op == OpRead)
--------------1-------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
Branch Coverage for Module :
tlul_adapter_sram
| Line No. | Total | Covered | Percent |
Branches |
|
29 |
26 |
89.66 |
TERNARY |
141 |
2 |
2 |
100.00 |
TERNARY |
331 |
2 |
2 |
100.00 |
TERNARY |
337 |
3 |
2 |
66.67 |
TERNARY |
382 |
2 |
2 |
100.00 |
TERNARY |
505 |
2 |
2 |
100.00 |
IF |
126 |
3 |
2 |
66.67 |
IF |
271 |
4 |
3 |
75.00 |
IF |
291 |
3 |
3 |
100.00 |
IF |
352 |
2 |
2 |
100.00 |
IF |
415 |
2 |
2 |
100.00 |
IF |
427 |
2 |
2 |
100.00 |
IF |
483 |
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-: 141 (((tl_i.a_opcode == PutFullData) || (tl_i.a_opcode == PutPartialData))) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T6,T10 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 331 ((vld_rd_rsp & (~d_error))) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 337 ((vld_rd_rsp && reqfifo_rdata.error)) ?
-2-: 337 (vld_rd_rsp) ?
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Not Covered |
|
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 382 (tl_i_int.a_valid) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 505 (((reqfifo_rdata.op == OpRead) & (~reqfifo_rdata.error))) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 126 if ((!rst_ni))
-2-: 128 if ((((intg_error || rsp_fifo_error) || sramreqfifo_error) || reqfifo_error))
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Not Covered |
|
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 271 if (reqfifo_rvalid)
-2-: 272 if (reqfifo_rdata.error)
-3-: 275 if ((reqfifo_rdata.op == OpRead))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
1 |
- |
Covered |
T1,T6,T11 |
1 |
0 |
1 |
Covered |
T1,T2,T3 |
1 |
0 |
0 |
Not Covered |
|
0 |
- |
- |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 291 if (reqfifo_rvalid)
-2-: 292 if ((reqfifo_rdata.op == OpRead))
Branches:
-1- | -2- | Status | Tests |
1 |
1 |
Covered |
T1,T2,T3 |
1 |
0 |
Covered |
T1,T6,T11 |
0 |
- |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 352 if ((!rst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 415 if (tl_i_int.a_valid)
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 427 if (tl_i_int.a_valid)
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 483 if ((|sramreqfifo_rdata.mask))
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 |
198738683 |
198562221 |
0 |
0 |
T1 |
141475 |
141465 |
0 |
0 |
T2 |
425077 |
424767 |
0 |
0 |
T3 |
342641 |
342489 |
0 |
0 |
T4 |
192982 |
192886 |
0 |
0 |
T5 |
598074 |
596256 |
0 |
0 |
T6 |
121896 |
121887 |
0 |
0 |
T7 |
323895 |
323738 |
0 |
0 |
T8 |
363508 |
363359 |
0 |
0 |
T9 |
253984 |
253847 |
0 |
0 |
T10 |
143784 |
143727 |
0 |
0 |
DataIntgOptions_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
327 |
327 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T7 |
1 |
1 |
0 |
0 |
T8 |
1 |
1 |
0 |
0 |
T9 |
1 |
1 |
0 |
0 |
T10 |
1 |
1 |
0 |
0 |
ReqOutKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
198738683 |
198562221 |
0 |
0 |
T1 |
141475 |
141465 |
0 |
0 |
T2 |
425077 |
424767 |
0 |
0 |
T3 |
342641 |
342489 |
0 |
0 |
T4 |
192982 |
192886 |
0 |
0 |
T5 |
598074 |
596256 |
0 |
0 |
T6 |
121896 |
121887 |
0 |
0 |
T7 |
323895 |
323738 |
0 |
0 |
T8 |
363508 |
363359 |
0 |
0 |
T9 |
253984 |
253847 |
0 |
0 |
T10 |
143784 |
143727 |
0 |
0 |
SramDwHasByteGranularity_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
327 |
327 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T7 |
1 |
1 |
0 |
0 |
T8 |
1 |
1 |
0 |
0 |
T9 |
1 |
1 |
0 |
0 |
T10 |
1 |
1 |
0 |
0 |
SramDwIsMultipleOfTlulWidth_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
327 |
327 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T7 |
1 |
1 |
0 |
0 |
T8 |
1 |
1 |
0 |
0 |
T9 |
1 |
1 |
0 |
0 |
T10 |
1 |
1 |
0 |
0 |
TlOutKnownIfFifoKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
198738683 |
198562221 |
0 |
0 |
T1 |
141475 |
141465 |
0 |
0 |
T2 |
425077 |
424767 |
0 |
0 |
T3 |
342641 |
342489 |
0 |
0 |
T4 |
192982 |
192886 |
0 |
0 |
T5 |
598074 |
596256 |
0 |
0 |
T6 |
121896 |
121887 |
0 |
0 |
T7 |
323895 |
323738 |
0 |
0 |
T8 |
363508 |
363359 |
0 |
0 |
T9 |
253984 |
253847 |
0 |
0 |
T10 |
143784 |
143727 |
0 |
0 |
TlOutValidKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
198738683 |
198562221 |
0 |
0 |
T1 |
141475 |
141465 |
0 |
0 |
T2 |
425077 |
424767 |
0 |
0 |
T3 |
342641 |
342489 |
0 |
0 |
T4 |
192982 |
192886 |
0 |
0 |
T5 |
598074 |
596256 |
0 |
0 |
T6 |
121896 |
121887 |
0 |
0 |
T7 |
323895 |
323738 |
0 |
0 |
T8 |
363508 |
363359 |
0 |
0 |
T9 |
253984 |
253847 |
0 |
0 |
T10 |
143784 |
143727 |
0 |
0 |
WdataOutKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
198738683 |
198562221 |
0 |
0 |
T1 |
141475 |
141465 |
0 |
0 |
T2 |
425077 |
424767 |
0 |
0 |
T3 |
342641 |
342489 |
0 |
0 |
T4 |
192982 |
192886 |
0 |
0 |
T5 |
598074 |
596256 |
0 |
0 |
T6 |
121896 |
121887 |
0 |
0 |
T7 |
323895 |
323738 |
0 |
0 |
T8 |
363508 |
363359 |
0 |
0 |
T9 |
253984 |
253847 |
0 |
0 |
T10 |
143784 |
143727 |
0 |
0 |
WeOutKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
198738683 |
198562221 |
0 |
0 |
T1 |
141475 |
141465 |
0 |
0 |
T2 |
425077 |
424767 |
0 |
0 |
T3 |
342641 |
342489 |
0 |
0 |
T4 |
192982 |
192886 |
0 |
0 |
T5 |
598074 |
596256 |
0 |
0 |
T6 |
121896 |
121887 |
0 |
0 |
T7 |
323895 |
323738 |
0 |
0 |
T8 |
363508 |
363359 |
0 |
0 |
T9 |
253984 |
253847 |
0 |
0 |
T10 |
143784 |
143727 |
0 |
0 |
WmaskOutKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
198738683 |
198562221 |
0 |
0 |
T1 |
141475 |
141465 |
0 |
0 |
T2 |
425077 |
424767 |
0 |
0 |
T3 |
342641 |
342489 |
0 |
0 |
T4 |
192982 |
192886 |
0 |
0 |
T5 |
598074 |
596256 |
0 |
0 |
T6 |
121896 |
121887 |
0 |
0 |
T7 |
323895 |
323738 |
0 |
0 |
T8 |
363508 |
363359 |
0 |
0 |
T9 |
253984 |
253847 |
0 |
0 |
T10 |
143784 |
143727 |
0 |
0 |
adapterNoReadOrWrite
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
327 |
327 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T7 |
1 |
1 |
0 |
0 |
T8 |
1 |
1 |
0 |
0 |
T9 |
1 |
1 |
0 |
0 |
T10 |
1 |
1 |
0 |
0 |
rvalidHighReqFifoEmpty
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
198738683 |
39438 |
0 |
0 |
T1 |
141475 |
684 |
0 |
0 |
T2 |
425077 |
6 |
0 |
0 |
T3 |
342641 |
74 |
0 |
0 |
T4 |
192982 |
153 |
0 |
0 |
T5 |
598074 |
3 |
0 |
0 |
T6 |
121896 |
467 |
0 |
0 |
T7 |
323895 |
47 |
0 |
0 |
T8 |
363508 |
66 |
0 |
0 |
T9 |
253984 |
0 |
0 |
0 |
T10 |
143784 |
351 |
0 |
0 |
T14 |
0 |
240 |
0 |
0 |
rvalidHighWhenRspFifoFull
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
198738683 |
39438 |
0 |
0 |
T1 |
141475 |
684 |
0 |
0 |
T2 |
425077 |
6 |
0 |
0 |
T3 |
342641 |
74 |
0 |
0 |
T4 |
192982 |
153 |
0 |
0 |
T5 |
598074 |
3 |
0 |
0 |
T6 |
121896 |
467 |
0 |
0 |
T7 |
323895 |
47 |
0 |
0 |
T8 |
363508 |
66 |
0 |
0 |
T9 |
253984 |
0 |
0 |
0 |
T10 |
143784 |
351 |
0 |
0 |
T14 |
0 |
240 |
0 |
0 |