Unified Coverage Report :: Module :: spi_readcmd

Module : spi_readcmd

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
91.88	96.32	98.48		80.00	84.62	100.00

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

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.u_readcmd	91.88	96.32	98.48		80.00	84.62	100.00

---

Module Instance : tb.dut.u_readcmd

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
91.88	96.32	98.48		80.00	84.62	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
89.12	93.62	89.40		87.50	84.15	90.91

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
86.03	90.27	78.43	96.94		78.12	86.36	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
u_addr_latch_pulse	100.00	100.00	100.00			100.00
u_readbuffer	67.56	83.51	80.49			72.92	33.33
u_readsram	95.10	97.79	86.54		100.00	91.18	100.00

---

Since this is the module's only instance, the coverage report is the same as for the module.

Line Coverage for Module : spi_readcmd

	Line No.	Total	Covered	Percent
TOTAL		136	131	96.32
CONT_ASSIGN	183	1	1	100.00
CONT_ASSIGN	186	1	1	100.00
CONT_ASSIGN	189	1	1	100.00
CONT_ASSIGN	192	1	1	100.00
CONT_ASSIGN	333	1	1	100.00
CONT_ASSIGN	340	1	1	100.00
ALWAYS	353	4	4	100.00
ALWAYS	369	4	4	100.00
CONT_ASSIGN	378	1	1	100.00
ALWAYS	381	12	12	100.00
CONT_ASSIGN	404	1	1	100.00
CONT_ASSIGN	405	1	1	100.00
CONT_ASSIGN	408	1	1	100.00
CONT_ASSIGN	424	1	1	100.00
ALWAYS	427	3	3	100.00
ALWAYS	435	7	7	100.00
ALWAYS	456	6	6	100.00
CONT_ASSIGN	465	1	1	100.00
ALWAYS	469	12	12	100.00
CONT_ASSIGN	496	1	1	100.00
CONT_ASSIGN	497	1	1	100.00
CONT_ASSIGN	500	1	1	100.00
CONT_ASSIGN	501	1	1	100.00
ALWAYS	513	8	8	100.00
CONT_ASSIGN	529	1	1	100.00
ALWAYS	534	5	5	100.00
ALWAYS	552	4	4	100.00
CONT_ASSIGN	565	1	1	100.00
ALWAYS	575	3	3	100.00
ALWAYS	583	48	43	89.58
CONT_ASSIGN	720	1	1	100.00
CONT_ASSIGN	721	1	1	100.00

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

Line No.	Covered	Statements
183	1	1
186	1	1
189	1	1
192	1	1
333	1	1
340	1	1
353	1	1
354	1	1
355	1	1
356	1	1
			MISSING_ELSE
369	1	1
370	1	1
371	1	1
374	1	1
			MISSING_ELSE
378	1	1
381	1	1
382	1	1
384	1	1
386	1	1
387	1	1
390	1	1
391	1	1
393	1	1
394	1	1
395	1	1
397	1	1
398	1	1
			MISSING_ELSE
404	1	1
405	1	1
408	1	1
424	1	1
427	1	1
428	1	1
430	1	1
435	1	1
436	1	1
443	1	1
445	1	1
446	1	1
447	1	1
449	1	1
			==> MISSING_ELSE
456	1	1
457	1	1
458	1	1
460	1	1
461	1	1
462	1	1
			MISSING_ELSE
465	1	1
469	1	1
470	1	1
471	1	1
472	1	1
473	1	1
474	1	1
475	1	1
478	1	1
479	1	1
480	1	1
481	1	1
482	1	1
			MISSING_ELSE
496	1	1
497	1	1
500	1	1
501	1	1
513	2	2
514	1	1
516	1	1
517	1	1
520	1	1
521	1	1
523	1	1
			MISSING_ELSE
529	1	1
534	1	1
535	1	1
536	1	1
538	1	1
539	1	1
552	1	1
553	1	1
554	1	1
560	1	1
			MISSING_ELSE
