Unified Coverage Report :: Module :: i2c_target_fsm

Module : i2c_target_fsm

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
85.45	88.43	79.05		81.11	78.65	100.00

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

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.i2c_core.u_i2c_target_fsm	85.45	88.43	79.05		81.11	78.65	100.00

---

Module Instance : tb.dut.i2c_core.u_i2c_target_fsm

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
85.45	88.43	79.05		81.11	78.65	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
85.45	88.43	79.05		81.11	78.65	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
90.64	97.25	73.63			91.67	100.00	i2c_core

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
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_target_fsm

	Line No.	Total	Covered	Percent
TOTAL		363	321	88.43
ALWAYS	133	8	7	87.50
ALWAYS	147	3	3	100.00
ALWAYS	160	7	7	100.00
ALWAYS	175	5	5	100.00
ALWAYS	186	5	5	100.00
CONT_ASSIGN	196	1	1	100.00
CONT_ASSIGN	197	1	1	100.00
CONT_ASSIGN	198	1	1	100.00
CONT_ASSIGN	199	1	1	100.00
ALWAYS	203	3	3	100.00
ALWAYS	212	5	5	100.00
ALWAYS	223	7	7	100.00
ALWAYS	247	6	6	100.00
ALWAYS	257	6	6	100.00
ALWAYS	267	6	6	100.00
CONT_ASSIGN	277	1	1	100.00
CONT_ASSIGN	278	1	1	100.00
CONT_ASSIGN	281	1	1	100.00
CONT_ASSIGN	282	1	1	100.00
CONT_ASSIGN	285	1	1	100.00
ALWAYS	289	9	9	100.00
CONT_ASSIGN	304	1	1	100.00
CONT_ASSIGN	305	1	1	100.00
CONT_ASSIGN	306	1	1	100.00
ALWAYS	310	7	7	100.00
ALWAYS	321	5	5	100.00
CONT_ASSIGN	338	1	1	100.00
CONT_ASSIGN	341	1	1	100.00
CONT_ASSIGN	342	1	1	100.00
ALWAYS	373	4	4	100.00
CONT_ASSIGN	390	1	1	100.00
CONT_ASSIGN	394	1	1	100.00
CONT_ASSIGN	397	1	1	100.00
ALWAYS	401	126	106	84.13
CONT_ASSIGN	693	1	1	100.00
CONT_ASSIGN	694	1	1	100.00
CONT_ASSIGN	698	1	1	100.00
CONT_ASSIGN	707	1	1	100.00
CONT_ASSIGN	712	1	1	100.00
ALWAYS	716	117	96	82.05
CONT_ASSIGN	1048	1	1	100.00
ALWAYS	1052	3	3	100.00
ALWAYS	1061	3	3	100.00
CONT_ASSIGN	1068	1	1	100.00
CONT_ASSIGN	1069	1	1	100.00
CONT_ASSIGN	1072	1	1	100.00
CONT_ASSIGN	1075	1	1	100.00

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

Line No.	Covered	Statements
133	1	1
134	1	1
135	1	1
136	1	1
137	1	1
138	0	1
141	1	1
142	1	1
			MISSING_ELSE
147	1	1
148	1	1
150	1	1
160	1	1
161	1	1
162	1	1
164	1	1
165	1	1
166	1	1
168	1	1
175	1	1
176	1	1
177	1	1
178	1	1
180	1	1
186	1	1
187	1	1
188	1	1
190	1	1
192	1	1
196	1	1
197	1	1
198	1	1
199	1	1
203	1	1
204	1	1
206	1	1
212	1	1
213	1	1
214	1	1
216	1	1
217	1	1
223	1	1
224	1	1
225	1	1
226	1	1
228	1	1
229	1	1
230	1	1
247	1	1
248	1	1
249	1	1
250	1	1
251	1	1
252	1	1
			MISSING_ELSE
257	1	1
258	1	1
259	1	1
260	1	1
261	1	1
262	1	1
			MISSING_ELSE
267	1	1
268	1	1
269	1	1
270	1	1
271	1	1
272	1	1
			MISSING_ELSE
277	1	1
278	1	1
281	1	1
282	1	1
285	1	1
289	1	1
290	1	1
291	1	1
292	1	1
293	1	1
296	2	2
297	1	1
299	1	1
304	1	1
305	1	1
306	1	1
310	1	1
311	1	1
312	1	1
313	1	1
314	1	1
315	2	2
			MISSING_ELSE
			MISSING_ELSE
321	1	1
322	1	1
323	1	1
324	2	2
			MISSING_ELSE
			MISSING_ELSE
338	1	1
341	1	1
342	1	1
373	1	1
374	1	1
375	1	1
376	1	1
			MISSING_ELSE
390	1	1
394	1	1
397	1	1
401	1	1
402	1	1
403	1	1
404	1	1
405	1	1
406	1	1
407	1	1
408	1	1
409	1	1
410	1	1
411	1	1
412	1	1
413	1	1
414	1	1
415	1	1
416	1	1
418	1	1
423	1	1
424	1	1
425	1	1
426	1	1
427	1	1
428	1	1
437	1	1
438	1	1
439	1	1
443	1	1
444	1	1
446	1	1
447	1	1
448	1	1
449	1	1
			MISSING_ELSE
			MISSING_ELSE
455	1	1
457	1	1
460	0	1
			MISSING_ELSE
465	1	1
466	1	1
470	1	1
471	1	1
475	1	1
476	1	1
479	1	1
480	1	1
484	1	1
486	1	1
			MISSING_ELSE
