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

Module : i2c_controller_fsm
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00 0.00

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

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



Module Instance : tb.dut.i2c_core.u_i2c_controller_fsm

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00 0.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00 0.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
0.00 0.00 0.00 0.00 i2c_core


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Since this is the module's only instance, the coverage report is the same as for the module.
Line Coverage for Module : i2c_controller_fsm
Line No.TotalCoveredPercent
TOTAL40600.00
ALWAYS1201700.00
ALWAYS147300.00
ALWAYS160500.00
CONT_ASSIGN183100.00
ALWAYS187600.00
ALWAYS203900.00
CONT_ASSIGN218100.00
ALWAYS222700.00
ALWAYS235600.00
ALWAYS246500.00
ALWAYS253700.00
ALWAYS266500.00
ALWAYS280800.00
ALWAYS292800.00
ALWAYS304300.00
CONT_ASSIGN346100.00
ALWAYS351600.00
CONT_ASSIGN369100.00
CONT_ASSIGN374100.00
ALWAYS37911900.00
ALWAYS58218100.00
ALWAYS913300.00
CONT_ASSIGN920100.00
CONT_ASSIGN921100.00
CONT_ASSIGN924100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_i2c_0.1/rtl/i2c_controller_fsm.sv' or '../src/lowrisc_ip_i2c_0.1/rtl/i2c_controller_fsm.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
120 0 1
121 0 1
122 0 1
123 0 1
124 0 1
125 0 1
126 0 1
127 0 1
128 0 1
129 0 1
130 0 1
131 0 1
132 0 1
133 0 1
134 0 1
137 0 1
142 0 1
==> MISSING_ELSE
147 0 1
148 0 1
150 0 1
160 0 1
161 0 1
162 0 1
164 0 1
166 0 1
183 0 1
187 0 1
188 0 1
190 0 1
191 0 1
192 0 1
193 0 1
==> MISSING_ELSE
203 0 1
204 0 1
205 0 1
206 0 1
208 0 1
209 0 1
210 0 1
==> MISSING_ELSE
213 0 1
214 0 1
218 0 1
222 0 1
223 0 1
224 0 1
225 0 1
226 0 1
227 0 1
229 0 1
235 0 1
236 0 1
237 0 1
238 0 1
239 0 1
240 0 1
==> MISSING_ELSE
246 0 2
247 0 2
248 0 1
253 0 1
254 0 1
255 0 1
256 0 1
257 0 1
258 0 1
260 0 1
266 0 1
267 0 1
268 0 1
270 0 1
271 0 1
280 0 1
281 0 1
282 0 1
283 0 1
284 0 1
285 0 1
286 0 1
287 0 1
==> MISSING_ELSE
292 0 1
293 0 1
294 0 1
295 0 1
296 0 1
297 0 1
298 0 1
299 0 1
==> MISSING_ELSE
304 0 1
305 0 1
307 0 1
346 0 1
351 0 1
352 0 1
353 0 1
357 0 1
358 0 1
359 0 1
==> MISSING_ELSE
369 0 1
374 0 1
379 0 1
380 0 1
381 0 1
382 0 1
383 0 1
384 0 1
385 0 1
386 0 1
387 0 1
388 0 1
389 0 1
390 0 1
395 0 1
396 0 1
397 0 1
398 0 1
400 0 1
401 0 1
411 0 1
412 0 1
413 0 1
414 0 2
==> MISSING_ELSE
418 0 1
419 0 1
420 0 1
424 0 1
425 0 1
426 0 1
429 0 1
430 0 1
431 0 1
433 0 1
435 0 1
439 0 1
440 0 1
441 0 1
442 0 1
443 0 2
==> MISSING_ELSE
444 0 2
==> MISSING_ELSE
448 0 1
449 0 1
450 0 1
454 0 1
455 0 1
456 0 1
460 0 1
461 0 1
462 0 1
463 0 2
==> MISSING_ELSE
464 0 1
465 0 2
==> MISSING_ELSE
466 0 2
==> MISSING_ELSE
470 0 1
471 0 1
472 0 1
476 0 1
477 0 1
478 0 1
482 0 1
483 0 1
484 0 1
485 0 2
==> MISSING_ELSE
486 0 2
==> MISSING_ELSE
490 0 1
491 0 1
492 0 1
493 0 1
494 0 1
==> MISSING_ELSE
499 0 1
500 0 1
504 0 2
505 0 2
506 0 1
510 0 1
511 0 2
512 0 2
513 0 1
514 0 1
515 0 1
516 0 2
==> MISSING_ELSE
517 0 2
==> MISSING_ELSE
521 0 1
522 0 2
523 0 2
524 0 1
525 0 1
529 0 1
530 0 1
531 0 1
535 0 1
536 0 1
537 0 1
541 0 1
542 0 1
543 0 1
544 0 1
548 0 1
554 0 1
558 0 1
559 0 2
560 0 1
561 0 1
582 0 1
583 0 1
584 0 1
585 0 1
586 0 1
587 0 1
588 0 1
589 0 1
590 0 1
591 0 1
592 0 1
593 0 1
594 0 1
595 0 1
597 0 1
601 0 1
602 0 1
613 0 1
615 0 1
616 0 1
617 0 1
618 0 1
==> MISSING_ELSE
620 0 1
621 0 1
==> MISSING_ELSE
623 0 1
624 0 1
625 0 1
626 0 1
627 0 1
==> MISSING_ELSE
637 0 1
638 0 1
639 0 1
640 0 1
641 0 1
==> MISSING_ELSE
646 0 1
647 0 1
648 0 1
649 0 1
==> MISSING_ELSE
654 0 1
655 0 1
656 0 1
657 0 1
==> MISSING_ELSE
662 0 1
663 0 1
664 0 1
665 0 1
666 0 1
667 0 1
669 0 1
670 0 1
==> MISSING_ELSE
676 0 1
677 0 1
679 0 1
680 0 1
681 0 1
682 0 1
683 0 1
684 0 1
==> MISSING_ELSE
689 0 1
690 0 1
691 0 1
692 0 1
693 0 1
694 0 1
695 0 1
696 0 1
698 0 1
699 0 1
==> MISSING_ELSE
706 0 1
707 0 1
708 0 1
709 0 1
==> MISSING_ELSE
714 0 1
716 0 1
717 0 1
719 0 1
720 0 1
721 0 1
722 0 1
==> MISSING_ELSE
728 0 1
729 0 1
730 0 1
731 0 1
732 0 1
734 0 1
735 0 1
736 0 1
==> MISSING_ELSE
742 0 1
743 0 1
744 0 1
745 0 1
==> MISSING_ELSE
750 0 1
752 0 1
753 0 1
754 0 1
755 0 1
756 0 1
757 0 1
758 0 1
==> MISSING_ELSE
763 0 1
764 0 1
765 0 1
766 0 1
767 0 1
768 0 1
769 0 1
771 0 1
772 0 1
==> MISSING_ELSE
779 0 1
780 0 1
781 0 1
782 0 1
783 0 1
==> MISSING_ELSE
788 0 1
789 0 1
791 0 1
792 0 1
793 0 1
794 0 1
795 0 1
796 0 1
==> MISSING_ELSE
801 0 1
802 0 1
803 0 1
804 0 1
805 0 1
806 0 1
807 0 1
808 0 1
810 0 1
811 0 1
812 0 1
815 0 1
816 0 1
817 0 1
818 0 1
==> MISSING_ELSE
824 0 1
825 0 1
826 0 1
827 0 1
==> MISSING_ELSE
832 0 1
833 0 1
834 0 1
835 0 1
836 0 1
==> MISSING_ELSE
841 0 1
842 0 1
843 0 1
844 0 1
845 0 1
847 0 1
848 0 1
849 0 1
851 0 1
852 0 1
853 0 1
==> MISSING_ELSE
859 0 1
860 0 1
861 0 1
862 0 1
863 0 1
864 0 1
865 0 1
866 0 1
867 0 1
869 0 1
870 0 1
871 0 1
872 0 1
877 0 1
878 0 1
879 0 1
880 0 1
881 0 1
882 0 1
883 0 1
884 0 1
885 0 1
887 0 1
888 0 1
889 0 1
913 0 1
914 0 1
916 0 1
920 0 1
921 0 1
924 0 1