565	1	1
575	1	1
576	1	1
578	1	1
583	1	1
585	1	1
588	1	1
589	1	1
590	1	1
591	1	1
593	1	1
594	1	1
596	1	1
597	1	1
599	1	1
601	1	1
602	1	1
604	1	1
606	1	1
609	1	1
611	1	1
			MISSING_ELSE
616	1	1
618	1	1
619	1	1
			MISSING_ELSE
622	1	1
625	1	1
631	1	1
634	1	1
635	1	1
636	1	1
641	1	1
643	1	1
648	0	1
			MISSING_ELSE
659	0	1
660	0	1
662	0	1
			==> MISSING_ELSE
667	1	1
668	1	1
669	1	1
670	1	1
			MISSING_ELSE
675	1	1
679	1	1
684	1	1
685	1	1
686	1	1
687	1	1
691	1	1
693	1	1
696	1	1
699	1	1
700	1	1
			MISSING_ELSE
705	0	1
720	1	1
721	1	1

---

Cond Coverage for Module : spi_readcmd

	Total	Covered	Percent
Conditions	66	65	98.48
Logical	66	65	98.48
Non-Logical	0	0
Event	0	0

 LINE       333
 EXPRESSION (sel_dp_i == DpReadSFDP)
            ------------1-----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T46,T95,T96

 LINE       340
 EXPRESSION (spi_mode_i == FlashMode)
            ------------1------------

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

 LINE       371
 EXPRESSION ((main_st == MainOutput) && (sel_dp_i == DpReadCmd) && addr_latch_en && ( ! (mailbox_en_i && addr_q_in_mailbox) ) && spid_in_flashmode)
             -----------1-----------    -----------2-----------    ------3------    --------------------4--------------------    --------5--------

-1-	-2-	-3-	-4-	-5-	Status	Tests
0	1	1	1	1	Covered	T2,T7,T88
1	0	1	1	1	Not Covered
1	1	0	1	1	Covered	T2,T7,T88
1	1	1	0	1	Covered	T89,T90,T91
1	1	1	1	0	Covered	T4,T9,T10
1	1	1	1	1	Covered	T2,T7,T88

 LINE       371
 SUB-EXPRESSION (main_st == MainOutput)
                -----------1-----------

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

 LINE       371
 SUB-EXPRESSION (sel_dp_i == DpReadCmd)
                -----------1-----------

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

 LINE       371
 SUB-EXPRESSION ( ! (mailbox_en_i && addr_q_in_mailbox) )
                    -----------------1-----------------

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

 LINE       371
 SUB-EXPRESSION (mailbox_en_i && addr_q_in_mailbox)
                 ------1-----    --------2--------

