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

Module : i2c_core
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_ip_i2c_0.1/rtl/i2c_core.sv

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.i2c_core 0.00 0.00 0.00 0.00



Module Instance : tb.dut.i2c_core

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00 0.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
33.33 0.00 0.00 100.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
intr_hw_acq_overflow 0.00 0.00 0.00 0.00
intr_hw_cmd_complete 0.00 0.00 0.00 0.00
intr_hw_fmt_overflow 0.00 0.00 0.00 0.00
intr_hw_fmt_threshold 0.00 0.00 0.00 0.00
intr_hw_host_timeout 0.00 0.00 0.00 0.00
intr_hw_nak 0.00 0.00 0.00 0.00
intr_hw_rx_overflow 0.00 0.00 0.00 0.00
intr_hw_rx_threshold 0.00 0.00 0.00 0.00
intr_hw_scl_interference 0.00 0.00 0.00 0.00
intr_hw_sda_interference 0.00 0.00 0.00 0.00
intr_hw_sda_unstable 0.00 0.00 0.00 0.00
intr_hw_stretch_timeout 0.00 0.00 0.00 0.00
intr_hw_tx_overflow 0.00 0.00 0.00 0.00
intr_hw_tx_stretch 0.00 0.00 0.00 0.00
intr_hw_unexp_stop 0.00 0.00 0.00 0.00
u_i2c_acqfifo 0.00 0.00 0.00 0.00
u_i2c_fmtfifo 0.00 0.00 0.00 0.00
u_i2c_fsm 0.00 0.00 0.00 0.00 0.00
u_i2c_rxfifo 0.00 0.00 0.00 0.00
u_i2c_sync_scl 0.00 0.00 0.00
u_i2c_sync_sda 0.00 0.00 0.00
u_i2c_txfifo 0.00 0.00 0.00 0.00


Since this is the module's only instance, the coverage report is the same as for the module.
Line Coverage for Module : i2c_core
Line No.TotalCoveredPercent
TOTAL10000.00
CONT_ASSIGN151100.00
CONT_ASSIGN152100.00
CONT_ASSIGN153100.00
CONT_ASSIGN154100.00
CONT_ASSIGN155100.00
CONT_ASSIGN156100.00
CONT_ASSIGN157100.00
CONT_ASSIGN158100.00
CONT_ASSIGN159100.00
CONT_ASSIGN160100.00
CONT_ASSIGN161100.00
CONT_ASSIGN163100.00
CONT_ASSIGN164100.00
CONT_ASSIGN165100.00
CONT_ASSIGN166100.00
CONT_ASSIGN167100.00
CONT_ASSIGN168100.00
CONT_ASSIGN169100.00
CONT_ASSIGN170100.00
CONT_ASSIGN172100.00
CONT_ASSIGN174100.00
CONT_ASSIGN175100.00
CONT_ASSIGN177100.00
CONT_ASSIGN178100.00
CONT_ASSIGN179100.00
CONT_ASSIGN183100.00
CONT_ASSIGN185100.00
CONT_ASSIGN186100.00
CONT_ASSIGN187100.00
CONT_ASSIGN188100.00
ALWAYS192500.00
CONT_ASSIGN201100.00
CONT_ASSIGN202100.00
CONT_ASSIGN203100.00
CONT_ASSIGN204100.00
CONT_ASSIGN205100.00
CONT_ASSIGN206100.00
CONT_ASSIGN207100.00
CONT_ASSIGN208100.00
CONT_ASSIGN209100.00
CONT_ASSIGN210100.00
CONT_ASSIGN211100.00
CONT_ASSIGN212100.00
CONT_ASSIGN213100.00
CONT_ASSIGN215100.00
CONT_ASSIGN216100.00
CONT_ASSIGN217100.00
CONT_ASSIGN218100.00
CONT_ASSIGN220100.00
CONT_ASSIGN221100.00
ALWAYS224500.00
ALWAYS234400.00
CONT_ASSIGN242100.00
ALWAYS245600.00
CONT_ASSIGN255100.00
CONT_ASSIGN257100.00
CONT_ASSIGN258100.00
CONT_ASSIGN263100.00
CONT_ASSIGN269100.00
CONT_ASSIGN270100.00
CONT_ASSIGN271100.00
CONT_ASSIGN272100.00
CONT_ASSIGN273100.00
CONT_ASSIGN274100.00
CONT_ASSIGN276100.00
CONT_ASSIGN277100.00
CONT_ASSIGN278100.00
CONT_ASSIGN279100.00
CONT_ASSIGN280100.00
CONT_ASSIGN281100.00
CONT_ASSIGN284100.00
CONT_ASSIGN285100.00
CONT_ASSIGN286100.00
CONT_ASSIGN287100.00
CONT_ASSIGN288100.00
CONT_ASSIGN289100.00
CONT_ASSIGN290100.00
CONT_ASSIGN311100.00
CONT_ASSIGN333100.00
CONT_ASSIGN338100.00
CONT_ASSIGN340100.00
CONT_ASSIGN343100.00
CONT_ASSIGN344100.00
CONT_ASSIGN368100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_i2c_0.1/rtl/i2c_core.sv' or '../src/lowrisc_ip_i2c_0.1/rtl/i2c_core.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
151 0 1
152 0 1
153 0 1
154 0 1
155 0 1
156 0 1
157 0 1
158 0 1
159 0 1
160 0 1
161 0 1
163 0 1
164 0 1
165 0 1
166 0 1
167 0 1
168 0 1
169 0 1
170 0 1
172 0 1
174 0 1
175 0 1
177 0 1
178 0 1
179 0 1
183 0 1
185 0 1
186 0 1
187 0 1
188 0 1
192 0 1
193 0 1
194 0 1
196 0 1
197 0 1
201 0 1
202 0 1
203 0 1
204 0 1
205 0 1
206 0 1
207 0 1
208 0 1
209 0 1
210 0 1
211 0 1
212 0 1
213 0 1
215 0 1
216 0 1
217 0 1
218 0 1
220 0 1
221 0 1
224 0 1
225 0 1
226 0 1
228 0 1
229 0 1
234 0 1
235 0 1
236 0 1
237 0 1
242 0 1
245 0 1
246 0 1
247 0 1
248 0 1
249 0 1
250 0 1
255 0 1
257 0 1
258 0 1
263 0 1
269 0 1
270 0 1
271 0 1
272 0 1
273 0 1
274 0 1
276 0 1
277 0 1
278 0 1
279 0 1
280 0 1
281 0 1
284 0 1
285 0 1
286 0 1
287 0 1
288 0 1
289 0 1
290 0 1
311 0 1
333 0 1
338 0 1
340 0 1
343 0 1
344 0 1
368 0 1


