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

Module : prim_fifo_async
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.u_spid_status.u_sw_status_update_sync 0.00 0.00 0.00 0.00
tb.dut.u_spi_tpm.u_cmdaddr_buffer 0.00 0.00 0.00 0.00



Module Instance : tb.dut.u_spid_status.u_sw_status_update_sync

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
0.00 0.00 0.00 0.00 u_spid_status


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
sync_rptr 0.00 0.00 0.00
sync_wptr 0.00 0.00 0.00



Module Instance : tb.dut.u_spi_tpm.u_cmdaddr_buffer

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
0.00 0.00 0.00 0.00 0.00 u_spi_tpm


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
sync_rptr 0.00 0.00 0.00
sync_wptr 0.00 0.00 0.00

Line Coverage for Module : prim_fifo_async
Line No.TotalCoveredPercent
TOTAL4600.00
CONT_ASSIGN53100.00
CONT_ASSIGN56100.00
ALWAYS59400.00
ALWAYS68400.00
CONT_ASSIGN86100.00
CONT_ASSIGN89100.00
ALWAYS92400.00
ALWAYS101400.00
ALWAYS117300.00
CONT_ASSIGN130100.00
CONT_ASSIGN131100.00
CONT_ASSIGN132100.00
CONT_ASSIGN142100.00
CONT_ASSIGN143100.00
CONT_ASSIGN144100.00
CONT_ASSIGN145100.00
CONT_ASSIGN146100.00
CONT_ASSIGN156100.00
CONT_ASSIGN157100.00
CONT_ASSIGN158100.00
CONT_ASSIGN159100.00
CONT_ASSIGN160100.00
CONT_ASSIGN171100.00
CONT_ASSIGN172100.00
ALWAYS182200.00
CONT_ASSIGN187100.00
CONT_ASSIGN207100.00
CONT_ASSIGN276100.00
CONT_ASSIGN277100.00
CONT_ASSIGN279100.00
CONT_ASSIGN280100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
53 0 1
56 0 1
59 0 1
60 0 1
61 0 1
62 0 1
==> MISSING_ELSE
68 0 1
69 0 1
70 0 1
71 0 1
==> MISSING_ELSE
86 0 1
89 0 1
92 0 1
93 0 1
94 0 1
95 0 1
==> MISSING_ELSE
101 0 1
102 0 1
103 0 1
104 0 1
==> MISSING_ELSE
117 0 1
118 0 1
120 0 1
130 0 1
131 0 1
132 0 1
142 0 1
143 0 1
144 0 1
145 0 1
146 0 1
156 0 1
157 0 1
158 0 1
159 0 1
160 0 1
171 0 1
172 0 1
182 0 1
183 0 1
==> MISSING_ELSE
187 0 1
207 0 1
276 0 1
277 0 1
279 0 1
280 0 1


Cond Coverage for Module : prim_fifo_async ( parameter Width=24,Depth=2,OutputZeroIfEmpty=1,OutputZeroIfInvalid=0,DepthW=2,PTRV_W=1,PTR_WIDTH=2 )
Cond Coverage for Module self-instances :
SCORECOND
0.00 0.00
tb.dut.u_spid_status.u_sw_status_update_sync

TotalCoveredPercent
Conditions2500.00
Logical2500.00
Non-Logical00
Event00

 LINE       53
 EXPRESSION (wvalid_i & wready_o)
             ----1---   ----2---
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       86
 EXPRESSION (rvalid_o & rready_i)
             ----1---   ----2---
-1--2-StatusTests
01Not Covered
10Unreachable
11Not Covered

 LINE       130
 EXPRESSION (fifo_wptr_q == (fifo_rptr_sync_q ^ xor_mask))
            -----------------------1----------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       131
 EXPRESSION (fifo_wptr_sync_combi == (fifo_rptr_q ^ xor_mask))
            -------------------------1------------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       132
 EXPRESSION (fifo_wptr_sync_combi == fifo_rptr_q)
            ------------------1------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       146
 EXPRESSION 
 Number  Term
      1  full_wclk ? (2'(Depth)) : ((g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb) ? ((2'(g_depth_calc.wptr_value) - 2'(g_depth_calc.rptr_sync_value))) : (((2'(Depth) - 2'(g_depth_calc.rptr_sync_value)) + 2'(g_depth_calc.wptr_value)))))
