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
31.62 0.00 0.00 94.87 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
intr_hw_acq_overflow 0.00 0.00 0.00 0.00
intr_hw_acq_threshold 0.00 0.00 0.00 0.00
intr_hw_cmd_complete 0.00 0.00 0.00 0.00
intr_hw_controller_halt 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_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_stretch 0.00 0.00 0.00 0.00
intr_hw_tx_threshold 0.00 0.00 0.00 0.00
intr_hw_unexp_stop 0.00 0.00 0.00 0.00
u_fifos 0.00 0.00 0.00 0.00
u_i2c_controller_fsm 0.00 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_target_fsm 0.00 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
TOTAL10900.00
CONT_ASSIGN182100.00
CONT_ASSIGN183100.00
CONT_ASSIGN184100.00
CONT_ASSIGN185100.00
CONT_ASSIGN186100.00
CONT_ASSIGN187100.00
CONT_ASSIGN188100.00
CONT_ASSIGN190100.00
CONT_ASSIGN191100.00
CONT_ASSIGN192100.00
CONT_ASSIGN193100.00
CONT_ASSIGN194100.00
CONT_ASSIGN196100.00
CONT_ASSIGN197100.00
CONT_ASSIGN198100.00
CONT_ASSIGN199100.00
CONT_ASSIGN200100.00
CONT_ASSIGN201100.00
CONT_ASSIGN202100.00
CONT_ASSIGN203100.00
CONT_ASSIGN207100.00
CONT_ASSIGN208100.00
CONT_ASSIGN210100.00
CONT_ASSIGN212100.00
CONT_ASSIGN213100.00
CONT_ASSIGN215100.00
CONT_ASSIGN216100.00
CONT_ASSIGN217100.00
CONT_ASSIGN219100.00
CONT_ASSIGN223100.00
CONT_ASSIGN225100.00
CONT_ASSIGN226100.00
CONT_ASSIGN227100.00
CONT_ASSIGN228100.00
ALWAYS232500.00
ALWAYS244500.00
CONT_ASSIGN253100.00
CONT_ASSIGN254100.00
CONT_ASSIGN255100.00
CONT_ASSIGN256100.00
CONT_ASSIGN257100.00
CONT_ASSIGN258100.00
CONT_ASSIGN259100.00
CONT_ASSIGN260100.00
CONT_ASSIGN261100.00
CONT_ASSIGN262100.00
CONT_ASSIGN263100.00
CONT_ASSIGN264100.00
CONT_ASSIGN265100.00
CONT_ASSIGN266100.00
CONT_ASSIGN267100.00
CONT_ASSIGN268100.00
CONT_ASSIGN269100.00
CONT_ASSIGN270100.00
CONT_ASSIGN273100.00
CONT_ASSIGN274100.00
CONT_ASSIGN275100.00
CONT_ASSIGN276100.00
CONT_ASSIGN278100.00
CONT_ASSIGN280100.00
CONT_ASSIGN281100.00
CONT_ASSIGN282100.00
CONT_ASSIGN285100.00
CONT_ASSIGN287100.00
CONT_ASSIGN289100.00
CONT_ASSIGN291100.00
CONT_ASSIGN293100.00
CONT_ASSIGN294100.00
CONT_ASSIGN299100.00
CONT_ASSIGN305100.00
CONT_ASSIGN306100.00
CONT_ASSIGN307100.00
CONT_ASSIGN308100.00
CONT_ASSIGN309100.00
CONT_ASSIGN310100.00
CONT_ASSIGN312100.00
CONT_ASSIGN313100.00
CONT_ASSIGN314100.00
CONT_ASSIGN315100.00
CONT_ASSIGN316100.00
CONT_ASSIGN317100.00
CONT_ASSIGN326100.00
CONT_ASSIGN328100.00
CONT_ASSIGN329100.00
CONT_ASSIGN330100.00
CONT_ASSIGN331100.00
CONT_ASSIGN332100.00
CONT_ASSIGN333100.00
CONT_ASSIGN334100.00
CONT_ASSIGN335100.00
CONT_ASSIGN336100.00
CONT_ASSIGN337100.00
CONT_ASSIGN381100.00
CONT_ASSIGN386100.00
CONT_ASSIGN388100.00
CONT_ASSIGN391100.00
CONT_ASSIGN392100.00
CONT_ASSIGN397100.00
CONT_ASSIGN743100.00
CONT_ASSIGN745100.00
CONT_ASSIGN746100.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
182 0 1
183 0 1
184 0 1
185 0 1
186 0 1
187 0 1
188 0 1
190 0 1
191 0 1
192 0 1
193 0 1
194 0 1
196 0 1
197 0 1
198 0 1
199 0 1
200 0 1
201 0 1
202 0 1
203 0 1
207 0 1
208 0 1
210 0 1
212 0 1
213 0 1
215 0 1
216 0 1
217 0 1
219 0 1
223 0 1
225 0 1
226 0 1
227 0 1
228 0 1
232 0 1
233 0 1
234 0 1
237 0 1
238 0 1
244 0 1
245 0 1
246 0 1
248 0 1
249 0 1
253 0 1
254 0 1
255 0 1
256 0 1
257 0 1
258 0 1
259 0 1
260 0 1
261 0 1
262 0 1
263 0 1
264 0 1
265 0 1
266 0 1
267 0 1
268 0 1
269 0 1
270 0 1
273 0 1
274 0 1
275 0 1
276 0 1
278 0 1
280 0 1
281 0 1
282 0 1
285 0 1
287 0 1
289 0 1
291 0 1
293 0 1
294 0 1
299 0 1
305 0 1
306 0 1
307 0 1
308 0 1
309 0 1
310 0 1
312 0 1
313 0 1
314 0 1
315 0 1
316 0 1
317 0 1
326 0 1
328 0 1
329 0 1
330 0 1
331 0 1
332 0 1
333 0 1
334 0 1
335 0 1
336 0 1
337 0 1
381 0 1
386 0 1
388 0 1
391 0 1
392 0 1
397 0 1
743 0 1
745 0 1
746 0 1