Cond Coverage for Module : i2c_controller_fsm
TotalCoveredPercent
Conditions16600.00
Logical16600.00
Non-Logical00
Event00

 LINE       137
 EXPRESSION (host_enable_i || (((!host_idle_o)) && ((!host_enable_i))))
             ------1------    --------------------2-------------------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       137
 SUB-EXPRESSION (((!host_idle_o)) && ((!host_enable_i)))
                 --------1-------    ---------2--------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       162
 EXPRESSION (stretch_en && ((!scl_i)))
             -----1----    -----2----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       190
 EXPRESSION (stretch_idle_cnt == stretch_cnt_threshold)
            ---------------------1---------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       247
 EXPRESSION (fmt_byte_i == '0)
            ---------1--------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       282
 EXPRESSION (trans_started && ((!host_enable_i)))
             ------1------    ---------2--------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       294
 EXPRESSION (pend_restart && ((!host_enable_i)))
             ------1-----    ---------2--------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       353
 EXPRESSION (((!en_sda_interf_det)) && ((|sda_rise_cnt)))
             -----------1----------    --------2--------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       358
 EXPRESSION (en_sda_interf_det && (sda_rise_cnt < sda_rise_latency))
             --------1--------    ----------------2----------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       369
 EXPRESSION ((host_idle_o & host_enable_i & ((!sda_i))) | ((sda_rise_cnt == sda_rise_latency) & sda_o & ((!sda_i))))
             ---------------------1--------------------   ----------------------------2----------------------------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       369
 SUB-EXPRESSION (host_idle_o & host_enable_i & ((!sda_i)))
                 -----1-----   ------2------   -----3----
-1--2--3-StatusTests
011Not Covered
101Not Covered
110Not Covered
111Not Covered

 LINE       369
 SUB-EXPRESSION ((sda_rise_cnt == sda_rise_latency) & sda_o & ((!sda_i)))
                 -----------------1----------------   --2--   -----3----
-1--2--3-StatusTests
011Not Covered
101Not Covered
110Not Covered
111Not Covered

 LINE       369
 SUB-EXPRESSION (sda_rise_cnt == sda_rise_latency)
                -----------------1----------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       374
 EXPRESSION (unhandled_unexp_nak_i && host_enable_i && (state_q == Idle) && host_nack_handler_timeout_en_i && ((!unhandled_nak_timeout_i)))
             ----------1----------    ------2------    --------3--------    ---------------4--------------    --------------5-------------
-1--2--3--4--5-StatusTests
01111Not Covered
10111Not Covered
11011Not Covered
11101Not Covered
11110Not Covered
11111Not Covered

 LINE       374
 SUB-EXPRESSION (state_q == Idle)
                --------1--------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       443
 EXPRESSION (scl_i_q && ((!scl_i)))
             ---1---    -----2----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       444
 EXPRESSION (sda_i_q != sda_i)
            ---------1--------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       463
 EXPRESSION (((!scl_i_q)) && scl_i && sda_i && ((!fmt_flag_nak_ok_i)))
             ------1-----    --2--    --3--    -----------4----------
-1--2--3--4-StatusTests
0111Not Covered
1011Not Covered
1101Not Covered
1110Not Covered
1111Not Covered

 LINE       465
 EXPRESSION (scl_i_q && ((!scl_i)))
             ---1---    -----2----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       466
 EXPRESSION (sda_i_q != sda_i)
            ---------1--------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       485
 EXPRESSION (scl_i_q && ((!scl_i)))
             ---1---    -----2----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       486
 EXPRESSION (sda_i_q != sda_i)
            ---------1--------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       492
 EXPRESSION ((bit_index == '0) && (tcount_q == 20'b1))
             --------1--------    ---------2---------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       492
 SUB-EXPRESSION (bit_index == '0)
                --------1--------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       492
 SUB-EXPRESSION (tcount_q == 20'b1)
                ---------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       505
 EXPRESSION (byte_index == 9'b1)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       512
 EXPRESSION (byte_index == 9'b1)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       516
 EXPRESSION (scl_i_q && ((!scl_i)))
             ---1---    -----2----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       517
 EXPRESSION (sda_i_q != sda_i)
            ---------1--------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       523
 EXPRESSION (byte_index == 9'b1)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       554
 EXPRESSION (fmt_flag_start_before_i && ((!trans_started)))
             -----------1-----------    ---------2--------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       602
 EXPRESSION (unhandled_unexp_nak_i || unhandled_nak_timeout_i)
             ----------1----------    -----------2-----------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       613
 EXPRESSION (trans_started && unhandled_nak_cnt_expired)
             ------1------    ------------2------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       623
 EXPRESSION (trans_started && ((!host_enable_i)))
             ------1------    ---------2--------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       637
 EXPRESSION (tcount_q == 20'b1)
            ---------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       646
 EXPRESSION (tcount_q == 20'b1)
            ---------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       654
 EXPRESSION (tcount_q == 20'b1)
            ---------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       663
 EXPRESSION (tcount_q == 20'b1)
            ---------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       677
 EXPRESSION (((!scl_i)) && stretch_predict_cnt_expired)
             -----1----    -------------2-------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       681
 EXPRESSION (tcount_q == 20'b1)
            ---------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       690
 EXPRESSION (tcount_q == 20'b1)
            ---------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       694
 EXPRESSION (bit_index == '0)
            --------1--------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       706
 EXPRESSION (tcount_q == 20'b1)
            ---------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       714
 EXPRESSION (((!scl_i)) && stretch_predict_cnt_expired)
             -----1----    -------------2-------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       719
 EXPRESSION (tcount_q == 20'b1)
            ---------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       728
 EXPRESSION (tcount_q == 20'b1)
            ---------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       742
 EXPRESSION (tcount_q == 20'b1)
            ---------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       750
 EXPRESSION (((!scl_i)) && stretch_predict_cnt_expired)
             -----1----    -------------2-------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       754
 EXPRESSION (tcount_q == 20'b1)
            ---------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       763
 EXPRESSION (tcount_q == 20'b1)
            ---------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       766
 EXPRESSION (bit_index == '0)
            --------1--------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       780
 EXPRESSION (tcount_q == 20'b1)
            ---------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       789
 EXPRESSION (((!scl_i)) && stretch_predict_cnt_expired)
             -----1----    -------------2-------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       793
 EXPRESSION (tcount_q == 20'b1)
            ---------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       802
 EXPRESSION (tcount_q == 20'b1)
            ---------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       804
 EXPRESSION (byte_index == 9'b1)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       824
 EXPRESSION (tcount_q == 20'b1)
            ---------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       832
 EXPRESSION (tcount_q == 20'b1)
            ---------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       842
 EXPRESSION (tcount_q == 20'b1)
            ---------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       864
 EXPRESSION (fmt_flag_start_before_i && ((!trans_started)))
             -----------1-----------    ---------2--------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       877
 EXPRESSION (((!host_enable_i)) && trans_started)
             ---------1--------    ------2------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       882
 EXPRESSION (((!host_enable_i)) || (fmt_fifo_depth_i == 7'b1) || unhandled_unexp_nak_i)
             ---------1--------    -------------2------------    ----------3----------
-1--2--3-StatusTests
000Not Covered
001Not Covered
010Not Covered
100Not Covered

 LINE       882
 SUB-EXPRESSION (fmt_fifo_depth_i == 7'b1)
                -------------1------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       924
 EXPRESSION (stretch_en && (stretch_idle_cnt[30:0] > stretch_timeout_i) && timeout_enable_i)
             -----1----    ----------------------2---------------------    --------3-------
-1--2--3-StatusTests
011Not Covered
101Not Covered
110Not Covered
111Not Covered

FSM Coverage for Module : i2c_controller_fsm
Summary for FSM :: state_q
TotalCoveredPercent
States 21 0 0.00 (Not included in score)
Transitions 33 0 0.00
Sequences 0 0

State, Transition and Sequence Details for FSM :: state_q
statesLine No.CoveredTests
Active 621 Not Covered
ClockLow 655 Not Covered
ClockLowAck 695 Not Covered
ClockPulse 669 Not Covered
ClockPulseAck 707 Not Covered
ClockStart 647 Not Covered
ClockStop 616 Not Covered
HoldBit 682 Not Covered
HoldDevAck 720 Not Covered
HoldStart 638 Not Covered
HoldStop 833 Not Covered
HostClockLowAck 767 Not Covered
HostClockPulseAck 781 Not Covered
HostHoldBitAck 794 Not Covered
Idle 847 Not Covered
PopFmtFifo 734 Not Covered
ReadClockLow 771 Not Covered
ReadClockPulse 743 Not Covered
ReadHoldBit 755 Not Covered
SetupStart 666 Not Covered
SetupStop 825 Not Covered


transitionsLine No.CoveredTests
Active->ClockLow 869 Not Covered
Active->ReadClockLow 861 Not Covered
Active->SetupStart 865 Not Covered
ClockLow->ClockPulse 669 Not Covered
ClockLow->SetupStart 666 Not Covered
ClockLowAck->ClockPulseAck 707 Not Covered
ClockPulse->HoldBit 682 Not Covered
ClockPulseAck->HoldDevAck 720 Not Covered
ClockStart->ClockLow 655 Not Covered
ClockStop->SetupStop 825 Not Covered
HoldBit->ClockLow 698 Not Covered
HoldBit->ClockLowAck 695 Not Covered
HoldDevAck->ClockStop 730 Not Covered
HoldDevAck->PopFmtFifo 734 Not Covered
HoldStart->ClockStart 647 Not Covered
HoldStop->Idle 847 Not Covered
HoldStop->PopFmtFifo 851 Not Covered
HostClockLowAck->HostClockPulseAck 781 Not Covered
HostClockPulseAck->HostHoldBitAck 794 Not Covered
HostHoldBitAck->ClockStop 806 Not Covered
HostHoldBitAck->PopFmtFifo 810 Not Covered
HostHoldBitAck->ReadClockLow 815 Not Covered
Idle->Active 621 Not Covered
Idle->ClockStop 616 Not Covered
PopFmtFifo->Active 887 Not Covered
PopFmtFifo->ClockStop 879 Not Covered
PopFmtFifo->Idle 883 Not Covered
ReadClockLow->ReadClockPulse 743 Not Covered
ReadClockPulse->ReadHoldBit 755 Not Covered
ReadHoldBit->HostClockLowAck 767 Not Covered
ReadHoldBit->ReadClockLow 771 Not Covered
SetupStart->HoldStart 638 Not Covered
SetupStop->HoldStop 833 Not Covered



Branch Coverage for Module : i2c_controller_fsm
Line No.TotalCoveredPercent
Branches 171 0 0.00
IF 121 15 0 0.00
IF 147 2 0 0.00
IF 160 3 0 0.00
IF 187 4 0 0.00
IF 203 4 0 0.00
IF 222 4 0 0.00
IF 235 4 0 0.00
IF 246 3 0 0.00
IF 253 4 0 0.00
IF 266 2 0 0.00
IF 280 5 0 0.00
IF 292 5 0 0.00
IF 304 2 0 0.00
IF 351 4 0 0.00
CASE 390 48 0 0.00
CASE 597 60 0 0.00
IF 913 2 0 0.00

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

LineNo. Expression -1-: 121 if (load_tcount) -2-: 122 case (tcount_sel) -3-: 137 if ((host_enable_i || ((!host_idle_o) && (!host_enable_i))))

Branches:
-1--2--3-StatusTests
1 tSetupStart - Not Covered
1 tHoldStart - Not Covered
1 tSetupData - Not Covered
1 tClockStart - Not Covered
1 tClockLow - Not Covered
1 tClockPulse - Not Covered
1 tClockHigh - Not Covered
1 tHoldBit - Not Covered
1 tClockStop - Not Covered
1 tSetupStop - Not Covered
1 tHoldStop - Not Covered
1 tNoDelay - Not Covered
1 default - Not Covered
0 - 1 Not Covered
0 - 0 Not Covered


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

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


LineNo. Expression -1-: 160 if ((!rst_ni)) -2-: 162 if ((stretch_en && (!scl_i)))

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


LineNo. Expression -1-: 187 if ((!rst_ni)) -2-: 190 if ((stretch_idle_cnt == stretch_cnt_threshold)) -3-: 192 if ((!stretch_en))

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


LineNo. Expression -1-: 203 if ((!rst_ni)) -2-: 206 if (incr_nak_cnt) -3-: 209 if ((unhandled_nak_cnt > host_nack_handler_timeout_i))

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


LineNo. Expression -1-: 222 if ((!rst_ni)) -2-: 224 if (bit_clr) -3-: 226 if (bit_decr)

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


LineNo. Expression -1-: 235 if ((!rst_ni)) -2-: 237 if (read_byte_clr) -3-: 239 if (shift_data_en)

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


LineNo. Expression -1-: 246 if ((!fmt_flag_read_bytes_i)) -2-: 247 if ((fmt_byte_i == '0))

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


LineNo. Expression -1-: 253 if ((!rst_ni)) -2-: 255 if (byte_clr) -3-: 257 if (byte_decr)

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


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

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


LineNo. Expression -1-: 280 if ((!rst_ni)) -2-: 282 if ((trans_started && (!host_enable_i))) -3-: 284 if (log_start) -4-: 286 if (log_stop)

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


LineNo. Expression -1-: 292 if ((!rst_ni)) -2-: 294 if ((pend_restart && (!host_enable_i))) -3-: 296 if (req_restart) -4-: 298 if (log_start)

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


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

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


LineNo. Expression -1-: 351 if ((!rst_ni)) -2-: 353 if (((!en_sda_interf_det) && (|sda_rise_cnt))) -3-: 358 if ((en_sda_interf_det && (sda_rise_cnt < sda_rise_latency)))

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


LineNo. Expression -1-: 390 case (state_q) -2-: 396 if (trans_started) -3-: 414 if (log_start) -4-: 430 if (pend_restart) -5-: 443 if ((scl_i_q && (!scl_i))) -6-: 444 if ((sda_i_q != sda_i)) -7-: 463 if (((((!scl_i_q) && scl_i) && sda_i) && (!fmt_flag_nak_ok_i))) -8-: 465 if ((scl_i_q && (!scl_i))) -9-: 466 if ((sda_i_q != sda_i)) -10-: 485 if ((scl_i_q && (!scl_i))) -11-: 486 if ((sda_i_q != sda_i)) -12-: 492 if (((bit_index == '0) && (tcount_q == 20'b1))) -13-: 504 if (fmt_flag_read_continue_i) -14-: 505 if ((byte_index == 9'b1)) -15-: 511 if (fmt_flag_read_continue_i) -16-: 512 if ((byte_index == 9'b1)) -17-: 516 if ((scl_i_q && (!scl_i))) -18-: 517 if ((sda_i_q != sda_i)) -19-: 522 if (fmt_flag_read_continue_i) -20-: 523 if ((byte_index == 9'b1)) -21-: 559 if (fmt_flag_stop_after_i)

Branches:
-1--2--3--4--5--6--7--8--9--10--11--12--13--14--15--16--17--18--19--20--21-StatusTests
Idle 1 - - - - - - - - - - - - - - - - - - - Not Covered
Idle 0 - - - - - - - - - - - - - - - - - - - Not Covered
SetupStart - 1 - - - - - - - - - - - - - - - - - - Not Covered
SetupStart - 0 - - - - - - - - - - - - - - - - - - Not Covered
HoldStart - - - - - - - - - - - - - - - - - - - - Not Covered
ClockStart - - - - - - - - - - - - - - - - - - - - Not Covered
ClockLow - - 1 - - - - - - - - - - - - - - - - - Not Covered
ClockLow - - 0 - - - - - - - - - - - - - - - - - Not Covered
ClockPulse - - - 1 - - - - - - - - - - - - - - - - Not Covered
ClockPulse - - - 0 - - - - - - - - - - - - - - - - Not Covered
ClockPulse - - - - 1 - - - - - - - - - - - - - - - Not Covered
ClockPulse - - - - 0 - - - - - - - - - - - - - - - Not Covered
HoldBit - - - - - - - - - - - - - - - - - - - - Not Covered
ClockLowAck - - - - - - - - - - - - - - - - - - - - Not Covered
ClockPulseAck - - - - - 1 - - - - - - - - - - - - - - Not Covered
ClockPulseAck - - - - - 0 - - - - - - - - - - - - - - Not Covered
ClockPulseAck - - - - - - 1 - - - - - - - - - - - - - Not Covered
ClockPulseAck - - - - - - 0 - - - - - - - - - - - - - Not Covered
ClockPulseAck - - - - - - - 1 - - - - - - - - - - - - Not Covered
ClockPulseAck - - - - - - - 0 - - - - - - - - - - - - Not Covered
HoldDevAck - - - - - - - - - - - - - - - - - - - - Not Covered
ReadClockLow - - - - - - - - - - - - - - - - - - - - Not Covered
ReadClockPulse - - - - - - - - 1 - - - - - - - - - - - Not Covered
ReadClockPulse - - - - - - - - 0 - - - - - - - - - - - Not Covered
ReadClockPulse - - - - - - - - - 1 - - - - - - - - - - Not Covered
ReadClockPulse - - - - - - - - - 0 - - - - - - - - - - Not Covered
ReadHoldBit - - - - - - - - - - 1 - - - - - - - - - Not Covered
ReadHoldBit - - - - - - - - - - 0 - - - - - - - - - Not Covered
HostClockLowAck - - - - - - - - - - - 1 - - - - - - - - Not Covered
HostClockLowAck - - - - - - - - - - - 0 1 - - - - - - - Not Covered
HostClockLowAck - - - - - - - - - - - 0 0 - - - - - - - Not Covered
HostClockPulseAck - - - - - - - - - - - - - 1 - - - - - - Not Covered
HostClockPulseAck - - - - - - - - - - - - - 0 1 - - - - - Not Covered
HostClockPulseAck - - - - - - - - - - - - - 0 0 - - - - - Not Covered
HostClockPulseAck - - - - - - - - - - - - - - - 1 - - - - Not Covered
HostClockPulseAck - - - - - - - - - - - - - - - 0 - - - - Not Covered
HostClockPulseAck - - - - - - - - - - - - - - - - 1 - - - Not Covered
HostClockPulseAck - - - - - - - - - - - - - - - - 0 - - - Not Covered
HostHoldBitAck - - - - - - - - - - - - - - - - - 1 - - Not Covered
HostHoldBitAck - - - - - - - - - - - - - - - - - 0 1 - Not Covered
HostHoldBitAck - - - - - - - - - - - - - - - - - 0 0 - Not Covered
ClockStop - - - - - - - - - - - - - - - - - - - - Not Covered
SetupStop - - - - - - - - - - - - - - - - - - - - Not Covered
HoldStop - - - - - - - - - - - - - - - - - - - - Not Covered
Active - - - - - - - - - - - - - - - - - - - - Not Covered
PopFmtFifo - - - - - - - - - - - - - - - - - - - 1 Not Covered
PopFmtFifo - - - - - - - - - - - - - - - - - - - 0 Not Covered
default - - - - - - - - - - - - - - - - - - - - Not Covered


LineNo. Expression -1-: 597 case (state_q) -2-: 601 if (host_enable_i) -3-: 602 if ((unhandled_unexp_nak_i || unhandled_nak_timeout_i)) -4-: 613 if ((trans_started && unhandled_nak_cnt_expired)) -5-: 620 if (fmt_fifo_rvalid_i) -6-: 623 if ((trans_started && (!host_enable_i))) -7-: 637 if ((tcount_q == 20'b1)) -8-: 646 if ((tcount_q == 20'b1)) -9-: 654 if ((tcount_q == 20'b1)) -10-: 663 if ((tcount_q == 20'b1)) -11-: 665 if (pend_restart) -12-: 677 if (((!scl_i) && stretch_predict_cnt_expired)) -13-: 681 if ((tcount_q == 20'b1)) -14-: 690 if ((tcount_q == 20'b1)) -15-: 694 if ((bit_index == '0)) -16-: 706 if ((tcount_q == 20'b1)) -17-: 714 if (((!scl_i) && stretch_predict_cnt_expired)) -18-: 719 if ((tcount_q == 20'b1)) -19-: 728 if ((tcount_q == 20'b1)) -20-: 729 if (fmt_flag_stop_after_i) -21-: 742 if ((tcount_q == 20'b1)) -22-: 750 if (((!scl_i) && stretch_predict_cnt_expired)) -23-: 754 if ((tcount_q == 20'b1)) -24-: 763 if ((tcount_q == 20'b1)) -25-: 766 if ((bit_index == '0)) -26-: 780 if ((tcount_q == 20'b1)) -27-: 789 if (((!scl_i) && stretch_predict_cnt_expired)) -28-: 793 if ((tcount_q == 20'b1)) -29-: 802 if ((tcount_q == 20'b1)) -30-: 804 if ((byte_index == 9'b1)) -31-: 805 if (fmt_flag_stop_after_i) -32-: 824 if ((tcount_q == 20'b1)) -33-: 832 if ((tcount_q == 20'b1)) -34-: 842 if ((tcount_q == 20'b1)) -35-: 845 if (auto_stop_q) -36-: 859 if (fmt_flag_read_bytes_i) -37-: 864 if ((fmt_flag_start_before_i && (!trans_started))) -38-: 877 if (((!host_enable_i) && trans_started)) -39-: 882 if ((((!host_enable_i) || (fmt_fifo_depth_i == 7'b1)) || unhandled_unexp_nak_i))

Branches:
-1--2--3--4--5--6--7--8--9--10--11--12--13--14--15--16--17--18--19--20--21--22--23--24--25--26--27--28--29--30--31--32--33--34--35--36--37--38--39-StatusTests
Idle 1 1 1 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Not Covered
Idle 1 1 0 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Not Covered
Idle 1 0 - 1 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Not Covered
Idle 1 0 - 0 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Not Covered
Idle 0 - - - 1 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Not Covered
Idle 0 - - - 0 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Not Covered
SetupStart - - - - - 1 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Not Covered
SetupStart - - - - - 0 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Not Covered
HoldStart - - - - - - 1 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Not Covered
HoldStart - - - - - - 0 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Not Covered
ClockStart - - - - - - - 1 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Not Covered
ClockStart - - - - - - - 0 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Not Covered
ClockLow - - - - - - - - 1 1 - - - - - - - - - - - - - - - - - - - - - - - - - - - - Not Covered
ClockLow - - - - - - - - 1 0 - - - - - - - - - - - - - - - - - - - - - - - - - - - - Not Covered
ClockLow - - - - - - - - 0 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Not Covered
ClockPulse - - - - - - - - - - 1 - - - - - - - - - - - - - - - - - - - - - - - - - - - Not Covered
ClockPulse - - - - - - - - - - 0 1 - - - - - - - - - - - - - - - - - - - - - - - - - - Not Covered
ClockPulse - - - - - - - - - - 0 0 - - - - - - - - - - - - - - - - - - - - - - - - - - Not Covered
HoldBit - - - - - - - - - - - - 1 1 - - - - - - - - - - - - - - - - - - - - - - - - Not Covered
HoldBit - - - - - - - - - - - - 1 0 - - - - - - - - - - - - - - - - - - - - - - - - Not Covered
HoldBit - - - - - - - - - - - - 0 - - - - - - - - - - - - - - - - - - - - - - - - - Not Covered
ClockLowAck - - - - - - - - - - - - - - 1 - - - - - - - - - - - - - - - - - - - - - - - Not Covered
ClockLowAck - - - - - - - - - - - - - - 0 - - - - - - - - - - - - - - - - - - - - - - - Not Covered
ClockPulseAck - - - - - - - - - - - - - - - 1 - - - - - - - - - - - - - - - - - - - - - - Not Covered
ClockPulseAck - - - - - - - - - - - - - - - 0 1 - - - - - - - - - - - - - - - - - - - - - Not Covered
ClockPulseAck - - - - - - - - - - - - - - - 0 0 - - - - - - - - - - - - - - - - - - - - - Not Covered
HoldDevAck - - - - - - - - - - - - - - - - - 1 1 - - - - - - - - - - - - - - - - - - - Not Covered
HoldDevAck - - - - - - - - - - - - - - - - - 1 0 - - - - - - - - - - - - - - - - - - - Not Covered
HoldDevAck - - - - - - - - - - - - - - - - - 0 - - - - - - - - - - - - - - - - - - - - Not Covered
ReadClockLow - - - - - - - - - - - - - - - - - - - 1 - - - - - - - - - - - - - - - - - - Not Covered
ReadClockLow - - - - - - - - - - - - - - - - - - - 0 - - - - - - - - - - - - - - - - - - Not Covered
ReadClockPulse - - - - - - - - - - - - - - - - - - - - 1 - - - - - - - - - - - - - - - - - Not Covered
ReadClockPulse - - - - - - - - - - - - - - - - - - - - 0 1 - - - - - - - - - - - - - - - - Not Covered
ReadClockPulse - - - - - - - - - - - - - - - - - - - - 0 0 - - - - - - - - - - - - - - - - Not Covered
ReadHoldBit - - - - - - - - - - - - - - - - - - - - - - 1 1 - - - - - - - - - - - - - - Not Covered
ReadHoldBit - - - - - - - - - - - - - - - - - - - - - - 1 0 - - - - - - - - - - - - - - Not Covered
ReadHoldBit - - - - - - - - - - - - - - - - - - - - - - 0 - - - - - - - - - - - - - - - Not Covered
HostClockLowAck - - - - - - - - - - - - - - - - - - - - - - - - 1 - - - - - - - - - - - - - Not Covered
HostClockLowAck - - - - - - - - - - - - - - - - - - - - - - - - 0 - - - - - - - - - - - - - Not Covered
HostClockPulseAck - - - - - - - - - - - - - - - - - - - - - - - - - 1 - - - - - - - - - - - - Not Covered
HostClockPulseAck - - - - - - - - - - - - - - - - - - - - - - - - - 0 1 - - - - - - - - - - - Not Covered
HostClockPulseAck - - - - - - - - - - - - - - - - - - - - - - - - - 0 0 - - - - - - - - - - - Not Covered
HostHoldBitAck - - - - - - - - - - - - - - - - - - - - - - - - - - - 1 1 1 - - - - - - - - Not Covered
HostHoldBitAck - - - - - - - - - - - - - - - - - - - - - - - - - - - 1 1 0 - - - - - - - - Not Covered
HostHoldBitAck - - - - - - - - - - - - - - - - - - - - - - - - - - - 1 0 - - - - - - - - - Not Covered
HostHoldBitAck - - - - - - - - - - - - - - - - - - - - - - - - - - - 0 - - - - - - - - - - Not Covered
ClockStop - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 1 - - - - - - - Not Covered
ClockStop - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 0 - - - - - - - Not Covered
SetupStop - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 1 - - - - - - Not Covered
SetupStop - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 0 - - - - - - Not Covered
HoldStop - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 1 1 - - - - Not Covered
HoldStop - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 1 0 - - - - Not Covered
HoldStop - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 0 - - - - - Not Covered
Active - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 1 - - - Not Covered
Active - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 0 1 - - Not Covered
Active - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 0 0 - - Not Covered
PopFmtFifo - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 1 - Not Covered
PopFmtFifo - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 0 1 Not Covered
PopFmtFifo - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 0 0 Not Covered
default - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Not Covered


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

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

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