Unified Coverage Report :: Module :: i2c_target_fsm

Module : i2c_target_fsm

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
83.72	87.46	73.33		81.11	76.69	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	83.72	87.46	73.33		81.11	76.69	100.00

---

Module Instance : tb.dut.i2c_core.u_i2c_target_fsm

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
83.72	87.46	73.33		81.11	76.69	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
83.72	87.46	73.33		81.11	76.69	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
90.07	97.35	71.29			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		335	293	87.46
ALWAYS	127	8	7	87.50
ALWAYS	141	3	3	100.00
ALWAYS	151	6	6	100.00
ALWAYS	162	5	5	100.00
CONT_ASSIGN	172	1	1	100.00
CONT_ASSIGN	173	1	1	100.00
CONT_ASSIGN	174	1	1	100.00
CONT_ASSIGN	175	1	1	100.00
ALWAYS	179	3	3	100.00
ALWAYS	188	3	3	100.00
ALWAYS	197	7	7	100.00
CONT_ASSIGN	209	1	1	100.00
ALWAYS	213	9	9	100.00
CONT_ASSIGN	228	1	1	100.00
CONT_ASSIGN	230	1	1	100.00
CONT_ASSIGN	232	1	1	100.00
ALWAYS	236	7	7	100.00
ALWAYS	247	5	5	100.00
CONT_ASSIGN	264	1	1	100.00
CONT_ASSIGN	267	1	1	100.00
CONT_ASSIGN	268	1	1	100.00
ALWAYS	299	4	4	100.00
CONT_ASSIGN	316	1	1	100.00
CONT_ASSIGN	320	1	1	100.00
CONT_ASSIGN	324	1	1	100.00
ALWAYS	328	130	110	84.62
CONT_ASSIGN	624	1	1	100.00
CONT_ASSIGN	625	1	1	100.00
CONT_ASSIGN	629	1	1	100.00
CONT_ASSIGN	643	1	1	100.00
CONT_ASSIGN	648	1	1	100.00
ALWAYS	652	117	96	82.05
ALWAYS	983	3	3	100.00
ALWAYS	992	3	3	100.00
CONT_ASSIGN	999	1	1	100.00
CONT_ASSIGN	1000	1	1	100.00
CONT_ASSIGN	1003	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
127	1	1
128	1	1
129	1	1
130	1	1
131	1	1
132	0	1
135	1	1
136	1	1
			MISSING_ELSE
141	1	1
142	1	1
144	1	1
151	1	1
152	1	1
153	1	1
154	1	1
155	1	1
156	1	1
			MISSING_ELSE
162	1	1
163	1	1
164	1	1
166	1	1
168	1	1
172	1	1
173	1	1
174	1	1
175	1	1
179	1	1
180	1	1
182	1	1
188	1	1
189	1	1
191	1	1
197	1	1
198	1	1
199	1	1
200	1	1
202	1	1
203	1	1
204	1	1
209	1	1
213	1	1
214	1	1
215	1	1
216	1	1
217	1	1
220	2	2
221	1	1
223	1	1
228	1	1
230	1	1
232	1	1
236	1	1
237	1	1
238	1	1
239	1	1
240	1	1
241	2	2
			MISSING_ELSE
			MISSING_ELSE
247	1	1
248	1	1
249	1	1
250	2	2
			MISSING_ELSE
			MISSING_ELSE
264	1	1
267	1	1
268	1	1
299	1	1
300	1	1
301	1	1
302	1	1
			MISSING_ELSE
316	1	1
320	1	1
324	1	1
328	1	1
329	1	1
330	1	1
331	1	1
332	1	1
333	1	1
334	1	1
335	1	1
336	1	1
337	1	1
338	1	1
339	1	1
340	1	1
341	1	1
342	1	1
343	1	1
344	1	1
345	1	1
347	1	1
352	1	1
353	1	1
354	1	1
355	1	1
356	1	1
357	1	1
366	1	1
367	1	1
368	1	1
372	1	1
373	1	1
375	1	1
376	1	1
377	1	1
378	1	1
			MISSING_ELSE
			MISSING_ELSE