-1-StatusTests
0Not Covered
1Not Covered

 LINE       146
 SUB-EXPRESSION 
 Number  Term
      1  (g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb) ? ((2'(g_depth_calc.wptr_value) - 2'(g_depth_calc.rptr_sync_value))) : (((2'(Depth) - 2'(g_depth_calc.rptr_sync_value)) + 2'(g_depth_calc.wptr_value))))
-1-StatusTests
0Not Covered
1Not Covered

 LINE       146
 SUB-EXPRESSION (g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb)
                --------------------------1--------------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       160
 EXPRESSION 
 Number  Term
      1  full_rclk ? (2'(Depth)) : ((g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb) ? ((2'(g_depth_calc.wptr_sync_value) - 2'(g_depth_calc.rptr_value))) : (((2'(Depth) - 2'(g_depth_calc.rptr_value)) + 2'(g_depth_calc.wptr_sync_value)))))
-1-StatusTests
0Not Covered
1Not Covered

 LINE       160
 SUB-EXPRESSION 
 Number  Term
      1  (g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb) ? ((2'(g_depth_calc.wptr_sync_value) - 2'(g_depth_calc.rptr_value))) : (((2'(Depth) - 2'(g_depth_calc.rptr_value)) + 2'(g_depth_calc.wptr_sync_value))))
-1-StatusTests
0Not Covered
1Not Covered

 LINE       160
 SUB-EXPRESSION (g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb)
                --------------------------1--------------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       207
 EXPRESSION (empty_rclk ? '0 : rdata_int)
             -----1----
-1-StatusTests
0Not Covered
1Not Covered

Cond Coverage for Module : prim_fifo_async ( parameter Width=32,Depth=2,OutputZeroIfEmpty=1,OutputZeroIfInvalid=0,DepthW=2,PTRV_W=1,PTR_WIDTH=2 )
Cond Coverage for Module self-instances :
SCORECOND
0.00 0.00
tb.dut.u_spi_tpm.u_cmdaddr_buffer

TotalCoveredPercent
Conditions2600.00
Logical2600.00
Non-Logical00
Event00

 LINE       53
 EXPRESSION (wvalid_i & wready_o)
             ----1---   ----2---
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       86
 EXPRESSION (rvalid_o & rready_i)
             ----1---   ----2---
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       130
 EXPRESSION (fifo_wptr_q == (fifo_rptr_sync_q ^ xor_mask))
            -----------------------1----------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       131
 EXPRESSION (fifo_wptr_sync_combi == (fifo_rptr_q ^ xor_mask))
            -------------------------1------------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       132
 EXPRESSION (fifo_wptr_sync_combi == fifo_rptr_q)
            ------------------1------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       146
 EXPRESSION 
 Number  Term
      1  full_wclk ? (2'(Depth)) : ((g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb) ? ((2'(g_depth_calc.wptr_value) - 2'(g_depth_calc.rptr_sync_value))) : (((2'(Depth) - 2'(g_depth_calc.rptr_sync_value)) + 2'(g_depth_calc.wptr_value)))))
-1-StatusTests
0Not Covered
1Not Covered

 LINE       146
 SUB-EXPRESSION 
 Number  Term
      1  (g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb) ? ((2'(g_depth_calc.wptr_value) - 2'(g_depth_calc.rptr_sync_value))) : (((2'(Depth) - 2'(g_depth_calc.rptr_sync_value)) + 2'(g_depth_calc.wptr_value))))
-1-StatusTests
0Not Covered
1Not Covered

 LINE       146
 SUB-EXPRESSION (g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb)
                --------------------------1--------------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       160
 EXPRESSION 
 Number  Term
      1  full_rclk ? (2'(Depth)) : ((g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb) ? ((2'(g_depth_calc.wptr_sync_value) - 2'(g_depth_calc.rptr_value))) : (((2'(Depth) - 2'(g_depth_calc.rptr_value)) + 2'(g_depth_calc.wptr_sync_value)))))
