Unified Coverage Report :: Module :: tlul_cmd_intg_gen

Module : tlul_cmd_intg_gen

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00					100.00

Source File(s) :
/workspaces/lowrisc/opentitan/scratch/earlgrey_1_0_0_2024_08_20_RC0/chip_earlgrey_asic-sim-vcs/default/sim-vcs/../src/lowrisc_tlul_trans_intg_0.1/rtl/tlul_cmd_intg_gen.sv

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.top_earlgrey.u_rv_core_ibex.tl_adapter_host_i_ibex.u_cmd_intg_gen	87.50	75.00					100.00
tb.dut.top_earlgrey.u_rv_core_ibex.tl_adapter_host_d_ibex.u_cmd_intg_gen	100.00	100.00					100.00

---

Module Instance : tb.dut.top_earlgrey.u_rv_core_ibex.tl_adapter_host_i_ibex.u_cmd_intg_gen

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
87.50	75.00					100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
94.12	88.24					100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
87.26	90.91	69.23			88.89	100.00	tl_adapter_host_i_ibex

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
u_cmd_gen	100.00	100.00

---

Module Instance : tb.dut.top_earlgrey.u_rv_core_ibex.tl_adapter_host_d_ibex.u_cmd_intg_gen

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00					100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00					100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
90.91	91.30	82.35			90.00	100.00	tl_adapter_host_d_ibex

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
u_cmd_gen	100.00	100.00

Line Coverage for Module : tlul_cmd_intg_gen

	Line No.	Total	Covered	Percent
TOTAL		8	8	100.00
CONT_ASSIGN	20	1	1	100.00
CONT_ASSIGN	41	1	1	100.00
CONT_ASSIGN	42	1	1	100.00
ALWAYS	46	4	4	100.00
CONT_ASSIGN	54	1	1	100.00

19                        tl_h2d_cmd_intg_t cmd;
20         1/1            assign cmd = extract_h2d_cmd_intg(tl_i);
           Tests:       T1 T2 T3 