384	1	1
386	1	1
389	0	1
			MISSING_ELSE
394	1	1
395	1	1
399	1	1
400	1	1
404	1	1
405	1	1
408	1	1
409	1	1
413	1	1
415	1	1
416	1	1
			MISSING_ELSE
419	1	1
420	1	1
422	1	1
			==> MISSING_ELSE
428	1	1
432	1	1
433	1	1
437	1	1
440	1	1
444	1	1
447	1	1
451	1	1
454	1	1
455	1	1
457	1	1
			MISSING_ELSE
462	1	1
463	1	1
464	1	1
468	1	1
472	1	1
473	1	1
476	0	1
			MISSING_ELSE
481	1	1
482	1	1
486	1	1
487	1	1
491	1	1
492	1	1
494	1	1
495	1	1
496	1	1
497	1	1
			==> MISSING_ELSE
503	0	1
504	0	1
505	0	1
507	0	1
508	0	1
512	0	1
513	0	1
			==> MISSING_ELSE
519	0	1
520	0	1
521	0	1
526	1	1
527	1	1
528	1	1
530	1	1
531	0	1
535	0	1
536	0	1
537	1	1
538	1	1
539	1	1
540	1	1
542	1	1
			MISSING_ELSE
548	1	1
549	1	1
550	1	1
552	1	1
556	0	1
			MISSING_ELSE
561	1	1
562	1	1
563	1	1
567	1	1
568	1	1
569	1	1
570	1	1
573	1	1
574	0	1
575	0	1
576	0	1
			MISSING_ELSE
582	1	1
583	1	1
584	1	1
605	1	1
606	1	1
607	1	1
612	1	1
613	1	1
614	0	1
616	1	1
618	1	1
619	1	1
620	1	1
			MISSING_ELSE
624	1	1
625	1	1
629	1	1
643	1	1
648	1	1
652	1	1
653	1	1
654	1	1
655	1	1
656	1	1
658	1	1
670	1	1
671	1	1
672	1	1
			MISSING_ELSE
679	1	1
680	1	1
681	1	1
683	1	1
684	1	1
687	1	1
			MISSING_ELSE
693	1	1
695	0	1
696	1	1
697	1	1
699	1	1
701	0	1
708	0	1
709	0	1
712	0	1
716	0	1
			==> MISSING_ELSE
723	2	2
			MISSING_ELSE
727	1	1
728	1	1
729	1	1
730	1	1
			MISSING_ELSE
735	1	1
741	1	1
747	0	1
748	1	1
754	1	1
755	1	1
757	1	1
760	1	1
			==> MISSING_ELSE
766	1	1
767	1	1
769	1	1
774	2	2
			MISSING_ELSE
778	1	1
779	1	1
780	1	1
781	1	1
			MISSING_ELSE
786	1	1
787	1	1
788	1	1
790	1	1
791	1	1
792	1	1
			==> MISSING_ELSE
798	1	1
799	1	1
			MISSING_ELSE
805	1	1
807	1	1
808	1	1
811	1	1
			MISSING_ELSE
819	1	1
823	1	1
824	1	1
825	1	1
826	1	1
			MISSING_ELSE
831	1	1
833	0	1
834	1	1
835	1	1
836	0	1
837	1	1
841	1	1
843	1	1
			==> MISSING_ELSE
849	2	2
			MISSING_ELSE
853	1	1
854	1	1
855	1	1
856	1	1
			MISSING_ELSE
861	1	1
862	1	1
			==> MISSING_ELSE
870	0	1
871	0	1
872	0	1
873	0	1
874	0	1
875	0	1
			==> MISSING_ELSE
881	0	1
882	0	1
			==> MISSING_ELSE
890	1	1
891	0	1
892	1	1
898	1	1
			MISSING_ELSE
904	1	1
905	1	1
906	0	1
907	1	1
914	1	1
915	1	1
916	1	1
919	1	1
			MISSING_ELSE
924	1	1
925	1	1
			MISSING_ELSE