Cond Coverage for Module : i2c_core
TotalCoveredPercent
Conditions9100.00
Logical9100.00
Non-Logical00
Event00

 LINE       207
 EXPRESSION (event_target_nack && (reg2hw.target_nack_count.q < 8'hff))
             --------1--------    ------------------2-----------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

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

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

 LINE       219
 EXPRESSION (event_controller_cmd_complete | event_target_cmd_complete)
             --------------1--------------   ------------2------------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

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

 LINE       237
 EXPRESSION (scl_out_controller_fsm & scl_out_target_fsm)
             -----------1----------   ---------2--------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       238
 EXPRESSION (sda_out_controller_fsm & sda_out_target_fsm)
             -----------1----------   ---------2--------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       270
 EXPRESSION (reg2hw.target_ack_ctrl.nack.qe & reg2hw.target_ack_ctrl.nack.q)
             ---------------1--------------   --------------2--------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

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

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

 LINE       278
 EXPRESSION ((reg2hw.fifo_ctrl.txrst.q & reg2hw.fifo_ctrl.txrst.qe) || (reg2hw.target_fifo_config.txrst_on_cond.q & target_sr_p_cond))
             ---------------------------1--------------------------    -------------------------------2------------------------------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

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

 LINE       278
 SUB-EXPRESSION (reg2hw.target_fifo_config.txrst_on_cond.q & target_sr_p_cond)
                 --------------------1--------------------   --------2-------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

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

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

 LINE       294
 EXPRESSION (acq_fifo_full || target_ack_ctrl_stretching)
             ------1------    -------------2------------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       299
 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       312
 EXPRESSION (fmt_fifo_rvalid ? fmt_fifo_rdata[7:0] : '0)
             -------1-------
-1-StatusTests
0Not Covered
1Not Covered

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

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

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

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

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

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

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

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

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

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

 LINE       397
 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       397
 SUB-EXPRESSION (reg2hw.acqdata.abyte.re & reg2hw.acqdata.signal.re)
                 -----------1-----------   ------------2-----------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

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

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

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

Branch Coverage for Module : i2c_core
Line No.TotalCoveredPercent
Branches 24 0 0.00
TERNARY 212 2 0 0.00
TERNARY 213 2 0 0.00
TERNARY 312 2 0 0.00
TERNARY 313 2 0 0.00
TERNARY 314 2 0 0.00
TERNARY 315 2 0 0.00
TERNARY 316 2 0 0.00
TERNARY 317 2 0 0.00
TERNARY 391 2 0 0.00
TERNARY 392 2 0 0.00
IF 232 2 0 0.00
IF 244 2 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-: 212 (override) ?

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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

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