-1-StatusTests
0Not Covered
1Not Covered

 LINE       160
 SUB-EXPRESSION 
 Number  Term
      1  (g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb) ? ((2'(g_depth_calc.wptr_sync_value) - 2'(g_depth_calc.rptr_value))) : (((2'(Depth) - 2'(g_depth_calc.rptr_value)) + 2'(g_depth_calc.wptr_sync_value))))
-1-StatusTests
0Not Covered
1Not Covered

 LINE       160
 SUB-EXPRESSION (g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb)
                --------------------------1--------------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       207
 EXPRESSION (empty_rclk ? '0 : rdata_int)
             -----1----
-1-StatusTests
0Not Covered
1Not Covered

Branch Coverage for Module : prim_fifo_async
Line No.TotalCoveredPercent
Branches 24 0 0.00
TERNARY 146 3 0 0.00
TERNARY 160 3 0 0.00
TERNARY 207 2 0 0.00
IF 59 3 0 0.00
IF 68 3 0 0.00
IF 92 3 0 0.00
IF 101 3 0 0.00
IF 117 2 0 0.00
IF 182 2 0 0.00

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

LineNo. Expression -1-: 146 (full_wclk) ? -2-: 146 ((g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb)) ?

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


LineNo. Expression -1-: 160 (full_rclk) ? -2-: 160 ((g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb)) ?

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


LineNo. Expression -1-: 207 (empty_rclk) ?

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


LineNo. Expression -1-: 59 if ((!rst_wr_ni)) -2-: 61 if (fifo_incr_wptr)

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


LineNo. Expression -1-: 68 if ((!rst_wr_ni)) -2-: 70 if (fifo_incr_wptr)

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


LineNo. Expression -1-: 92 if ((!rst_rd_ni)) -2-: 94 if (fifo_incr_rptr)

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


LineNo. Expression -1-: 101 if ((!rst_rd_ni)) -2-: 103 if (fifo_incr_rptr)

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


LineNo. Expression -1-: 117 if ((!rst_wr_ni))

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


LineNo. Expression -1-: 182 if (fifo_incr_wptr)

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

Line Coverage for Instance : tb.dut.u_spid_status.u_sw_status_update_sync
Line No.TotalCoveredPercent
TOTAL4600.00
CONT_ASSIGN53100.00
CONT_ASSIGN56100.00
ALWAYS59400.00
ALWAYS68400.00
CONT_ASSIGN86100.00
CONT_ASSIGN89100.00
ALWAYS92400.00
ALWAYS101400.00
ALWAYS117300.00
CONT_ASSIGN130100.00
CONT_ASSIGN131100.00
CONT_ASSIGN132100.00
CONT_ASSIGN142100.00
CONT_ASSIGN143100.00
CONT_ASSIGN144100.00
CONT_ASSIGN145100.00
CONT_ASSIGN146100.00
CONT_ASSIGN156100.00
CONT_ASSIGN157100.00
CONT_ASSIGN158100.00
CONT_ASSIGN159100.00
CONT_ASSIGN160100.00
CONT_ASSIGN171100.00
CONT_ASSIGN172100.00
ALWAYS182200.00
CONT_ASSIGN187100.00
CONT_ASSIGN207100.00
CONT_ASSIGN276100.00
CONT_ASSIGN277100.00
CONT_ASSIGN279100.00
CONT_ASSIGN280100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
53 0 1
56 0 1
59 0 1
60 0 1
61 0 1
62 0 1
==> MISSING_ELSE
68 0 1
69 0 1
70 0 1
71 0 1
==> MISSING_ELSE
86 0 1
89 0 1
92 0 1
93 0 1
94 0 1
95 0 1
==> MISSING_ELSE
101 0 1
102 0 1
103 0 1
104 0 1
==> MISSING_ELSE
117 0 1
118 0 1
120 0 1
130 0 1
131 0 1
132 0 1
142 0 1
143 0 1
144 0 1
145 0 1
146 0 1
156 0 1
157 0 1
158 0 1
159 0 1
160 0 1
171 0 1
172 0 1
182 0 1
183 0 1
==> MISSING_ELSE
187 0 1
207 0 1
276 0 1
277 0 1
279 0 1
280 0 1


Cond Coverage for Instance : tb.dut.u_spid_status.u_sw_status_update_sync
TotalCoveredPercent
Conditions2500.00
Logical2500.00
Non-Logical00
Event00

 LINE       53
 EXPRESSION (wvalid_i & wready_o)
             ----1---   ----2---
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       86
 EXPRESSION (rvalid_o & rready_i)
             ----1---   ----2---
-1--2-StatusTests
01Not Covered
10Unreachable
11Not Covered

 LINE       130
 EXPRESSION (fifo_wptr_q == (fifo_rptr_sync_q ^ xor_mask))
            -----------------------1----------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       131
 EXPRESSION (fifo_wptr_sync_combi == (fifo_rptr_q ^ xor_mask))
            -------------------------1------------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       132
 EXPRESSION (fifo_wptr_sync_combi == fifo_rptr_q)
            ------------------1------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       146
 EXPRESSION 
 Number  Term
      1  full_wclk ? (2'(Depth)) : ((g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb) ? ((2'(g_depth_calc.wptr_value) - 2'(g_depth_calc.rptr_sync_value))) : (((2'(Depth) - 2'(g_depth_calc.rptr_sync_value)) + 2'(g_depth_calc.wptr_value)))))