-1-	-2-	Status	Tests
0	1	Covered	T3,T12,T13
1	0	Covered	T4,T5,T6
1	1	Covered	T4,T5,T9

 LINE       391
 EXPRESSION (addr_shift_en && s2p_valid_i)
             ------1------    -----2-----

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

 LINE       404
 EXPRESSION (addr_cnt_d == 5'd2)
            ----------1---------

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

 LINE       405
 EXPRESSION (addr_cnt_d == 5'b1)
            ----------1---------

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

 LINE       408
 EXPRESSION (addr_cnt_d == 5'b0)
            ----------1---------

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

 LINE       443
 EXPRESSION ((cmdinfo_addr_mode == Addr4B) ? 5'd31 : 5'd23)
             --------------1--------------

-1-	Status	Tests
0	Covered	T2,T4,T5
1	Covered	T2,T4,T7

 LINE       443
 SUB-EXPRESSION (cmdinfo_addr_mode == Addr4B)
                --------------1--------------

-1-	Status	Tests
0	Covered	T2,T4,T5
1	Covered	T2,T4,T7

 LINE       445
 EXPRESSION (addr_cnt_q == '0)
            ---------1--------

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

 LINE       500
 EXPRESSION (mailbox_masked_addr_d == mailbox_addr_i)
            --------------------1--------------------

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

 LINE       501
 EXPRESSION (mailbox_masked_addr_q == mailbox_addr_i)
            --------------------1--------------------

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

 LINE       514
 EXPRESSION (sram_req && mailbox_en_i && cfg_intercept_en_mbx_i && addr_d_in_mailbox)
             ----1---    ------2-----    -----------3----------    --------4--------

-1-	-2-	-3-	-4-	Status	Tests
0	1	1	1	Covered	T49,T47,T53
1	0	1	1	Covered	T99,T100,T101
1	1	0	1	Covered	T4,T5,T9
1	1	1	0	Covered	T88,T53,T48
1	1	1	1	Covered	T49,T47,T53

 LINE       517
 EXPRESSION (mailbox_en_i && cfg_intercept_en_mbx_i && addr_d_in_mailbox && (bitcnt == 3'b0))
             ------1-----    -----------2----------    --------3--------    --------4-------

-1-	-2-	-3-	-4-	Status	Tests
0	1	1	1	Covered	T99,T100,T101
1	0	1	1	Covered	T4,T5,T9
1	1	0	1	Covered	T6,T8,T88
1	1	1	0	Covered	T49,T47,T53
1	1	1	1	Covered	T49,T47,T53

 LINE       517
 SUB-EXPRESSION (bitcnt == 3'b0)
                --------1-------

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

 LINE       521
 EXPRESSION (((!addr_d_in_mailbox)) && (bitcnt == 3'b0))
             -----------1----------    --------2-------

-1-	-2-	Status	Tests
0	1	Covered	T4,T5,T9
1	0	Covered	T2,T4,T7
1	1	Covered	T1,T2,T4

 LINE       521
 SUB-EXPRESSION (bitcnt == 3'b0)
                --------1-------

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

 LINE       565
 EXPRESSION ((main_st == MainOutput) && (addr_q[9:0] == '1))
             -----------1-----------    ---------2---------

-1-	-2-	Status	Tests
0	1	Covered	T2,T7,T88
1	0	Covered	T2,T4,T5
1	1	Covered	T2,T4,T7

 LINE       565
 SUB-EXPRESSION (main_st == MainOutput)
                -----------1-----------

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

 LINE       565
 SUB-EXPRESSION (addr_q[9:0] == '1)
                ---------1---------

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

 LINE       691
 EXPRESSION (bitcnt == 3'b0)
            --------1-------

-1-	Status	Tests
0	Covered	T2,T4,T5
1	Covered	T2,T4,T5

 LINE       734
 EXPRESSION (sel_dp_i == DpReadSFDP)
            ------------1-----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T46,T95,T96

---

FSM Coverage for Module : spi_readcmd

Summary for FSM :: main_st

	Total	Covered	Percent
States	5	4	80.00	(Not included in score)
Transitions	5	4	80.00
Sequences	0	0

State, Transition and Sequence Details for FSM :: main_st

---

states	Line No.	Covered	Tests
MainAddress	609	Covered	T2,T4,T5
MainDummy	641	Covered	T2,T4,T5
MainError	652	Not Covered
MainMByte	648	Excluded
MainOutput	634	Covered	T2,T4,T5
MainReset	605	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests
MainAddress->MainDummy	641	Covered	T2,T4,T5
MainAddress->MainError	652	Not Covered
MainAddress->MainMByte	648	Excluded
MainAddress->MainOutput	634	Covered	T4,T74,T97
MainDummy->MainOutput	668	Covered	T2,T4,T5
MainMByte->MainDummy	660	Excluded
MainReset->MainAddress	609	Covered	T2,T4,T5

---

Branch Coverage for Module : spi_readcmd

	Line No.	Total	Covered	Percent
Branches		65	55	84.62
IF	353	3	3	100.00
IF	369	3	3	100.00
IF	384	5	5	100.00
IF	427	2	2	100.00
IF	436	5	4	80.00
IF	456	4	4	100.00
IF	469	10	8	80.00
IF	513	5	5	100.00
IF	534	2	2	100.00
IF	552	3	3	100.00
IF	575	2	2	100.00
CASE	604	21	14	66.67

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

	LineNo.	Expression
-1-:	353	if ((!rst_ni))
-2-:	355	if (addr_latch_en)

Branches:

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

	LineNo.	Expression
-1-:	369	if ((!sys_rst_ni))
-2-:	371	if ((((((main_st == MainOutput) && (sel_dp_i == DpReadCmd)) && addr_latch_en) && (!(mailbox_en_i && addr_q_in_mailbox))) && spid_in_flashmode))

Branches:

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

	LineNo.	Expression
-1-:	384	if (addr_ready_in_word)
-2-:	387	if (addr_ready_in_halfword)
-3-:	391	if ((addr_shift_en && s2p_valid_i))
-4-:	395	if (addr_inc)

Branches:

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

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

Branches:

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

	LineNo.	Expression
-1-:	436	if (addr_cnt_set)
-2-:	443	((cmdinfo_addr_mode == Addr4B)) ? 
-3-:	445	if ((addr_cnt_q == '0))
-4-:	447	if (addr_shift_en)

Branches:

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

	LineNo.	Expression
-1-:	456	if ((!rst_ni))
-2-:	458	if (load_dummycnt)
-3-:	461	if ((!dummycnt_eq_zero))

Branches:

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

	LineNo.	Expression
-1-:	469	if ((!rst_ni))
-2-:	471	if (bitcnt_update)
-3-:	472	case (cmd_info_i.payload_en)
-4-:	478	if (bitcnt_dec)
-5-:	479	case (cmd_info_i.payload_en)

Branches:

-1-	-2-	-3-	-4-	-5-	Status	Tests
1	-	-	-	-	Covered	T1,T2,T3
0	1	4'b0010	-	-	Covered	T2,T4,T7
0	1	4'b0011	-	-	Covered	T2,T4,T7
0	1	4'b1111	-	-	Covered	T2,T5,T7
0	1	default	-	-	Not Covered
0	0	-	1	4'b0010	Covered	T2,T4,T7
0	0	-	1	4'b0011	Covered	T2,T4,T7
0	0	-	1	4'b1111	Covered	T2,T5,T7
0	0	-	1	default	Not Covered
0	0	-	0	-	Covered	T1,T2,T4

	LineNo.	Expression
-1-:	513	if ((!rst_ni))
-2-:	514	if ((((sram_req && mailbox_en_i) && cfg_intercept_en_mbx_i) && addr_d_in_mailbox))
-3-:	517	if ((((mailbox_en_i && cfg_intercept_en_mbx_i) && addr_d_in_mailbox) && (bitcnt == 3'b0)))
-4-:	521	if (((!addr_d_in_mailbox) && (bitcnt == 3'b0)))

Branches:

-1-	-2-	-3-	-4-	Status	Tests
1	-	-	-	Covered	T1,T2,T3
0	1	-	-	Covered	T49,T47,T53
0	0	1	-	Covered	T49,T47,T53
0	0	0	1	Covered	T1,T2,T4
0	0	0	0	Covered	T2,T4,T5

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

Branches:

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

	LineNo.	Expression
-1-:	552	if ((!sys_rst_ni))
-2-:	554	if (readbuf_flip)

Branches:

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

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

Branches:

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

	LineNo.	Expression
-1-:	604	case (main_st)
-2-:	606	if ((sel_dp_i inside {DpReadCmd, DpReadSFDP}))
-3-:	618	if (addr_ready_in_word)
-4-:	622	if (addr_latched)
-5-:	631	case ({cmd_info_i.mbyte_en, cmd_info_i.dummy_en})
-6-:	659	if (s2p_valid_i)
-7-:	667	if (dummycnt_eq_zero)
-8-:	684	case (cmd_info_i.payload_en)
-9-:	691	if ((bitcnt == 3'b0))

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	Status	Tests
MainReset	1	-	-	-	-	-	-	-	Covered	T2,T4,T5
MainReset	0	-	-	-	-	-	-	-	Covered	T1,T2,T3
MainAddress	-	1	-	-	-	-	-	-	Covered	T2,T4,T5
MainAddress	-	0	-	-	-	-	-	-	Covered	T2,T4,T5
MainAddress	-	-	1	2'b00	-	-	-	-	Covered	T4,T74,T97
MainAddress	-	-	1	2'b01	-	-	-	-	Covered	T2,T4,T5
MainAddress	-	-	1	2'b1z	-	-	-	-	Not Covered
MainAddress	-	-	1	default	-	-	-	-	Not Covered
MainAddress	-	-	0	-	-	-	-	-	Covered	T2,T4,T5
MainMByte	-	-	-	-	1	-	-	-	Not Covered
MainMByte	-	-	-	-	0	-	-	-	Not Covered
MainDummy	-	-	-	-	-	1	-	-	Covered	T2,T4,T5
MainDummy	-	-	-	-	-	0	-	-	Covered	T2,T4,T5
MainOutput	-	-	-	-	-	-	4'b0010	-	Covered	T2,T4,T7
MainOutput	-	-	-	-	-	-	4'b0011	-	Covered	T2,T4,T7
MainOutput	-	-	-	-	-	-	4'b1111	-	Covered	T2,T5,T7
MainOutput	-	-	-	-	-	-	default	-	Not Covered
MainOutput	-	-	-	-	-	-	-	1	Covered	T2,T4,T5
MainOutput	-	-	-	-	-	-	-	0	Covered	T2,T4,T5
MainError	-	-	-	-	-	-	-	-	Not Covered
default	-	-	-	-	-	-	-	-	Not Covered

---

Assert Coverage for Module : spi_readcmd

	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
AddrIncNotAssertInAddressState_A	38957083	1107910	0	0
MailboxSizeMatch_M	38957083	25211660	0	0
ValidCmdConfig_A	38957083	52789	0	0

AddrIncNotAssertInAddressState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	38957083	1107910	0	0
T2	10305	3233	0	0
T3	3176	0	0	0
T4	219753	10372	0	0
T5	88	4	0	0
T6	172672	0	0	0
T7	12488	3296	0	0
T9	0	1690	0	0
T10	0	5358	0	0
T11	0	1044	0	0
T12	5782	0	0	0
T13	194446	0	0	0
T14	1205	0	0	0
T15	72	0	0	0
T46	0	2410	0	0
T70	0	2048	0	0
T74	0	11338	0	0

MailboxSizeMatch_M

Name	Attempts	Real Successes	Failures	Incomplete
Total	38957083	25211660	0	0
T1	25302	24176	0	0
T2	10305	9818	0	0
T3	3176	0	0	0
T4	219753	219610	0	0
T5	88	88	0	0
T6	172672	172672	0	0
T7	0	12379	0	0
T8	0	96	0	0
T9	0	70410	0	0
T10	0	15022	0	0
T11	0	157110	0	0
T12	5782	0	0	0
T13	194446	0	0	0
T14	1205	0	0	0
T15	72	0	0	0

ValidCmdConfig_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	38957083	52789	0	0
T2	10305	224	0	0
T3	3176	0	0	0
T4	219753	200	0	0
T5	88	46	0	0
T6	172672	0	0	0
T7	12488	224	0	0
T9	0	154	0	0
T10	0	46	0	0
T11	0	138	0	0
T12	5782	0	0	0
T13	194446	0	0	0
T14	1205	0	0	0
T15	72	0	0	0
T46	0	230	0	0
T70	0	138	0	0
T74	0	200	0	0