489	1	1
490	1	1
492	1	1
			==> MISSING_ELSE
498	1	1
502	1	1
503	1	1
507	1	1
510	1	1
514	1	1
517	1	1
521	1	1
524	1	1
525	1	1
527	1	1
			MISSING_ELSE
532	1	1
533	1	1
534	1	1
538	1	1
542	1	1
543	1	1
546	0	1
			MISSING_ELSE
551	1	1
552	1	1
556	1	1
557	1	1
561	1	1
562	1	1
564	1	1
565	1	1
566	1	1
567	1	1
			==> MISSING_ELSE
573	0	1
574	0	1
575	0	1
577	0	1
578	0	1
582	0	1
583	0	1
			==> MISSING_ELSE
589	0	1
590	0	1
591	0	1
596	1	1
597	1	1
598	1	1
600	1	1
601	0	1
605	0	1
606	0	1
607	1	1
608	1	1
609	1	1
610	1	1
612	1	1
			MISSING_ELSE
618	1	1
619	1	1
620	1	1
622	1	1
626	0	1
			MISSING_ELSE
631	1	1
632	1	1
633	1	1
637	1	1
638	1	1
639	1	1
640	1	1
643	1	1
644	0	1
645	0	1
646	0	1
			MISSING_ELSE
652	1	1
653	1	1
654	1	1
675	1	1
676	1	1
681	1	1
682	1	1
683	0	1
685	1	1
687	1	1
688	1	1
689	1	1
			MISSING_ELSE
693	1	1
694	1	1
698	1	1
707	1	1
712	1	1
716	1	1
717	1	1
718	1	1
719	1	1
720	1	1
722	1	1
734	1	1
735	1	1
736	1	1
			MISSING_ELSE
743	1	1
744	1	1
745	1	1
747	1	1
748	1	1
751	1	1
			MISSING_ELSE
757	1	1
759	0	1
760	1	1
761	1	1
763	1	1
765	0	1
772	0	1
773	0	1
776	0	1
780	0	1
			==> MISSING_ELSE
787	2	2
			MISSING_ELSE
791	1	1
792	1	1
793	1	1
794	1	1
			MISSING_ELSE
799	1	1
805	1	1
811	0	1
812	1	1
818	1	1
819	1	1
821	1	1
824	1	1
			==> MISSING_ELSE
830	1	1
831	1	1
833	1	1
838	2	2
			MISSING_ELSE
842	1	1
843	1	1
844	1	1
845	1	1
			MISSING_ELSE
850	1	1
851	1	1
852	1	1
854	1	1
855	1	1
856	1	1
			==> MISSING_ELSE
862	1	1
863	1	1
			MISSING_ELSE
869	1	1
871	1	1
872	1	1
875	1	1
			MISSING_ELSE
883	1	1
887	1	1
888	1	1
889	1	1
890	1	1
			MISSING_ELSE
895	1	1
897	0	1
898	1	1
899	1	1
900	0	1
901	1	1
905	1	1
907	1	1
			==> MISSING_ELSE
913	2	2
			MISSING_ELSE
917	1	1
918	1	1
919	1	1
920	1	1
			MISSING_ELSE
925	1	1
926	1	1
			==> MISSING_ELSE
934	0	1
935	0	1
936	0	1
937	0	1
938	0	1
939	0	1
			==> MISSING_ELSE
945	0	1
946	0	1
			==> MISSING_ELSE
954	1	1
955	0	1
956	1	1
962	1	1
			MISSING_ELSE
968	1	1
969	1	1
970	0	1
971	1	1
978	1	1
979	1	1
980	1	1
983	1	1
			MISSING_ELSE
988	1	1
989	1	1
			MISSING_ELSE
1000	1	1
1001	0	1
1002	1	1
1003	1	1
1004	1	1
1005	1	1
			MISSING_ELSE
1011	1	1
1012	1	1
			MISSING_ELSE
1028	1	1
1037	0	1
1038	1	1
1039	1	1
1040	1	1
1041	1	1
			MISSING_ELSE
1048	1	1
1052	1	1
1053	1	1
1055	1	1
1061	1	1
1062	1	1
1064	1	1
1068	1	1
1069	1	1
1072	1	1
1075	1	1

---

Cond Coverage for Module : i2c_target_fsm

	Total	Covered	Percent
Conditions	148	117	79.05
Logical	148	117	79.05
Non-Logical	0	0
Event	0	0

 LINE       162
 EXPRESSION (((!target_idle_o)) && event_host_timeout_o)
             ---------1--------    ----------2---------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T4,T5,T11
1	1	Covered	T12,T13,T14

 LINE       165
 EXPRESSION (((!target_idle_o)) && scl_i)
             ---------1--------    --2--

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T4,T5,T11
1	1	Covered	T4,T5,T11

 LINE       188
 EXPRESSION (auto_ack_load_i && ack_ctrl_stretching)
             -------1-------    ---------2---------