21                        logic [H2DCmdMaxWidth-1:0] unused_cmd_payload;
22                      
23                        logic [H2DCmdIntgWidth-1:0] cmd_intg;
24                        prim_secded_inv_64_57_enc u_cmd_gen (
25                          .data_i(H2DCmdMaxWidth'(cmd)),
26                          .data_o({cmd_intg, unused_cmd_payload})
27                        );
28                      
29                        logic [top_pkg::TL_DW-1:0] data_final;
30                        logic [DataIntgWidth-1:0] data_intg;
31                      
32                        if (EnableDataIntgGen) begin : gen_data_intg
33                          assign data_final = tl_i.a_data;
34                      
35                          logic [DataMaxWidth-1:0] unused_data;
36                          prim_secded_inv_39_32_enc u_data_gen (
37                            .data_i(DataMaxWidth'(data_final)),
38                            .data_o({data_intg, unused_data})
39                          );
40                        end else begin : gen_passthrough_data_intg
41         1/1              assign data_final = tl_i.a_data;
           Tests:       T1 T2 T3 
42         1/1              assign data_intg = tl_i.a_user.data_intg;
           Tests:       T1 T2 T3 
43                        end
44                      
45                        always_comb begin
46         1/1              tl_o = tl_i;
           Tests:       T1 T2 T3 
47         1/1              tl_o.a_data = data_final;
           Tests:       T1 T2 T3 
48         1/1              tl_o.a_user.cmd_intg = cmd_intg;
           Tests:       T1 T2 T3 
49         1/1              tl_o.a_user.data_intg = data_intg;
           Tests:       T1 T2 T3 
50                        end
51                      
52                      
53                        logic unused_tl;
54         1/1            assign unused_tl = ^tl_i;
           Tests:       T1 T2 T3 

---

Assert Coverage for Module : tlul_cmd_intg_gen

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
PayMaxWidthCheck_A	1554	1554	0	0

PayMaxWidthCheck_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1554	1554	0	0
T1	2	2	0	0
T2	2	2	0	0
T3	2	2	0	0
T4	2	2	0	0
T11	2	2	0	0
T22	2	2	0	0
T24	2	2	0	0
T31	2	2	0	0
T39	2	2	0	0
T97	2	2	0	0

Line Coverage for Instance : tb.dut.top_earlgrey.u_rv_core_ibex.tl_adapter_host_i_ibex.u_cmd_intg_gen

	Line No.	Total	Covered	Percent
TOTAL		8	6	75.00
CONT_ASSIGN	20	1	1	100.00
CONT_ASSIGN	41	1	0	0.00
CONT_ASSIGN	42	1	0	0.00
ALWAYS	46	4	4	100.00
CONT_ASSIGN	54	1	1	100.00

19                        tl_h2d_cmd_intg_t cmd;
20         1/1            assign cmd = extract_h2d_cmd_intg(tl_i);
           Tests:       T1 T2 T3 
21                        logic [H2DCmdMaxWidth-1:0] unused_cmd_payload;
22                      
23                        logic [H2DCmdIntgWidth-1:0] cmd_intg;
24                        prim_secded_inv_64_57_enc u_cmd_gen (
25                          .data_i(H2DCmdMaxWidth'(cmd)),
26                          .data_o({cmd_intg, unused_cmd_payload})
27                        );
28                      
29                        logic [top_pkg::TL_DW-1:0] data_final;
30                        logic [DataIntgWidth-1:0] data_intg;
31                      
32                        if (EnableDataIntgGen) begin : gen_data_intg
33                          assign data_final = tl_i.a_data;
34                      
35                          logic [DataMaxWidth-1:0] unused_data;
36                          prim_secded_inv_39_32_enc u_data_gen (
37                            .data_i(DataMaxWidth'(data_final)),
38                            .data_o({data_intg, unused_data})
39                          );
40                        end else begin : gen_passthrough_data_intg
41         0/1     ==>      assign data_final = tl_i.a_data;
42         0/1     ==>      assign data_intg = tl_i.a_user.data_intg;
43                        end
44                      
45                        always_comb begin
46         1/1              tl_o = tl_i;
           Tests:       T1 T2 T3 
47         1/1              tl_o.a_data = data_final;
           Tests:       T1 T2 T3 
48         1/1              tl_o.a_user.cmd_intg = cmd_intg;
           Tests:       T1 T2 T3 
49         1/1              tl_o.a_user.data_intg = data_intg;
           Tests:       T1 T2 T3 
50                        end
51                      
52                      
53                        logic unused_tl;
54         1/1            assign unused_tl = ^tl_i;
           Tests:       T1 T2 T3 

---

Assert Coverage for Instance : tb.dut.top_earlgrey.u_rv_core_ibex.tl_adapter_host_i_ibex.u_cmd_intg_gen

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
PayMaxWidthCheck_A	777	777	0	0

PayMaxWidthCheck_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	777	777	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T11	1	1	0	0
T22	1	1	0	0
T24	1	1	0	0
T31	1	1	0	0
T39	1	1	0	0
T97	1	1	0	0

Line Coverage for Instance : tb.dut.top_earlgrey.u_rv_core_ibex.tl_adapter_host_d_ibex.u_cmd_intg_gen

	Line No.	Total	Covered	Percent
TOTAL		8	8	100.00
CONT_ASSIGN	20	1	1	100.00
CONT_ASSIGN	41	1	1	100.00
CONT_ASSIGN	42	1	1	100.00
ALWAYS	46	4	4	100.00
CONT_ASSIGN	54	1	1	100.00

19                        tl_h2d_cmd_intg_t cmd;
20         1/1            assign cmd = extract_h2d_cmd_intg(tl_i);
           Tests:       T1 T2 T3 
21                        logic [H2DCmdMaxWidth-1:0] unused_cmd_payload;
22                      
23                        logic [H2DCmdIntgWidth-1:0] cmd_intg;
24                        prim_secded_inv_64_57_enc u_cmd_gen (
25                          .data_i(H2DCmdMaxWidth'(cmd)),
26                          .data_o({cmd_intg, unused_cmd_payload})
27                        );
28                      
29                        logic [top_pkg::TL_DW-1:0] data_final;
30                        logic [DataIntgWidth-1:0] data_intg;
31                      
32                        if (EnableDataIntgGen) begin : gen_data_intg
33                          assign data_final = tl_i.a_data;
34                      
35                          logic [DataMaxWidth-1:0] unused_data;
36                          prim_secded_inv_39_32_enc u_data_gen (
37                            .data_i(DataMaxWidth'(data_final)),
38                            .data_o({data_intg, unused_data})
39                          );
40                        end else begin : gen_passthrough_data_intg
41         1/1              assign data_final = tl_i.a_data;
           Tests:       T1 T2 T3 
42         1/1              assign data_intg = tl_i.a_user.data_intg;
           Tests:       T1 T2 T3 
43                        end
44                      
45                        always_comb begin
46         1/1              tl_o = tl_i;
           Tests:       T1 T2 T3 
47         1/1              tl_o.a_data = data_final;
           Tests:       T1 T2 T3 
48         1/1              tl_o.a_user.cmd_intg = cmd_intg;
           Tests:       T1 T2 T3 
49         1/1              tl_o.a_user.data_intg = data_intg;
           Tests:       T1 T2 T3 
50                        end
51                      
52                      
53                        logic unused_tl;
54         1/1            assign unused_tl = ^tl_i;
           Tests:       T1 T2 T3 

---

Assert Coverage for Instance : tb.dut.top_earlgrey.u_rv_core_ibex.tl_adapter_host_d_ibex.u_cmd_intg_gen

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
PayMaxWidthCheck_A	777	777	0	0

PayMaxWidthCheck_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	777	777	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T11	1	1	0	0
T22	1	1	0	0
T24	1	1	0	0
T31	1	1	0	0
T39	1	1	0	0
T97	1	1	0	0