936	1	1
937	0	1
938	1	1
939	1	1
940	1	1
941	1	1
			MISSING_ELSE
947	1	1
948	1	1
			MISSING_ELSE
964	1	1
973	0	1
974	1	1
975	1	1
976	1	1
977	1	1
			MISSING_ELSE
983	1	1
984	1	1
986	1	1
992	1	1
993	1	1
995	1	1
999	1	1
1000	1	1
1003	1	1

---

Cond Coverage for Module : i2c_target_fsm

	Total	Covered	Percent
Conditions	120	88	73.33
Logical	120	88	73.33
Non-Logical	0	0
Event	0	0

 LINE       155
 EXPRESSION (start_detect_i && target_idle_o)
             -------1------    ------2------

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

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

-1-	-2-	Status	Tests
0	1	Covered	T1,T7,T8
1	0	Not Covered
1	1	Covered	T1,T7,T8

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

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

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

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

 LINE       217
 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       220
 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	T1,T3,T4

 LINE       228
 EXPRESSION (((input_byte[7:1] & target_mask0_i) == target_address0_i) && (target_mask0_i != '0))
             ----------------------------1----------------------------    -----------2----------

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

 LINE       228
 SUB-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       228
 SUB-EXPRESSION (target_mask0_i != '0)
                -----------1----------

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

 LINE       230
 EXPRESSION (((input_byte[7:1] & target_mask1_i) == target_address1_i) && (target_mask1_i != '0))
             ----------------------------1----------------------------    -----------2----------

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

 LINE       230
 SUB-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       230
 SUB-EXPRESSION (target_mask1_i != '0)
                -----------1----------

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

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

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

 LINE       240
 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       249
 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       301
 EXPRESSION (bit_ack && address_match)
             ---1---    ------2------

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

 LINE       320
 EXPRESSION (target_enable_i & xfer_for_us_q & rw_bit_q & stop_detect_i & ((!expect_stop)))
             -------1-------   ------2------   ----3---   ------4------   --------5-------

-1-	-2-	-3-	-4-	-5-	Status	Tests
0	1	1	1	1	Not Covered
1	0	1	1	1	Covered	T11,T12,T13
1	1	0	1	1	Covered	T1,T3,T4
1	1	1	0	1	Covered	T1,T3,T6
1	1	1	1	0	Covered	T1,T3,T6
1	1	1	1	1	Covered	T14,T15,T16

 LINE       324
 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       408
 EXPRESSION (tcount_q == 16'b1)
            ---------1---------

-1-	Status	Tests
0	Not Covered
1	Covered	T1,T3,T4

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

-1-	Status	Tests
0	Not Covered
1	Covered	T1,T3,T4

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

-1-	-2-	Status	Tests
0	0	Covered	T1,T4,T7
0	1	Not Covered
1	0	Not Covered

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

-1-	-2-	Status	Tests
0	1	Covered	T1,T7,T8
1	0	Not Covered
1	1	Not Covered

 LINE       605
 EXPRESSION (target_enable_i && (stop_detect_i || bus_timeout_i))
             -------1-------    ----------------2---------------

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

 LINE       605
 SUB-EXPRESSION (stop_detect_i || bus_timeout_i)
                 ------1------    ------2------

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

 LINE       607
 EXPRESSION (bus_timeout_i && rw_bit_q)
             ------1------    ----2---

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

 LINE       613
 EXPRESSION (nack_transaction_q || bus_timeout_i)
             ---------1--------    ------2------

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

 LINE       618
 EXPRESSION (target_enable_i && start_detect_i)
             -------1-------    -------2------

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

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

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T1,T7,T8
1	0	Covered	T4,T17,T18

 LINE       629
 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       643
 EXPRESSION (((!tx_fifo_rvalid_i)) || unhandled_tx_stretch_event_i || (acq_fifo_depth_i > 9'(1'b1)))
             ----------1----------    --------------2-------------    --------------3--------------

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

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

-1-	Status	Tests
0	Not Covered
1	Covered	T1,T3,T4

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

-1-	Status	Tests
0	Not Covered
1	Covered	T1,T3,T4

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

-1-	Status	Tests
0	Not Covered
1	Covered	T1,T3,T6

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

-1-	Status	Tests
0	Not Covered
1	Covered	T1,T3,T4

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

-1-	Status	Tests
0	Not Covered
1	Covered	T1,T3,T4

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

-1-	Status	Tests
0	Not Covered
1	Not Covered

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

-1-	Status	Tests
0	Covered	T4,T17,T18
1	Not Covered

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

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

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

-1-	-2-	Status	Tests
0	0	Covered	T1,T4,T7
0	1	Not Covered
1	0	Not Covered

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

-1-	-2-	Status	Tests
0	1	Covered	T1,T7,T8
1	0	Not Covered
1	1	Not Covered

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

-1-	Status	Tests
0	Covered	T1,T4,T7
1	Covered	T1,T4,T7

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

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

 LINE       974
 EXPRESSION (target_enable_i && start_detect_i)
             -------1-------    -------2------

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

 LINE       976
 EXPRESSION (stop_detect_i || bus_timeout_i)
             ------1------    ------2------

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

---

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	854	Covered	T1,T3,T4
AcquireAckPulse	849	Covered	T1,T3,T4
AcquireAckSetup	843	Covered	T1,T3,T4
AcquireAckWait	824	Covered	T1,T3,T4
AcquireByte	760	Covered	T1,T3,T4
AcquireStart	975	Covered	T1,T3,T4
AddrAckHold	728	Covered	T1,T3,T4
AddrAckPulse	723	Covered	T1,T3,T4
AddrAckSetup	699	Covered	T1,T3,T4
AddrAckWait	681	Covered	T1,T3,T4
AddrRead	671	Covered	T1,T3,T4
Idle	973	Covered	T1,T2,T3
StretchAcqFull	841	Covered	T1,T4,T7
StretchAcqSetup	939	Covered	T1,T4,T7
StretchAddr	754	Covered	T4,T17,T18
StretchAddrAck	712	Not Covered
StretchAddrAckSetup	873	Not Covered
StretchTx	767	Covered	T1,T3,T6
StretchTxSetup	914	Covered	T1,T3,T6
TransmitAck	788	Covered	T1,T3,T6
TransmitAckPulse	799	Covered	T1,T3,T6
TransmitHold	779	Covered	T1,T3,T6
TransmitPulse	774	Covered	T1,T3,T6
TransmitSetup	769	Covered	T1,T3,T6
TransmitWait	757	Covered	T1,T3,T6
WaitForStop	687	Covered	T1,T3,T6

transitions	Line No.	Covered	Tests
AcquireAckHold->AcquireByte	862	Covered	T1,T3,T4
AcquireAckHold->AcquireStart	975	Covered	T19,T20
AcquireAckHold->Idle	973	Covered	T19,T20
AcquireAckPulse->AcquireAckHold	854	Covered	T1,T3,T4
AcquireAckPulse->AcquireStart	975	Covered	T19,T20
AcquireAckPulse->Idle	973	Covered	T19,T20
AcquireAckSetup->AcquireAckPulse	849	Covered	T1,T3,T4
AcquireAckSetup->AcquireStart	975	Covered	T19,T20
AcquireAckSetup->Idle	973	Covered	T19,T20
AcquireAckWait->AcquireAckSetup	843	Covered	T1,T3,T4
AcquireAckWait->AcquireStart	975	Covered	T19,T20
AcquireAckWait->Idle	973	Covered	T19,T20
AcquireAckWait->StretchAcqFull	841	Covered	T1,T4,T7
AcquireAckWait->WaitForStop	833	Not Covered
AcquireByte->AcquireAckWait	824	Covered	T1,T3,T4
AcquireByte->AcquireStart	975	Covered	T1,T3,T4
AcquireByte->Idle	973	Covered	T1,T3,T4
AcquireStart->AddrRead	671	Covered	T1,T3,T4
AcquireStart->Idle	973	Covered	T19,T20
AddrAckHold->AcquireByte	760	Covered	T1,T3,T4
AddrAckHold->AcquireStart	975	Covered	T19,T20
AddrAckHold->Idle	973	Covered	T19,T20
AddrAckHold->StretchAddr	754	Covered	T4,T17,T18
AddrAckHold->TransmitWait	757	Covered	T1,T3,T6
AddrAckHold->WaitForStop	747	Not Covered
AddrAckPulse->AcquireStart	975	Covered	T19,T20
AddrAckPulse->AddrAckHold	728	Covered	T1,T3,T4
AddrAckPulse->Idle	973	Covered	T19,T20
AddrAckSetup->AcquireStart	975	Covered	T19,T20
AddrAckSetup->AddrAckPulse	723	Covered	T1,T3,T4
AddrAckSetup->Idle	973	Covered	T19,T20
AddrAckWait->AcquireStart	975	Covered	T19,T20
AddrAckWait->AddrAckSetup	699	Covered	T1,T3,T4
AddrAckWait->Idle	973	Covered	T19,T20
AddrAckWait->StretchAddrAck	712	Not Covered
AddrAckWait->WaitForStop	695	Not Covered
AddrRead->AcquireStart	975	Covered	T21,T22,T23
AddrRead->AddrAckWait	681	Covered	T1,T3,T4
AddrRead->Idle	973	Covered	T24,T25,T11
AddrRead->WaitForStop	687	Covered	T9,T26,T27
Idle->AcquireStart	975	Covered	T1,T3,T4
StretchAcqFull->AcquireStart	975	Covered	T19,T20
StretchAcqFull->Idle	973	Covered	T19,T20
StretchAcqFull->StretchAcqSetup	939	Covered	T1,T4,T7
StretchAcqFull->WaitForStop	937	Not Covered
StretchAcqSetup->AcquireAckSetup	948	Covered	T1,T4,T7
StretchAcqSetup->AcquireStart	975	Not Covered
StretchAcqSetup->Idle	973	Not Covered
StretchAddr->AcquireByte	898	Covered	T4,T17,T18
StretchAddr->AcquireStart	975	Covered	T19,T20
StretchAddr->Idle	973	Covered	T19,T20
StretchAddr->StretchTx	898	Not Covered
StretchAddr->WaitForStop	891	Not Covered
StretchAddrAck->AcquireStart	975	Not Covered
StretchAddrAck->Idle	973	Not Covered
StretchAddrAck->StretchAddrAckSetup	873	Not Covered
StretchAddrAck->WaitForStop	871	Not Covered
StretchAddrAckSetup->AcquireStart	975	Not Covered
StretchAddrAckSetup->AddrAckSetup	882	Not Covered
StretchAddrAckSetup->Idle	973	Not Covered
StretchTx->AcquireStart	975	Covered	T19,T20
StretchTx->Idle	973	Covered	T19,T20
StretchTx->StretchTxSetup	914	Covered	T1,T3,T6
StretchTx->WaitForStop	906	Not Covered
StretchTxSetup->AcquireStart	975	Covered	T19,T20
StretchTxSetup->Idle	973	Covered	T19,T20
StretchTxSetup->TransmitSetup	925	Covered	T1,T3,T6
TransmitAck->AcquireStart	975	Covered	T19,T20
TransmitAck->Idle	973	Covered	T19,T20
TransmitAck->TransmitAckPulse	799	Covered	T1,T3,T6
TransmitAckPulse->AcquireStart	975	Covered	T19,T20
TransmitAckPulse->Idle	973	Covered	T19,T20
TransmitAckPulse->TransmitWait	808	Covered	T1,T3,T6
TransmitAckPulse->WaitForStop	811	Covered	T1,T3,T6
TransmitHold->AcquireStart	975	Covered	T19,T20
TransmitHold->Idle	973	Covered	T19,T20
TransmitHold->TransmitAck	788	Covered	T1,T3,T6
TransmitHold->TransmitSetup	792	Covered	T1,T3,T6
TransmitPulse->AcquireStart	975	Covered	T14,T15,T16
TransmitPulse->Idle	973	Covered	T14,T15,T16
TransmitPulse->TransmitHold	779	Covered	T1,T3,T6
TransmitSetup->AcquireStart	975	Covered	T19,T20
TransmitSetup->Idle	973	Covered	T19,T20
TransmitSetup->TransmitPulse	774	Covered	T1,T3,T6
TransmitWait->AcquireStart	975	Covered	T19,T20
TransmitWait->Idle	973	Covered	T19,T20
TransmitWait->StretchTx	767	Covered	T1,T3,T6
TransmitWait->TransmitSetup	769	Covered	T1,T3,T6
WaitForStop->AcquireStart	975	Covered	T1,T3,T6
WaitForStop->Idle	973	Covered	T1,T3,T6

---

Branch Coverage for Module : i2c_target_fsm

	Line No.	Total	Covered	Percent
Branches		163	125	76.69
IF	128	6	4	66.67
IF	141	2	2	100.00
IF	151	4	4	100.00
IF	162	3	3	100.00
IF	179	2	2	100.00
IF	188	2	2	100.00
IF	197	2	2	100.00
IF	213	5	5	100.00
IF	236	5	5	100.00
IF	247	4	4	100.00
IF	299	3	3	100.00
CASE	347	44	32	72.73
IF	605	4	3	75.00
CASE	658	69	47	68.12
IF	964	4	3	75.00
IF	983	2	2	100.00
IF	992	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-:	128	if (load_tcount)
-2-:	129	case (tcount_sel)
-3-:	135	if (target_enable_i)

Branches:

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

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

Branches:

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

	LineNo.	Expression
-1-:	151	if ((!rst_ni))
-2-:	153	if (actively_stretching)
-3-:	155	if ((start_detect_i && target_idle_o))

Branches:

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

	LineNo.	Expression
-1-:	162	if ((!rst_ni))
-2-:	164	if ((auto_ack_load_i && ack_ctrl_stretching))

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

	LineNo.	Expression
-1-:	213	if ((!rst_ni))
-2-:	215	if (start_detect_i)
-3-:	217	if ((scl_i_q && (!scl_i)))
-4-:	220	if ((input_byte_clr || bit_ack))

Branches:

-1-	-2-	-3-	-4-	Status	Tests
1	-	-	-	Covered	T1,T2,T3
0	1	-	-	Covered	T1,T2,T3
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-:	236	if ((!rst_ni))
-2-:	238	if (input_byte_clr)
-3-:	240	if (((!scl_i_q) && scl_i))
-4-:	241	if ((!bit_ack))

Branches:

-1-	-2-	-3-	-4-	Status	Tests
1	-	-	-	Covered	T1,T2,T3
0	1	-	-	Covered	T1,T3,T4
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-:	247	if ((!rst_ni))
-2-:	249	if (((!scl_i_q) && scl_i))
-3-:	250	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-:	299	if ((!rst_ni))
-2-:	301	if ((bit_ack && address_match))

Branches:

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

	LineNo.	Expression
-1-:	347	case (state_q)
-2-:	375	if (bit_ack)
-3-:	376	if (address_match)
-4-:	386	if (scl_i)
-5-:	408	if ((tcount_q == 16'b1))
-6-:	409	if (nack_transaction_q)
-7-:	413	if ((!stretch_addr))
-8-:	419	if (restart_det_q)
-9-:	455	if ((!scl_i))
-10-:	473	if (scl_i)
-11-:	494	if ((tcount_q == 16'b1))
-12-:	507	if (nack_timeout)
-13-:	530	if (nack_timeout)
-14-:	537	if ((!stretch_addr))
-15-:	539	if (restart_det_q)
-16-:	552	if (nack_timeout)
-17-:	573	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	T1,T3,T4
AddrRead	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T4
AddrRead	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T9,T26,T27
AddrRead	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T4
AddrAckWait	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
AddrAckWait	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T4
AddrAckSetup	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T4
AddrAckPulse	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T4
AddrAckHold	-	-	-	1	1	-	-	-	-	-	-	-	-	-	-	-	Not Covered
AddrAckHold	-	-	-	1	0	1	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T4
AddrAckHold	-	-	-	1	0	0	-	-	-	-	-	-	-	-	-	-	Covered	T4,T17,T18
AddrAckHold	-	-	-	1	-	-	1	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T4
AddrAckHold	-	-	-	1	-	-	0	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T4
AddrAckHold	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
TransmitWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T6
TransmitSetup	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T6
TransmitPulse	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T6
TransmitHold	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T6
TransmitAck	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T6
TransmitAckPulse	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T3,T6
TransmitAckPulse	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T3,T6
WaitForStop	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T6
AcquireByte	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T4
AcquireAckWait	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	Not Covered
AcquireAckWait	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T1,T3,T4
AcquireAckSetup	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T4
AcquireAckPulse	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T4
AcquireAckHold	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	Covered	T1,T3,T4
AcquireAckHold	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	Not Covered
StretchAddrAck	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	Not Covered
StretchAddrAck	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Not Covered
StretchAddrAckSetup	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
StretchAddr	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	Not Covered
StretchAddr	-	-	-	-	-	-	-	-	-	-	-	0	1	1	-	-	Covered	T4,T17,T18
StretchAddr	-	-	-	-	-	-	-	-	-	-	-	0	1	0	-	-	Covered	T4,T17,T28
StretchAddr	-	-	-	-	-	-	-	-	-	-	-	0	0	-	-	-	Covered	T4,T17,T18
StretchTx	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Not Covered
StretchTx	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	Covered	T1,T3,T6
StretchTxSetup	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T6
StretchAcqFull	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	Not Covered
StretchAcqFull	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	Covered	T1,T4,T7
StretchAcqSetup	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T4,T7
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered

	LineNo.	Expression
-1-:	605	if ((target_enable_i && (stop_detect_i || bus_timeout_i)))
-2-:	613	if ((nack_transaction_q || bus_timeout_i))
-3-:	618	if ((target_enable_i && start_detect_i))

Branches:

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

	LineNo.	Expression
-1-:	658	case (state_q)
-2-:	670	if ((!scl_i))
-3-:	679	if (bit_ack)
-4-:	680	if (address_match)
-5-:	693	if (scl_i)
-6-:	696	if ((tcount_q == 16'b1))
-7-:	697	if ((!nack_addr_after_timeout_i))
-8-:	701	if (nack_transaction_q)
-9-:	709	if (stretch_addr)
-10-:	723	if (scl_i)
-11-:	727	if ((!scl_i))
-12-:	735	if ((tcount_q == 16'b1))
-13-:	741	if (nack_transaction_q)
-14-:	748	if (stretch_addr)
-15-:	755	if (rw_bit_q)
-16-:	766	if (stretch_tx)
-17-:	774	if (scl_i)
-18-:	778	if ((!scl_i))
-19-:	786	if ((tcount_q == 16'b1))
-20-:	787	if (bit_ack)
-21-:	798	if (scl_i)
-22-:	805	if ((!scl_i))
-23-:	807	if (host_ack)
-24-:	823	if (bit_ack)
-25-:	831	if (scl_i)
-26-:	834	if ((tcount_q == 16'b1))
-27-:	835	if (nack_transaction_q)
-28-:	837	if (stretch_rx)
-29-:	849	if (scl_i)
-30-:	853	if ((!scl_i))
-31-:	861	if ((tcount_q == 16'b1))
-32-:	870	if (nack_timeout)
-33-:	872	if ((!stretch_addr))
-34-:	881	if ((tcount_q == 16'b1))
-35-:	890	if (nack_timeout)
-36-:	892	if ((!stretch_addr))
-37-:	898	(rw_bit_q) ? 
-38-:	905	if (nack_timeout)
-39-:	907	if ((!stretch_tx))
-40-:	924	if ((tcount_q == 16'b1))
-41-:	936	if ((nack_timeout || (sw_nack_i && (!can_auto_ack))))
-42-:	938	if ((~stretch_rx))
-43-:	947	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	T1,T3,T4
AcquireStart	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T4
AddrRead	-	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T4
AddrRead	-	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T9,T26,T27
AddrRead	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T4
AddrAckWait	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
AddrAckWait	-	-	-	0	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T4
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	T1,T3,T4
AddrAckSetup	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T4
AddrAckPulse	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T4
AddrAckPulse	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T4
AddrAckHold	-	-	-	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
AddrAckHold	-	-	-	-	-	-	-	-	-	-	1	0	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T17,T18
AddrAckHold	-	-	-	-	-	-	-	-	-	-	1	0	0	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T6
AddrAckHold	-	-	-	-	-	-	-	-	-	-	1	0	0	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T4
AddrAckHold	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
TransmitWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T6
TransmitWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T6
TransmitSetup	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T6
TransmitSetup	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T6
TransmitPulse	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T6
TransmitPulse	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T6
TransmitHold	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T6
TransmitHold	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T6
TransmitHold	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
TransmitAck	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T6
TransmitAck	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T6
TransmitAckPulse	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T6
TransmitAckPulse	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T6
TransmitAckPulse	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T6
WaitForStop	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T6
AcquireByte	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T4
AcquireByte	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T4
AcquireAckWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
AcquireAckWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
AcquireAckWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	0	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T4,T7
AcquireAckWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	0	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T4
AcquireAckWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
AcquireAckSetup	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T4
AcquireAckSetup	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T4
AcquireAckPulse	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T4
AcquireAckPulse	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T4
AcquireAckHold	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T3,T4
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	T4,T17,T18
StretchAddr	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	-	-	-	-	-	-	-	Covered	T4,T17,T18
StretchTx	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	Not Covered
StretchTx	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	-	-	-	-	Covered	T1,T3,T6
StretchTx	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	-	-	-	-	Covered	T1,T3,T6
StretchTxSetup	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	Covered	T1,T3,T6
StretchTxSetup	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	Covered	T1,T3,T6
StretchAcqFull	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Not Covered
StretchAcqFull	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	-	Covered	T1,T4,T7
StretchAcqFull	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	-	Covered	T1,T4,T7
StretchAcqSetup	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	Covered	T1,T4,T7
StretchAcqSetup	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	Covered	T1,T4,T7
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered

	LineNo.	Expression
-1-:	964	if (((!target_idle) && (!target_enable_i)))
-2-:	974	if ((target_enable_i && start_detect_i))
-3-:	976	if ((stop_detect_i || bus_timeout_i))

Branches:

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

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

Branches:

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

	LineNo.	Expression
-1-:	992	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	444530078	4150168	0	0
AcqFifoDeepEnough_A	444530078	444357700	0	0
SclOutputGlitch_A	444530078	62771	0	0

AcqDepthRdCheck_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444530078	4150168	0	0
T1	141744	1563	0	0
T2	145339	0	0	0
T3	151960	503	0	0
T4	140787	0	0	0
T5	2123	0	0	0
T6	969814	41133	0	0
T7	144106	602	0	0
T8	31528	264	0	0
T9	112915	41	0	0
T10	176633	0	0	0
T29	0	530	0	0
T30	0	432	0	0
T31	0	13542	0	0
T32	0	1463	0	0

AcqFifoDeepEnough_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444530078	444357700	0	0
T1	141744	141666	0	0
T2	145339	145233	0	0
T3	151960	151885	0	0
T4	140787	140781	0	0
T5	2123	2027	0	0
T6	969814	969725	0	0
T7	144106	144006	0	0
T8	31528	31468	0	0
T9	112915	112838	0	0
T10	176633	176563	0	0

SclOutputGlitch_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444530078	62771	0	0
T1	141744	98	0	0
T2	145339	0	0	0
T3	151960	48	0	0
T4	140787	109	0	0
T5	2123	0	0	0
T6	969814	145	0	0
T7	144106	106	0	0
T8	31528	19	0	0
T9	112915	12	0	0
T10	176633	0	0	0
T17	0	349	0	0
T18	0	177	0	0
T33	0	57	0	0