-1-	-2-	Status	Tests
0	1	Covered	T5,T11,T12
1	0	Not Covered
1	1	Covered	T5,T11,T12

 LINE       196
 EXPRESSION (((!ack_ctrl_mode_i)) || (auto_ack_cnt_q > '0))
             ----------1---------    ----------2----------

-1-	-2-	Status	Tests
0	0	Covered	T5,T11,T12
0	1	Covered	T5,T11,T12
1	0	Covered	T1,T2,T3

 LINE       249
 EXPRESSION (start_det_trigger || stop_det_trigger)
             --------1--------    --------2-------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T4,T5,T11
1	0	Covered	T4,T5,T11

 LINE       251
 EXPRESSION (start_det_pending || stop_det_pending)
             --------1--------    --------2-------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T4,T5,T11
1	0	Covered	T4,T5,T11

 LINE       261
 EXPRESSION (((!target_enable_i)) || ((!scl_i)) || start_det || stop_det_trigger)
             ----------1---------    -----2----    ----3----    --------4-------

-1-	-2-	-3-	-4-	Status	Tests
0	0	0	0	Covered	T4,T5,T11
0	0	0	1	Covered	T4,T5,T11
0	0	1	0	Covered	T4,T5,T11
0	1	0	0	Covered	T4,T5,T11
1	0	0	0	Covered	T1,T2,T3

 LINE       271
 EXPRESSION (((!target_enable_i)) || ((!scl_i)) || stop_det || start_det_trigger)
             ----------1---------    -----2----    ----3---    --------4--------

-1-	-2-	-3-	-4-	Status	Tests
0	0	0	0	Covered	T4,T5,T11
0	0	0	1	Covered	T4,T5,T11
0	0	1	0	Covered	T4,T5,T11
0	1	0	0	Covered	T4,T5,T11
1	0	0	0	Covered	T1,T2,T3

 LINE       277
 EXPRESSION (target_enable_i && ((scl_i_q && scl_i) & (sda_i_q && ((!sda_i)))))
             -------1-------    -----------------------2----------------------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T4,T5,T11
1	1	Covered	T4,T5,T11

 LINE       277
 SUB-EXPRESSION ((scl_i_q && scl_i) & (sda_i_q && ((!sda_i))))
                 ---------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       277
 SUB-EXPRESSION (scl_i_q && scl_i)
                 ---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       277
 SUB-EXPRESSION (sda_i_q && ((!sda_i)))
                 ---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       278
 EXPRESSION (target_enable_i && start_det_pending && (ctrl_det_count >= 16'(thd_dat_i)))
             -------1-------    --------2--------    -----------------3----------------

-1-	-2-	-3-	Status	Tests
0	1	1	Not Covered
1	0	1	Covered	T4,T5,T11
1	1	0	Not Covered
1	1	1	Covered	T4,T5,T11

 LINE       281
 EXPRESSION (target_enable_i && ((scl_i_q && scl_i) & (((!sda_i_q)) && sda_i)))
             -------1-------    -----------------------2----------------------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T4,T5,T11
1	1	Covered	T4,T5,T11

 LINE       281
 SUB-EXPRESSION ((scl_i_q && scl_i) & (((!sda_i_q)) && sda_i))
                 ---------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       281
 SUB-EXPRESSION (scl_i_q && scl_i)
                 ---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       281
 SUB-EXPRESSION (((!sda_i_q)) && sda_i)
                 ------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       282
 EXPRESSION (target_enable_i && stop_det_pending && (ctrl_det_count >= 16'(thd_dat_i)))
             -------1-------    --------2-------    -----------------3----------------

-1-	-2-	-3-	Status	Tests
0	1	1	Not Covered
1	0	1	Covered	T4,T5,T11
1	1	0	Not Covered
1	1	1	Covered	T4,T5,T11

 LINE       285
 EXPRESSION (bit_idx == 4'd8)
            --------1--------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       293
 EXPRESSION (scl_i_q && ((!scl_i)))
             ---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       296
 EXPRESSION (input_byte_clr || bit_ack)
             -------1------    ---2---

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T1,T2,T3
1	0	Covered	T4,T5,T11

 LINE       304
 EXPRESSION ((input_byte[7:1] & target_mask0_i) == target_address0_i)
            ----------------------------1----------------------------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       305
 EXPRESSION ((input_byte[7:1] & target_mask1_i) == target_address1_i)
            ----------------------------1----------------------------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       306
 EXPRESSION (address0_match || address1_match)
             -------1------    -------2------

-1-	-2-	Status	Tests
0	0	Covered	T4,T5,T11
0	1	Covered	T4,T5,T11
1	0	Covered	T4,T5,T11

 LINE       314
 EXPRESSION (((!scl_i_q)) && scl_i)
             ------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       323
 EXPRESSION (((!scl_i_q)) && scl_i)
             ------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       375
 EXPRESSION (bit_ack && address_match)
             ---1---    ------2------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T4,T5,T11
1	1	Covered	T1,T2,T3

 LINE       394
 EXPRESSION (xfer_for_us_q & rw_bit_q & stop_det & ((!expect_stop)))
             ------1------   ----2---   ----3---   --------4-------

-1-	-2-	-3-	-4-	Status	Tests
0	1	1	1	Covered	T15,T16,T17
1	0	1	1	Covered	T4,T5,T11
1	1	0	1	Covered	T5,T18,T12
1	1	1	0	Covered	T5,T18,T12
1	1	1	1	Covered	T19,T15,T20

 LINE       397
 EXPRESSION (((!nack_transaction_q)) && nack_transaction_d)
             -----------1-----------    ---------2--------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T1,T2,T3
1	1	Not Covered

 LINE       479
 EXPRESSION (tcount_q == 16'b1)
            ---------1---------

-1-	Status	Tests
0	Not Covered
1	Covered	T4,T5,T11

 LINE       564
 EXPRESSION (tcount_q == 16'b1)
            ---------1---------

-1-	Status	Tests
0	Not Covered
1	Covered	T4,T5,T11

 LINE       643
 EXPRESSION (nack_timeout || (sw_nack_i && ((!can_auto_ack))))
             ------1-----    ----------------2---------------

-1-	-2-	Status	Tests
0	0	Covered	T5,T11,T21
0	1	Not Covered
1	0	Not Covered

 LINE       643
 SUB-EXPRESSION (sw_nack_i && ((!can_auto_ack)))
                 ----1----    --------2--------

-1-	-2-	Status	Tests
0	1	Covered	T5,T11,T12
1	0	Not Covered
1	1	Not Covered

 LINE       693
 EXPRESSION (((!acq_fifo_plenty_space)) || ((!can_auto_ack)))
             -------------1------------    --------2--------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T5,T11,T12
1	0	Covered	T21,T22,T23

 LINE       698
 EXPRESSION (nack_timeout_en_i && (stretch_active_cnt >= nack_timeout_i))
             --------1--------    -------------------2------------------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Not Covered
1	1	Not Covered

 LINE       707
 EXPRESSION (((~tx_fifo_rvalid_i)) | (acq_fifo_depth_i > 9'(1'b1)))
             ----------1----------   --------------2--------------

-1-	-2-	Status	Tests
0	0	Covered	T5,T18,T12
0	1	Covered	T5,T18,T12
1	0	Covered	T1,T2,T3

 LINE       760
 EXPRESSION (tcount_q == 16'b1)
            ---------1---------

-1-	Status	Tests
0	Not Covered
1	Covered	T4,T5,T11

 LINE       799
 EXPRESSION (tcount_q == 16'b1)
            ---------1---------

-1-	Status	Tests
0	Not Covered
1	Covered	T4,T5,T11

 LINE       850
 EXPRESSION (tcount_q == 16'b1)
            ---------1---------

-1-	Status	Tests
0	Not Covered
1	Covered	T5,T18,T12

 LINE       898
 EXPRESSION (tcount_q == 16'b1)
            ---------1---------

-1-	Status	Tests
0	Not Covered
1	Covered	T4,T5,T11

 LINE       925
 EXPRESSION (tcount_q == 16'b1)
            ---------1---------

-1-	Status	Tests
0	Not Covered
1	Covered	T4,T5,T11

 LINE       945
 EXPRESSION (tcount_q == 16'b1)
            ---------1---------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       962
 EXPRESSION (rw_bit_q ? StretchTx : AcquireByte)
             ----1---

-1-	Status	Tests
0	Covered	T21,T22,T23
1	Not Covered

 LINE       988
 EXPRESSION (tcount_q == 16'b1)
            ---------1---------

-1-	Status	Tests
0	Covered	T5,T18,T12
1	Covered	T5,T18,T12

 LINE       1000
 EXPRESSION (nack_timeout || (sw_nack_i && ((!can_auto_ack))))
             ------1-----    ----------------2---------------

-1-	-2-	Status	Tests
0	0	Covered	T5,T11,T21
0	1	Not Covered
1	0	Not Covered

 LINE       1000
 SUB-EXPRESSION (sw_nack_i && ((!can_auto_ack)))
                 ----1----    --------2--------

-1-	-2-	Status	Tests
0	1	Covered	T5,T11,T12
1	0	Not Covered
1	1	Not Covered

 LINE       1011
 EXPRESSION (tcount_q == 16'b1)
            ---------1---------

-1-	Status	Tests
0	Covered	T5,T11,T21
1	Covered	T5,T11,T21

 LINE       1028
 EXPRESSION (((!target_idle)) && ((!target_enable_i)))
             --------1-------    ----------2---------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T4,T5,T11
1	1	Not Covered

 LINE       1048
 EXPRESSION (target_enable_i && ((!target_idle)) && (stop_det | start_det))
             -------1-------    --------2-------    -----------3----------

-1-	-2-	-3-	Status	Tests
0	1	1	Not Covered
1	0	1	Covered	T4,T5,T11
1	1	0	Covered	T4,T5,T11
1	1	1	Covered	T4,T5,T11

 LINE       1048
 SUB-EXPRESSION (stop_det | start_det)
                 ----1---   ----2----

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T4,T5,T11
1	0	Covered	T4,T5,T11

 LINE       1072
 EXPRESSION (((!target_idle_o)) & (stretch_idle_cnt > host_timeout_i))
             ---------1--------   -----------------2-----------------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T4,T5,T11
1	1	Covered	T12,T13,T14

---

FSM Coverage for Module : i2c_target_fsm

Summary for FSM :: state_q

	Total	Covered	Percent
States	26	24	92.31	(Not included in score)
Transitions	90	73	81.11
Sequences	0	0

State, Transition and Sequence Details for FSM :: state_q

---

states	Line No.	Covered	Tests
AcquireAckHold	918	Covered	T4,T5,T11
AcquireAckPulse	913	Covered	T4,T5,T11
AcquireAckSetup	907	Covered	T4,T5,T11
AcquireAckWait	888	Covered	T4,T5,T11
AcquireByte	824	Covered	T4,T5,T11
AcquireStart	1039	Covered	T4,T5,T11
AddrAckHold	792	Covered	T4,T5,T11
AddrAckPulse	787	Covered	T4,T5,T11
AddrAckSetup	763	Covered	T4,T5,T11
AddrAckWait	745	Covered	T4,T5,T11
AddrRead	735	Covered	T4,T5,T11
Idle	1037	Covered	T1,T2,T3
StretchAcqFull	905	Covered	T5,T11,T21
StretchAcqSetup	1003	Covered	T5,T11,T21
StretchAddr	818	Covered	T21,T22,T23
StretchAddrAck	776	Not Covered
StretchAddrAckSetup	937	Not Covered
StretchTx	831	Covered	T5,T18,T12
StretchTxSetup	978	Covered	T5,T18,T12
TransmitAck	852	Covered	T5,T18,T12
TransmitAckPulse	863	Covered	T5,T18,T12
TransmitHold	843	Covered	T5,T18,T12
TransmitPulse	838	Covered	T5,T18,T12
TransmitSetup	833	Covered	T5,T18,T12
TransmitWait	821	Covered	T5,T18,T12
WaitForStop	751	Covered	T5,T18,T12

transitions	Line No.	Covered	Tests
AcquireAckHold->AcquireByte	926	Covered	T4,T5,T11
AcquireAckHold->AcquireStart	1039	Covered	T15,T16
AcquireAckHold->Idle	1037	Covered	T15,T16
AcquireAckPulse->AcquireAckHold	918	Covered	T4,T5,T11
AcquireAckPulse->AcquireStart	1039	Covered	T15,T16
AcquireAckPulse->Idle	1037	Covered	T15,T16
AcquireAckSetup->AcquireAckPulse	913	Covered	T4,T5,T11
AcquireAckSetup->AcquireStart	1039	Covered	T15,T16
AcquireAckSetup->Idle	1037	Covered	T15,T16
AcquireAckWait->AcquireAckSetup	907	Covered	T4,T5,T11
AcquireAckWait->AcquireStart	1039	Covered	T15,T16
AcquireAckWait->Idle	1037	Covered	T15,T16
AcquireAckWait->StretchAcqFull	905	Covered	T5,T11,T21
AcquireAckWait->WaitForStop	897	Not Covered
AcquireByte->AcquireAckWait	888	Covered	T4,T5,T11
AcquireByte->AcquireStart	1039	Covered	T4,T5,T11
AcquireByte->Idle	1037	Covered	T4,T5,T11
AcquireStart->AddrRead	735	Covered	T4,T5,T11
AcquireStart->Idle	1037	Covered	T15,T16
AddrAckHold->AcquireByte	824	Covered	T4,T5,T11
AddrAckHold->AcquireStart	1039	Covered	T15,T16
AddrAckHold->Idle	1037	Covered	T15,T16
AddrAckHold->StretchAddr	818	Covered	T21,T22,T23
AddrAckHold->TransmitWait	821	Covered	T5,T18,T12
AddrAckHold->WaitForStop	811	Not Covered
AddrAckPulse->AcquireStart	1039	Covered	T15,T16
AddrAckPulse->AddrAckHold	792	Covered	T4,T5,T11
AddrAckPulse->Idle	1037	Covered	T15,T16
AddrAckSetup->AcquireStart	1039	Covered	T15,T16
AddrAckSetup->AddrAckPulse	787	Covered	T4,T5,T11
AddrAckSetup->Idle	1037	Covered	T15,T16
AddrAckWait->AcquireStart	1039	Covered	T15,T16
AddrAckWait->AddrAckSetup	763	Covered	T4,T5,T11
AddrAckWait->Idle	1037	Covered	T15,T16
AddrAckWait->StretchAddrAck	776	Not Covered
AddrAckWait->WaitForStop	759	Not Covered
AddrRead->AcquireStart	1039	Covered	T5,T24,T15
AddrRead->AddrAckWait	745	Covered	T4,T5,T11
AddrRead->Idle	1037	Covered	T15,T17,T25
AddrRead->WaitForStop	751	Covered	T26,T27,T28
Idle->AcquireStart	1039	Covered	T4,T5,T11
StretchAcqFull->AcquireStart	1039	Covered	T15,T16
StretchAcqFull->Idle	1037	Covered	T15,T16
StretchAcqFull->StretchAcqSetup	1003	Covered	T5,T11,T21
StretchAcqFull->WaitForStop	1001	Not Covered
StretchAcqSetup->AcquireAckSetup	1012	Covered	T5,T11,T21
StretchAcqSetup->AcquireStart	1039	Not Covered
StretchAcqSetup->Idle	1037	Not Covered
StretchAddr->AcquireByte	962	Covered	T21,T22,T23
StretchAddr->AcquireStart	1039	Covered	T15,T16
StretchAddr->Idle	1037	Covered	T15,T16
StretchAddr->StretchTx	962	Not Covered
StretchAddr->WaitForStop	955	Not Covered
StretchAddrAck->AcquireStart	1039	Not Covered
StretchAddrAck->Idle	1037	Not Covered
StretchAddrAck->StretchAddrAckSetup	937	Not Covered
StretchAddrAck->WaitForStop	935	Not Covered
StretchAddrAckSetup->AcquireStart	1039	Not Covered
StretchAddrAckSetup->AddrAckSetup	946	Not Covered
StretchAddrAckSetup->Idle	1037	Not Covered
StretchTx->AcquireStart	1039	Covered	T15,T16
StretchTx->Idle	1037	Covered	T15,T16
StretchTx->StretchTxSetup	978	Covered	T5,T18,T12
StretchTx->WaitForStop	970	Not Covered
StretchTxSetup->AcquireStart	1039	Covered	T15,T16
StretchTxSetup->Idle	1037	Covered	T15,T16
StretchTxSetup->TransmitSetup	989	Covered	T5,T18,T12
TransmitAck->AcquireStart	1039	Covered	T15,T16
TransmitAck->Idle	1037	Covered	T15,T16
TransmitAck->TransmitAckPulse	863	Covered	T5,T18,T12
TransmitAckPulse->AcquireStart	1039	Covered	T15,T20,T16
TransmitAckPulse->Idle	1037	Covered	T15,T16
TransmitAckPulse->TransmitWait	872	Covered	T5,T18,T12
TransmitAckPulse->WaitForStop	875	Covered	T5,T18,T12
TransmitHold->AcquireStart	1039	Covered	T15,T16
TransmitHold->Idle	1037	Covered	T15,T16
TransmitHold->TransmitAck	852	Covered	T5,T18,T12
TransmitHold->TransmitSetup	856	Covered	T5,T18,T12
TransmitPulse->AcquireStart	1039	Covered	T19,T15,T20
TransmitPulse->Idle	1037	Covered	T19,T15,T20
TransmitPulse->TransmitHold	843	Covered	T5,T18,T12
TransmitSetup->AcquireStart	1039	Covered	T15,T16
TransmitSetup->Idle	1037	Covered	T15,T16
TransmitSetup->TransmitPulse	838	Covered	T5,T18,T12
TransmitWait->AcquireStart	1039	Covered	T15,T16
TransmitWait->Idle	1037	Covered	T15,T16
TransmitWait->StretchTx	831	Covered	T5,T18,T12
TransmitWait->TransmitSetup	833	Covered	T5,T18,T12
WaitForStop->AcquireStart	1039	Covered	T5,T18,T12
WaitForStop->Idle	1037	Covered	T5,T18,T12

---

Branch Coverage for Module : i2c_target_fsm

	Line No.	Total	Covered	Percent
Branches		178	140	78.65
IF	134	6	4	66.67
IF	147	2	2	100.00
IF	160	4	4	100.00
IF	175	3	3	100.00
IF	186	3	3	100.00
IF	203	2	2	100.00
IF	212	2	2	100.00
IF	223	2	2	100.00
IF	247	4	4	100.00
IF	257	4	4	100.00
IF	267	4	4	100.00
IF	289	5	5	100.00
IF	310	5	5	100.00
IF	321	4	4	100.00
IF	373	3	3	100.00
CASE	418	44	32	72.73
IF	675	4	3	75.00
CASE	722	69	47	68.12
IF	1028	4	3	75.00
IF	1052	2	2	100.00
IF	1061	2	2	100.00

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

	LineNo.	Expression
-1-:	134	if (load_tcount)
-2-:	135	case (tcount_sel)
-3-:	141	if (target_enable_i)

Branches:

-1-	-2-	-3-	Status	Tests
1	tSetupData	-	Covered	T5,T11,T18
1	tHoldData	-	Covered	T4,T5,T11
1	tNoDelay	-	Not Covered
1	default	-	Not Covered
0	-	1	Covered	T4,T5,T11
0	-	0	Covered	T1,T2,T3

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

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	160	if ((!rst_ni))
-2-:	162	if (((!target_idle_o) && event_host_timeout_o))
-3-:	165	if (((!target_idle_o) && scl_i))

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Covered	T1,T2,T3
0	1	-	Covered	T12,T13,T14
0	0	1	Covered	T4,T5,T11
0	0	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	175	if ((!rst_ni))
-2-:	177	if (actively_stretching)

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T5,T11,T18
0	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	186	if ((!rst_ni))
-2-:	188	if ((auto_ack_load_i && ack_ctrl_stretching))

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T5,T11,T12
0	0	Covered	T1,T2,T3

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

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

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

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

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

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	247	if ((!rst_ni))
-2-:	249	if ((start_det_trigger || stop_det_trigger))
-3-:	251	if ((start_det_pending || stop_det_pending))

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Covered	T1,T2,T3
0	1	-	Covered	T4,T5,T11
0	0	1	Covered	T4,T5,T11
0	0	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	257	if ((!rst_ni))
-2-:	259	if (start_det_trigger)
-3-:	261	if (((((!target_enable_i) || (!scl_i)) || start_det) || stop_det_trigger))

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Covered	T1,T2,T3
0	1	-	Covered	T4,T5,T11
0	0	1	Covered	T1,T2,T3
0	0	0	Covered	T4,T5,T11

	LineNo.	Expression
-1-:	267	if ((!rst_ni))
-2-:	269	if (stop_det_trigger)
-3-:	271	if (((((!target_enable_i) || (!scl_i)) || stop_det) || start_det_trigger))

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Covered	T1,T2,T3
0	1	-	Covered	T4,T5,T11
0	0	1	Covered	T1,T2,T3
0	0	0	Covered	T4,T5,T11

	LineNo.	Expression
-1-:	289	if ((!rst_ni))
-2-:	291	if (start_det)
-3-:	293	if ((scl_i_q && (!scl_i)))
-4-:	296	if ((input_byte_clr || bit_ack))

Branches:

-1-	-2-	-3-	-4-	Status	Tests
1	-	-	-	Covered	T1,T2,T3
0	1	-	-	Covered	T4,T5,T11
0	0	1	1	Covered	T1,T2,T3
0	0	1	0	Covered	T1,T2,T3
0	0	0	-	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	310	if ((!rst_ni))
-2-:	312	if (input_byte_clr)
-3-:	314	if (((!scl_i_q) && scl_i))
-4-:	315	if ((!bit_ack))

Branches:

-1-	-2-	-3-	-4-	Status	Tests
1	-	-	-	Covered	T1,T2,T3
0	1	-	-	Covered	T4,T5,T11
0	0	1	1	Covered	T1,T2,T3
0	0	1	0	Covered	T1,T2,T3
0	0	0	-	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	321	if ((!rst_ni))
-2-:	323	if (((!scl_i_q) && scl_i))
-3-:	324	if (bit_ack)

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Covered	T1,T2,T3
0	1	1	Covered	T1,T2,T3
0	1	0	Covered	T1,T2,T3
0	0	-	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	373	if ((!rst_ni))
-2-:	375	if ((bit_ack && address_match))

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T1,T2,T3
0	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	418	case (state_q)
-2-:	446	if (bit_ack)
-3-:	447	if (address_match)
-4-:	457	if (scl_i)
-5-:	479	if ((tcount_q == 16'b1))
-6-:	480	if (nack_transaction_q)
-7-:	484	if ((!stretch_addr))
-8-:	489	if (restart_det_q)
-9-:	525	if ((!scl_i))
-10-:	543	if (scl_i)
-11-:	564	if ((tcount_q == 16'b1))
-12-:	577	if (nack_timeout)
-13-:	600	if (nack_timeout)
-14-:	607	if ((!stretch_addr))
-15-:	609	if (restart_det_q)
-16-:	622	if (nack_timeout)
-17-:	643	if ((nack_timeout || (sw_nack_i && (!can_auto_ack))))

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	-10-	-11-	-12-	-13-	-14-	-15-	-16-	-17-	Status	Tests
Idle	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
AcquireStart	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T11
AddrRead	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T11
AddrRead	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T26,T27,T28
AddrRead	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T11
AddrAckWait	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
AddrAckWait	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T11
AddrAckSetup	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T11
AddrAckPulse	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T11
AddrAckHold	-	-	-	1	1	-	-	-	-	-	-	-	-	-	-	-	Not Covered
AddrAckHold	-	-	-	1	0	1	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T11
AddrAckHold	-	-	-	1	0	0	-	-	-	-	-	-	-	-	-	-	Covered	T21,T22,T23
AddrAckHold	-	-	-	1	-	-	1	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T11
AddrAckHold	-	-	-	1	-	-	0	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T11
AddrAckHold	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
TransmitWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T18,T12
TransmitSetup	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T18,T12
TransmitPulse	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T18,T12
TransmitHold	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T18,T12
TransmitAck	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T18,T12
TransmitAckPulse	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T5,T18,T12
TransmitAckPulse	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T5,T18,T12
WaitForStop	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T18,T12
AcquireByte	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T11
AcquireAckWait	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	Not Covered
AcquireAckWait	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T4,T5,T11
AcquireAckSetup	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T11
AcquireAckPulse	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T11
AcquireAckHold	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	Covered	T4,T5,T11
AcquireAckHold	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	Not Covered
StretchAddrAck	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	Not Covered
StretchAddrAck	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Not Covered
StretchAddrAckSetup	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
StretchAddr	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	Not Covered
StretchAddr	-	-	-	-	-	-	-	-	-	-	-	0	1	1	-	-	Covered	T21,T22,T23
StretchAddr	-	-	-	-	-	-	-	-	-	-	-	0	1	0	-	-	Covered	T21,T22,T23
StretchAddr	-	-	-	-	-	-	-	-	-	-	-	0	0	-	-	-	Covered	T21,T22,T23
StretchTx	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Not Covered
StretchTx	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	Covered	T5,T18,T12
StretchTxSetup	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T18,T12
StretchAcqFull	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	Not Covered
StretchAcqFull	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	Covered	T5,T11,T21
StretchAcqSetup	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T11,T21
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered

	LineNo.	Expression
-1-:	675	if (stop_det)
-2-:	682	if (nack_transaction_q)
-3-:	687	if (start_det)

Branches:

-1-	-2-	-3-	Status	Tests
1	1	-	Not Covered
1	0	-	Covered	T4,T5,T11
0	-	1	Covered	T4,T5,T11
0	-	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	722	case (state_q)
-2-:	734	if ((!scl_i))
-3-:	743	if (bit_ack)
-4-:	744	if (address_match)
-5-:	757	if (scl_i)
-6-:	760	if ((tcount_q == 16'b1))
-7-:	761	if ((!nack_addr_after_timeout_i))
-8-:	765	if (nack_transaction_q)
-9-:	773	if (stretch_addr)
-10-:	787	if (scl_i)
-11-:	791	if ((!scl_i))
-12-:	799	if ((tcount_q == 16'b1))
-13-:	805	if (nack_transaction_q)
-14-:	812	if (stretch_addr)
-15-:	819	if (rw_bit_q)
-16-:	830	if (stretch_tx)
-17-:	838	if (scl_i)
-18-:	842	if ((!scl_i))
-19-:	850	if ((tcount_q == 16'b1))
-20-:	851	if (bit_ack)
-21-:	862	if (scl_i)
-22-:	869	if ((!scl_i))
-23-:	871	if (host_ack)
-24-:	887	if (bit_ack)
-25-:	895	if (scl_i)
-26-:	898	if ((tcount_q == 16'b1))
-27-:	899	if (nack_transaction_q)
-28-:	901	if (stretch_rx)
-29-:	913	if (scl_i)
-30-:	917	if ((!scl_i))
-31-:	925	if ((tcount_q == 16'b1))
-32-:	934	if (nack_timeout)
-33-:	936	if ((!stretch_addr))
-34-:	945	if ((tcount_q == 16'b1))
-35-:	954	if (nack_timeout)
-36-:	956	if ((!stretch_addr))
-37-:	962	(rw_bit_q) ? 
-38-:	969	if (nack_timeout)
-39-:	971	if ((!stretch_tx))
-40-:	988	if ((tcount_q == 16'b1))
-41-:	1000	if ((nack_timeout || (sw_nack_i && (!can_auto_ack))))
-42-:	1002	if ((~stretch_rx))
-43-:	1011	if ((tcount_q == 16'b1))

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-	-40-	-41-	-42-	-43-	Status	Tests
Idle	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
AcquireStart	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T11
AcquireStart	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T11
AddrRead	-	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T11
AddrRead	-	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T26,T27,T28
AddrRead	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T11
AddrAckWait	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
AddrAckWait	-	-	-	0	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T11
AddrAckWait	-	-	-	0	1	0	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
AddrAckWait	-	-	-	0	1	0	0	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
AddrAckWait	-	-	-	0	1	0	0	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
AddrAckWait	-	-	-	0	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
AddrAckSetup	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T11
AddrAckSetup	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T11
AddrAckPulse	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T11
AddrAckPulse	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T11
AddrAckHold	-	-	-	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
AddrAckHold	-	-	-	-	-	-	-	-	-	-	1	0	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T21,T22,T23
AddrAckHold	-	-	-	-	-	-	-	-	-	-	1	0	0	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T18,T12
AddrAckHold	-	-	-	-	-	-	-	-	-	-	1	0	0	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T11
AddrAckHold	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
TransmitWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T18,T12
TransmitWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T18,T12
TransmitSetup	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T18,T12
TransmitSetup	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T18,T12
TransmitPulse	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T18,T12
TransmitPulse	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T18,T12
TransmitHold	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T18,T12
TransmitHold	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T18,T12
TransmitHold	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
TransmitAck	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T18,T12
TransmitAck	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T18,T12
TransmitAckPulse	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T18,T12
TransmitAckPulse	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T18,T12
TransmitAckPulse	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T18,T12
WaitForStop	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T18,T12
AcquireByte	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T11
AcquireByte	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T11
AcquireAckWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
AcquireAckWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
AcquireAckWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	0	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T11,T21
AcquireAckWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	0	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T11
AcquireAckWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
AcquireAckSetup	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T11
AcquireAckSetup	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T11
AcquireAckPulse	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T11
AcquireAckPulse	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T11
AcquireAckHold	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T11
AcquireAckHold	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
StretchAddrAck	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	Not Covered
StretchAddrAck	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	-	-	-	-	-	-	-	-	-	-	Not Covered
StretchAddrAck	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	-	-	-	-	-	-	-	-	-	-	Not Covered
StretchAddrAckSetup	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	Not Covered
StretchAddrAckSetup	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	Not Covered
StretchAddr	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Not Covered
StretchAddr	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	1	-	-	-	-	-	-	Not Covered
StretchAddr	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	0	-	-	-	-	-	-	Covered	T21,T22,T23
StretchAddr	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	-	-	-	-	-	-	-	Covered	T21,T22,T23
StretchTx	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	Not Covered
StretchTx	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	-	-	-	-	Covered	T5,T18,T12
StretchTx	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	-	-	-	-	Covered	T5,T18,T12
StretchTxSetup	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	Covered	T5,T18,T12
StretchTxSetup	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	Covered	T5,T18,T12
StretchAcqFull	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Not Covered
StretchAcqFull	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	-	Covered	T5,T11,T21
StretchAcqFull	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	-	Covered	T5,T11,T21
StretchAcqSetup	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	Covered	T5,T11,T21
StretchAcqSetup	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	Covered	T5,T11,T21
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered

	LineNo.	Expression
-1-:	1028	if (((!target_idle) && (!target_enable_i)))
-2-:	1038	if (start_det)
-3-:	1040	if (stop_det)

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Not Covered
0	1	-	Covered	T4,T5,T11
0	0	1	Covered	T4,T5,T11
0	0	0	Covered	T1,T2,T3

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

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

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

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

---

Assert Coverage for Module : i2c_target_fsm

	Total	Attempted	Percent	Succeeded/Matched	Percent
Assertions	3	3	100.00	3	100.00
Cover properties	0	0		0
Cover sequences	0	0		0
Total	3	3	100.00	3	100.00

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
AcqDepthRdCheck_A	432744924	3874906	0	0
AcqFifoDeepEnough_A	432744924	432568434	0	0
SclOutputGlitch_A	432744924	61945	0	0

AcqDepthRdCheck_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	432744924	3874906	0	0
T5	47097	927	0	0
T6	474288	0	0	0
T7	44003	0	0	0
T8	7529	0	0	0
T9	1014	0	0	0
T10	78424	0	0	0
T11	905098	0	0	0
T12	0	2592	0	0
T18	993164	70482	0	0
T26	0	275	0	0
T29	0	71442	0	0
T30	0	18028	0	0
T31	0	37500	0	0
T32	0	898	0	0
T33	0	6793	0	0
T34	0	446	0	0
T35	406919	0	0	0
T36	362225	0	0	0

AcqFifoDeepEnough_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	432744924	432568434	0	0
T1	9263	9165	0	0
T2	92569	92483	0	0
T3	159554	159373	0	0
T4	352595	352518	0	0
T5	47097	47008	0	0
T6	474288	474218	0	0
T7	44003	43950	0	0
T8	7529	7107	0	0
T9	1014	956	0	0
T10	78424	78356	0	0

SclOutputGlitch_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	432744924	61945	0	0
T5	47097	20	0	0
T6	474288	0	0	0
T7	44003	0	0	0
T8	7529	0	0	0
T9	1014	0	0	0
T10	78424	0	0	0
T11	905098	91	0	0
T12	0	106	0	0
T18	993164	215	0	0
T21	0	556	0	0
T29	0	315	0	0
T30	0	216	0	0
T31	0	170	0	0
T32	0	26	0	0
T33	0	94	0	0
T35	406919	0	0	0
T36	362225	0	0	0