Cond Coverage for Module : i2c_core
TotalCoveredPercent
Conditions7900.00
Logical7900.00
Non-Logical00
Event00

 LINE       174
 EXPRESSION (override ? reg2hw.ovrd.sclval : scl_out_fsm)
             ----1---
-1-StatusTests
0Not Covered
1Not Covered

 LINE       175
 EXPRESSION (override ? reg2hw.ovrd.sdaval : sda_out_fsm)
             ----1---
-1-StatusTests
0Not Covered
1Not Covered

 LINE       183
 EXPRESSION (target_enable & line_loopback)
             ------1------   ------2------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       215
 EXPRESSION (reg2hw.fifo_ctrl.rxrst.q & reg2hw.fifo_ctrl.rxrst.qe)
             ------------1-----------   ------------2------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       216
 EXPRESSION (reg2hw.fifo_ctrl.fmtrst.q & reg2hw.fifo_ctrl.fmtrst.qe)
             ------------1------------   -------------2------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       220
 EXPRESSION (reg2hw.fifo_ctrl.txrst.q & reg2hw.fifo_ctrl.txrst.qe)
             ------------1-----------   ------------2------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       221
 EXPRESSION (reg2hw.fifo_ctrl.acqrst.q & reg2hw.fifo_ctrl.acqrst.qe)
             ------------1------------   -------------2------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       242
 EXPRESSION (fmt_threshold_d & ((~fmt_threshold_q)))
             -------1-------   ----------2---------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       255
 EXPRESSION (rx_threshold_d & ((~rx_threshold_q)))
             -------1------   ---------2---------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       257
 EXPRESSION (fmt_fifo_wvalid & ((~fmt_fifo_wready)))
             -------1-------   ----------2---------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       258
 EXPRESSION (rx_fifo_wvalid & ((~rx_fifo_wready)))
             -------1------   ---------2---------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       263
 EXPRESSION (reg2hw.fdata.fbyte.qe & reg2hw.fdata.start.qe & reg2hw.fdata.stop.qe & reg2hw.fdata.readb.qe & reg2hw.fdata.rcont.qe & reg2hw.fdata.nakok.qe)
             ----------1----------   ----------2----------   ----------3---------   ----------4----------   ----------5----------   ----------6----------