-1-StatusTests
0Not Covered
1Not Covered

 LINE       146
 SUB-EXPRESSION 
 Number  Term
      1  (g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb) ? ((2'(g_depth_calc.wptr_value) - 2'(g_depth_calc.rptr_sync_value))) : (((2'(Depth) - 2'(g_depth_calc.rptr_sync_value)) + 2'(g_depth_calc.wptr_value))))
-1-StatusTests
0Not Covered
1Not Covered

 LINE       146
 SUB-EXPRESSION (g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb)
                --------------------------1--------------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       160
 EXPRESSION 
 Number  Term
      1  full_rclk ? (2'(Depth)) : ((g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb) ? ((2'(g_depth_calc.wptr_sync_value) - 2'(g_depth_calc.rptr_value))) : (((2'(Depth) - 2'(g_depth_calc.rptr_value)) + 2'(g_depth_calc.wptr_sync_value)))))
-1-StatusTests
0Not Covered
1Not Covered

 LINE       160
 SUB-EXPRESSION 
 Number  Term
      1  (g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb) ? ((2'(g_depth_calc.wptr_sync_value) - 2'(g_depth_calc.rptr_value))) : (((2'(Depth) - 2'(g_depth_calc.rptr_value)) + 2'(g_depth_calc.wptr_sync_value))))
-1-StatusTests
0Not Covered
1Not Covered

 LINE       160
 SUB-EXPRESSION (g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb)
                --------------------------1--------------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       207
 EXPRESSION (empty_rclk ? '0 : rdata_int)
             -----1----
-1-StatusTests
0Not Covered
1Not Covered

Branch Coverage for Instance : tb.dut.u_spid_status.u_sw_status_update_sync
Line No.TotalCoveredPercent
Branches 24 0 0.00
TERNARY 146 3 0 0.00
TERNARY 160 3 0 0.00
TERNARY 207 2 0 0.00
IF 59 3 0 0.00
IF 68 3 0 0.00
IF 92 3 0 0.00
IF 101 3 0 0.00
IF 117 2 0 0.00
IF 182 2 0 0.00

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

LineNo. Expression -1-: 146 (full_wclk) ? -2-: 146 ((g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb)) ?

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


LineNo. Expression -1-: 160 (full_rclk) ? -2-: 160 ((g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb)) ?

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


LineNo. Expression -1-: 207 (empty_rclk) ?

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


LineNo. Expression -1-: 59 if ((!rst_wr_ni)) -2-: 61 if (fifo_incr_wptr)

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


LineNo. Expression -1-: 68 if ((!rst_wr_ni)) -2-: 70 if (fifo_incr_wptr)

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


LineNo. Expression -1-: 92 if ((!rst_rd_ni)) -2-: 94 if (fifo_incr_rptr)

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


LineNo. Expression -1-: 101 if ((!rst_rd_ni)) -2-: 103 if (fifo_incr_rptr)

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


LineNo. Expression -1-: 117 if ((!rst_wr_ni))

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


LineNo. Expression -1-: 182 if (fifo_incr_wptr)

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

Line Coverage for Instance : tb.dut.u_spi_tpm.u_cmdaddr_buffer
Line No.TotalCoveredPercent
TOTAL4600.00
CONT_ASSIGN53100.00
CONT_ASSIGN56100.00
ALWAYS59400.00
ALWAYS68400.00
CONT_ASSIGN86100.00
CONT_ASSIGN89100.00
ALWAYS92400.00
ALWAYS101400.00
ALWAYS117300.00
CONT_ASSIGN130100.00
CONT_ASSIGN131100.00
CONT_ASSIGN132100.00
CONT_ASSIGN142100.00
CONT_ASSIGN143100.00
CONT_ASSIGN144100.00
CONT_ASSIGN145100.00
CONT_ASSIGN146100.00
CONT_ASSIGN156100.00
CONT_ASSIGN157100.00
CONT_ASSIGN158100.00
CONT_ASSIGN159100.00
CONT_ASSIGN160100.00
CONT_ASSIGN171100.00
CONT_ASSIGN172100.00
ALWAYS182200.00
CONT_ASSIGN187100.00
CONT_ASSIGN207100.00
CONT_ASSIGN276100.00
CONT_ASSIGN277100.00
CONT_ASSIGN279100.00
CONT_ASSIGN280100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
53 0 1
56 0 1
59 0 1
60 0 1
61 0 1
62 0 1
==> MISSING_ELSE
68 0 1
69 0 1
70 0 1
71 0 1
==> MISSING_ELSE
86 0 1
89 0 1
92 0 1
93 0 1
94 0 1
95 0 1
==> MISSING_ELSE
101 0 1
102 0 1
103 0 1
104 0 1
==> MISSING_ELSE
117 0 1
118 0 1
120 0 1
130 0 1
131 0 1
132 0 1
142 0 1
143 0 1
144 0 1
145 0 1
146 0 1
156 0 1
157 0 1
158 0 1
159 0 1
160 0 1
171 0 1
172 0 1
182 0 1
183 0 1
==> MISSING_ELSE
187 0 1
207 0 1
276 0 1
277 0 1
279 0 1
280 0 1


Cond Coverage for Instance : tb.dut.u_spi_tpm.u_cmdaddr_buffer
TotalCoveredPercent
Conditions2600.00
Logical2600.00
Non-Logical00
Event00

 LINE       53
 EXPRESSION (wvalid_i & wready_o)
             ----1---   ----2---
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       86
 EXPRESSION (rvalid_o & rready_i)
             ----1---   ----2---
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       130
 EXPRESSION (fifo_wptr_q == (fifo_rptr_sync_q ^ xor_mask))
            -----------------------1----------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       131
 EXPRESSION (fifo_wptr_sync_combi == (fifo_rptr_q ^ xor_mask))
            -------------------------1------------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       132
 EXPRESSION (fifo_wptr_sync_combi == fifo_rptr_q)
            ------------------1------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       146
 EXPRESSION 
 Number  Term
      1  full_wclk ? (2'(Depth)) : ((g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb) ? ((2'(g_depth_calc.wptr_value) - 2'(g_depth_calc.rptr_sync_value))) : (((2'(Depth) - 2'(g_depth_calc.rptr_sync_value)) + 2'(g_depth_calc.wptr_value)))))
-1-StatusTests
0Not Covered
1Not Covered

 LINE       146
 SUB-EXPRESSION 
 Number  Term
      1  (g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb) ? ((2'(g_depth_calc.wptr_value) - 2'(g_depth_calc.rptr_sync_value))) : (((2'(Depth) - 2'(g_depth_calc.rptr_sync_value)) + 2'(g_depth_calc.wptr_value))))
-1-StatusTests
0Not Covered
1Not Covered

 LINE       146
 SUB-EXPRESSION (g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb)
                --------------------------1--------------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       160
 EXPRESSION 
 Number  Term
      1  full_rclk ? (2'(Depth)) : ((g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb) ? ((2'(g_depth_calc.wptr_sync_value) - 2'(g_depth_calc.rptr_value))) : (((2'(Depth) - 2'(g_depth_calc.rptr_value)) + 2'(g_depth_calc.wptr_sync_value)))))
-1-StatusTests
0Not Covered
1Not Covered

 LINE       160
 SUB-EXPRESSION 
 Number  Term
      1  (g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb) ? ((2'(g_depth_calc.wptr_sync_value) - 2'(g_depth_calc.rptr_value))) : (((2'(Depth) - 2'(g_depth_calc.rptr_value)) + 2'(g_depth_calc.wptr_sync_value))))
-1-StatusTests
0Not Covered
1Not Covered

 LINE       160
 SUB-EXPRESSION (g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb)
                --------------------------1--------------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       207
 EXPRESSION (empty_rclk ? '0 : rdata_int)
             -----1----
-1-StatusTests
0Not Covered
1Not Covered

Branch Coverage for Instance : tb.dut.u_spi_tpm.u_cmdaddr_buffer
Line No.TotalCoveredPercent
Branches 24 0 0.00
TERNARY 146 3 0 0.00
TERNARY 160 3 0 0.00
TERNARY 207 2 0 0.00
IF 59 3 0 0.00
IF 68 3 0 0.00
IF 92 3 0 0.00
IF 101 3 0 0.00
IF 117 2 0 0.00
IF 182 2 0 0.00

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

LineNo. Expression -1-: 146 (full_wclk) ? -2-: 146 ((g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb)) ?

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


LineNo. Expression -1-: 160 (full_rclk) ? -2-: 160 ((g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb)) ?

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


LineNo. Expression -1-: 207 (empty_rclk) ?

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


LineNo. Expression -1-: 59 if ((!rst_wr_ni)) -2-: 61 if (fifo_incr_wptr)

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


LineNo. Expression -1-: 68 if ((!rst_wr_ni)) -2-: 70 if (fifo_incr_wptr)

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


LineNo. Expression -1-: 92 if ((!rst_rd_ni)) -2-: 94 if (fifo_incr_rptr)

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


LineNo. Expression -1-: 101 if ((!rst_rd_ni)) -2-: 103 if (fifo_incr_rptr)

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


LineNo. Expression -1-: 117 if ((!rst_wr_ni))

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


LineNo. Expression -1-: 182 if (fifo_incr_wptr)

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

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