-1--2--3--4--5--6-StatusTests
011111Not Covered
101111Not Covered
110111Not Covered
111011Not Covered
111101Not Covered
111110Not Covered
111111Not Covered

 LINE       276
 EXPRESSION (fmt_fifo_rvalid ? fmt_fifo_rdata[7:0] : '0)
             -------1-------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       277
 EXPRESSION (fmt_fifo_rvalid ? fmt_fifo_rdata[8] : '0)
             -------1-------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       278
 EXPRESSION (fmt_fifo_rvalid ? fmt_fifo_rdata[9] : '0)
             -------1-------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       279
 EXPRESSION (fmt_fifo_rvalid ? fmt_fifo_rdata[10] : '0)
             -------1-------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       280
 EXPRESSION (fmt_fifo_rvalid ? fmt_fifo_rdata[11] : '0)
             -------1-------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       281
 EXPRESSION (fmt_fifo_rvalid ? fmt_fifo_rdata[12] : '0)
             -------1-------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       333
 EXPRESSION (tx_fifo_wvalid & ((~tx_fifo_wready)))
             -------1------   ---------2---------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       340
 EXPRESSION (target_enable & (acq_type == AcqData))
             ------1------   ----------2----------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       340
 SUB-EXPRESSION (acq_type == AcqData)
                ----------1----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       343
 EXPRESSION (target_loopback ? (acq_fifo_rvalid & valid_target_lb_wr) : reg2hw.txdata.qe)
             -------1-------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       343
 SUB-EXPRESSION (acq_fifo_rvalid & valid_target_lb_wr)
                 -------1-------   ---------2--------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       344
 EXPRESSION (target_loopback ? acq_fifo_rdata[7:0] : reg2hw.txdata.q)
             -------1-------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       368
 EXPRESSION ((reg2hw.acqdata.abyte.re & reg2hw.acqdata.signal.re) | (target_loopback & (tx_fifo_wready | (acq_type != AcqData))))
             --------------------------1-------------------------   ------------------------------2-----------------------------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       368
 SUB-EXPRESSION (reg2hw.acqdata.abyte.re & reg2hw.acqdata.signal.re)
                 -----------1-----------   ------------2-----------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       368
 SUB-EXPRESSION (target_loopback & (tx_fifo_wready | (acq_type != AcqData)))
                 -------1-------   --------------------2-------------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       368
 SUB-EXPRESSION (tx_fifo_wready | (acq_type != AcqData))
                 -------1------   ----------2----------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       368
 SUB-EXPRESSION (acq_type != AcqData)
                ----------1----------
-1-StatusTests
0Not Covered
1Not Covered

Branch Coverage for Module : i2c_core
Line No.TotalCoveredPercent
Branches 34 0 0.00
TERNARY 174 2 0 0.00
TERNARY 175 2 0 0.00
TERNARY 276 2 0 0.00
TERNARY 277 2 0 0.00
TERNARY 278 2 0 0.00
TERNARY 279 2 0 0.00
TERNARY 280 2 0 0.00
TERNARY 281 2 0 0.00
TERNARY 343 2 0 0.00
TERNARY 344 2 0 0.00
IF 192 2 0 0.00
IF 224 2 0 0.00
CASE 234 4 0 0.00
CASE 245 6 0 0.00

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

LineNo. Expression -1-: 174 (override) ?

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


LineNo. Expression -1-: 175 (override) ?

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


LineNo. Expression -1-: 276 (fmt_fifo_rvalid) ?

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


LineNo. Expression -1-: 277 (fmt_fifo_rvalid) ?

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


LineNo. Expression -1-: 278 (fmt_fifo_rvalid) ?

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


LineNo. Expression -1-: 279 (fmt_fifo_rvalid) ?

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


LineNo. Expression -1-: 280 (fmt_fifo_rvalid) ?

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


LineNo. Expression -1-: 281 (fmt_fifo_rvalid) ?

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


LineNo. Expression -1-: 343 (target_loopback) ?

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


LineNo. Expression -1-: 344 (target_loopback) ?

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


LineNo. Expression -1-: 192 if ((!rst_ni))

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


LineNo. Expression -1-: 224 if ((!rst_ni))

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


LineNo. Expression -1-: 234 case (i2c_fifo_fmtilvl)

Branches:
-1-StatusTests
2'h0 Not Covered
2'h1 Not Covered
2'h2 Not Covered
default Not Covered


LineNo. Expression -1-: 245 case (i2c_fifo_rxilvl)

Branches:
-1-StatusTests
3'h0 Not Covered
3'h1 Not Covered
3'h2 Not Covered
3'h3 Not Covered
3'h4 Not Covered
default Not Covered

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