Unified Coverage Report :: Module :: rv_dm

Module : rv_dm

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
95.55	100.00	85.11	92.63		100.00	100.00

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

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut	97.61	100.00	90.48	97.60		100.00	100.00

---

Module Instance : tb.dut

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
97.61	100.00	90.48	97.60		100.00	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
93.54	96.32	89.25	92.10	94.67	90.27	98.63

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
							tb

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
dap	90.87	98.36	91.95		94.00	95.05	75.00
enable_checker	100.00	100.00					100.00
gen_alert_tx[0].u_prim_alert_sender	83.33			83.33
i_tlul_adapter_reg	97.55	99.00	98.86	93.33		96.55	100.00
rv_dm_regs_csr_assert	100.00						100.00
tl_adapter_host_sba	95.14	100.00	100.00	75.71		100.00	100.00
tlul_assert_device_mem	100.00	100.00				100.00	100.00
tlul_assert_device_regs	99.88	100.00				100.00	99.65
tlul_assert_host_sba	94.30	100.00				85.71	97.18
u_dm_top	87.21	90.14	72.19		92.86	80.84	100.00
u_lc_en_sync_copies	100.00	100.00					100.00
u_pm_en_sync	100.00	100.00				100.00	100.00
u_prim_clock_mux2	100.00	100.00	100.00				100.00
u_prim_flop_2sync_lc_rst_assert	100.00	100.00				100.00
u_prim_flop_2sync_lc_rst_sync	100.00	100.00				100.00
u_prim_lc_sync_lc_dft_en	100.00	100.00				100.00	100.00
u_prim_lc_sync_lc_hw_debug_en	100.00	100.00				100.00	100.00
u_prim_mubi32_sync_late_debug_enable	100.00	100.00					100.00
u_prim_mubi8_sync_otp_dis_rv_dm_late_debug	100.00	100.00				100.00	100.00
u_prim_rst_n_mux2	100.00	100.00	100.00				100.00
u_reg_regs	98.32	98.69	99.35	93.55		100.00	100.00
u_tlul_lc_gate_rom	95.32	100.00	92.31		100.00	96.77	87.50
u_tlul_lc_gate_sba	90.53	94.49	84.00		100.00	86.67	87.50

Line Coverage for Module : rv_dm

	Line No.	Total	Covered	Percent
TOTAL		33	33	100.00
CONT_ASSIGN	122	1	1	100.00
CONT_ASSIGN	123	1	1	100.00
CONT_ASSIGN	128	1	1	100.00
CONT_ASSIGN	131	1	1	100.00
CONT_ASSIGN	154	1	1	100.00
CONT_ASSIGN	236	1	1	100.00
CONT_ASSIGN	237	1	1	100.00
CONT_ASSIGN	239	1	1	100.00
CONT_ASSIGN	239	1	1	100.00
CONT_ASSIGN	239	1	1	100.00
CONT_ASSIGN	239	1	1	100.00
CONT_ASSIGN	278	1	1	100.00
CONT_ASSIGN	288	1	1	100.00
CONT_ASSIGN	289	1	1	100.00
ALWAYS	320	11	11	100.00
CONT_ASSIGN	345	1	1	100.00
CONT_ASSIGN	432	1	1	100.00
CONT_ASSIGN	438	1	1	100.00
CONT_ASSIGN	440	1	1	100.00
CONT_ASSIGN	446	1	1	100.00
CONT_ASSIGN	447	1	1	100.00
CONT_ASSIGN	523	1	1	100.00
CONT_ASSIGN	551	1	1	100.00

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

Line No.	Covered	Statements
122	1	1
123	1	1
128	1	1
131	1	1
154	1	1
236	1	1
237	1	1
239	4	4
278	1	1
288	1	1
289	1	1
320	1	1
321	1	1
322	1	1
325	1	1
326	1	1
327	1	1
328	1	1
			MISSING_ELSE
331	1	1
332	1	1
333	1	1
334	1	1
			MISSING_ELSE
345	1	1
432	1	1
438	1	1
440	1	1
446	1	1
447	1	1
523	1	1
551	1	1

---

Cond Coverage for Module : rv_dm

	Total	Covered	Percent
Conditions	47	40	85.11
Logical	47	40	85.11
Non-Logical	0	0
Event	0	0

 LINE       128
 EXPRESSION (regs_intg_error | rom_intg_error | sba_gate_intg_error | rom_gate_intg_error)
             -------1-------   -------2------   ---------3---------   ---------4---------

-1-	-2-	-3-	-4-	Status	Tests
0	0	0	0	Covered	T1,T2,T3
0	0	0	1	Covered	T57,T60
0	0	1	0	Covered	T55,T58
0	1	0	0	Not Covered
1	0	0	0	Covered	T53,T54,T64

 LINE       131
 SUB-EXPRESSION (regs_reg2hw.alert_test.q & regs_reg2hw.alert_test.qe)
                 ------------1-----------   ------------2------------

-1-	-2-	Status	Tests
0	1	Covered	T33,T34,T52
1	0	Covered	T1,T2,T3
1	1	Covered	T33,T34,T52

 LINE       289
 EXPRESSION (ndmreset_req_qual & reset_req_en)
             --------1--------   ------2-----

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

 LINE       325
 EXPRESSION (ndmreset_req && ((!ndmreset_pending_q)))
             ------1-----    -----------2-----------

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

 LINE       327
 EXPRESSION (ndmreset_ack && ndmreset_pending_q)
             ------1-----    ---------2--------

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

 LINE       331
 EXPRESSION (ndmreset_pending_q && lc_rst_asserted)
             ---------1--------    -------2-------

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

 LINE       333
 EXPRESSION (ndmreset_ack && lc_rst_pending_q)
             ------1-----    --------2-------

-1-	-2-	Status	Tests
0	1	Covered	T2,T5,T32
1	0	Not Covered
1	1	Covered	T2,T5,T32

 LINE       345
 EXPRESSION (ndmreset_pending_q && lc_rst_pending_q && ((!ndmreset_req)) && ((!lc_rst_asserted)) && reset_req_en)
             ---------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,T4,T5
1	1	0	1	1	Covered	T2,T5,T32
1	1	1	0	1	Covered	T2,T5,T32
1	1	1	1	0	Not Covered
1	1	1	1	1	Covered	T2,T5,T32

 LINE       440
 EXPRESSION (debug_req & debug_req_en)
             ----1----   ------2-----

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

 LINE       476
 EXPRESSION (dmi_req_ready & dmi_en)
             ------1------   ---2--

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

 LINE       476
 EXPRESSION (dmi_rsp_valid & dmi_en)
             ------1------   ---2--

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

 LINE       551
 EXPRESSION (device_we || device_re)
             ----1----    ----2----

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

 LINE       567
 EXPRESSION (dmi_req_valid & dmi_en)
             ------1------   ---2--

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

 LINE       567
 EXPRESSION (dmi_rsp_ready & dmi_en)
             ------1------   ---2--

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

---

Toggle Coverage for Module : rv_dm

	Total	Covered	Percent
Totals	98	80	81.63
Total Bits	1140	1056	92.63
Total Bits 0->1	570	528	92.63
Total Bits 1->0	570	528	92.63

Ports	98	80	81.63
Port Bits	1140	1056	92.63
Port Bits 0->1	570	528	92.63
Port Bits 1->0	570	528	92.63

Port Details

Name	Toggle	Toggle 1->0	Tests	Toggle 0->1	Tests	Direction
clk_i	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT
clk_lc_i	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT
rst_ni	Yes	Yes	T2,T3,T4	Yes	T1,T2,T3	INPUT
rst_lc_ni	Yes	Yes	T2,T4,T5	Yes	T1,T2,T3	INPUT
next_dm_addr_i[31:0]	Unreachable	Unreachable		Unreachable		INPUT
lc_hw_debug_en_i[3:0]	Yes	Yes	T5,T22,T26	Yes	T5,T22,T26	INPUT
lc_dft_en_i[3:0]	No	No		No		INPUT
pinmux_hw_debug_en_i[3:0]	Yes	Yes	T4,T65,T43	Yes	T4,T65,T43	INPUT
otp_dis_rv_dm_late_debug_i[7:0]	Yes	Yes	T4,T5,T32	Yes	T2,T4,T5	INPUT
scanmode_i[3:0]	Yes	Yes	T2,T3,T4	Yes	T2,T3,T4	INPUT
scan_rst_ni	Yes	Yes	T2,T3,T4	Yes	T1,T2,T3	INPUT
ndmreset_req_o	Yes	Yes	T2,T4,T5	Yes	T2,T4,T5	OUTPUT
dmactive_o	Yes	Yes	T2,T3,T4	Yes	T1,T2,T3	OUTPUT
debug_req_o	Yes	Yes	T2,T3,T4	Yes	T2,T3,T4	OUTPUT
unavailable_i	Yes	Yes	T2,T3,T4	Yes	T2,T3,T4	INPUT
regs_tl_d_i.d_ready	Yes	Yes	T2,T3,T33	Yes	T1,T2,T3	INPUT
regs_tl_d_i.a_user.data_intg[6:0]	Yes	Yes	T2,T3,T33	Yes	T2,T3,T33	INPUT
regs_tl_d_i.a_user.cmd_intg[6:0]	Yes	Yes	T2,T3,T33	Yes	T3,T33,T4	INPUT
regs_tl_d_i.a_user.instr_type[3:0]	Yes	Yes	T3,T33,T4	Yes	T3,T33,T4	INPUT
regs_tl_d_i.a_user.rsvd[4:0]	Yes	Yes	T33,T4,T12	Yes	T33,T4,T12	INPUT
regs_tl_d_i.a_data[31:0]	Yes	Yes	T2,T3,T33	Yes	T2,T3,T33	INPUT
regs_tl_d_i.a_mask[3:0]	Yes	Yes	T3,T33,T4	Yes	T3,T33,T4	INPUT
regs_tl_d_i.a_address[31:0]	Yes	Yes	T3,T33,T4	Yes	T3,T33,T4	INPUT
regs_tl_d_i.a_source[7:0]	Yes	Yes	T3,T33,T4	Yes	T3,T33,T4	INPUT
regs_tl_d_i.a_size[1:0]	Yes	Yes	T3,T33,T4	Yes	T3,T33,T4	INPUT
regs_tl_d_i.a_param[2:0]	Yes	Yes	T33,T4,T32	Yes	T33,T4,T12	INPUT
regs_tl_d_i.a_opcode[2:0]	Yes	Yes	T3,T33,T4	Yes	T2,T3,T33	INPUT
regs_tl_d_i.a_valid	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT
regs_tl_d_o.a_ready	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	OUTPUT
regs_tl_d_o.d_error	Yes	Yes	T3,T5,T43	Yes	T3,T5,T43	OUTPUT
regs_tl_d_o.d_user.data_intg[6:0]	Yes	Yes	T3,T5,T43	Yes	T3,T5,T43	OUTPUT
regs_tl_d_o.d_user.rsp_intg[5:0]	Yes	Yes	*T2,T3,*T33	Yes	T1,T2,T3	OUTPUT
regs_tl_d_o.d_user.rsp_intg[6]	No	No		No		OUTPUT
regs_tl_d_o.d_data[31:0]	Yes	Yes	T2,T3,T4	Yes	T1,T2,T3	OUTPUT
regs_tl_d_o.d_sink	No	No		No		OUTPUT
regs_tl_d_o.d_source[7:0]	Yes	Yes	T3,T33,T4	Yes	T1,T3,T33	OUTPUT
regs_tl_d_o.d_size[1:0]	Yes	Yes	T3,T33,T34	Yes	T3,T33,T34	OUTPUT
regs_tl_d_o.d_param[2:0]	No	No		No		OUTPUT
regs_tl_d_o.d_opcode[0]	Yes	Yes	*T3,*T5,*T43	Yes	T3,T5,T43	OUTPUT
regs_tl_d_o.d_opcode[2:1]	No	No		No		OUTPUT
regs_tl_d_o.d_valid	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	OUTPUT
mem_tl_d_i.d_ready	Yes	Yes	T2,T3,T33	Yes	T1,T2,T3	INPUT
mem_tl_d_i.a_user.data_intg[6:0]	Yes	Yes	T2,T3,T11	Yes	T2,T3,T11	INPUT
mem_tl_d_i.a_user.cmd_intg[6:0]	Yes	Yes	T2,T3,T33	Yes	T2,T3,T11	INPUT
mem_tl_d_i.a_user.instr_type[3:0]	Yes	Yes	T3,T11,T4	Yes	T3,T33,T11	INPUT
mem_tl_d_i.a_user.rsvd[4:0]	Yes	Yes	T11,T4,T5	Yes	T11,T4,T5	INPUT
mem_tl_d_i.a_data[31:0]	Yes	Yes	T2,T3,T33	Yes	T2,T3,T11	INPUT
mem_tl_d_i.a_mask[3:0]	Yes	Yes	T2,T3,T11	Yes	T3,T33,T11	INPUT
mem_tl_d_i.a_address[31:0]	Yes	Yes	T3,T33,T11	Yes	T2,T3,T11	INPUT
mem_tl_d_i.a_source[7:0]	Yes	Yes	T2,T3,T33	Yes	T2,T3,T11	INPUT
mem_tl_d_i.a_size[1:0]	Yes	Yes	T2,T3,T33	Yes	T2,T3,T11	INPUT
mem_tl_d_i.a_param[2:0]	Yes	Yes	T11,T4,T34	Yes	T11,T4,T5	INPUT
mem_tl_d_i.a_opcode[2:0]	Yes	Yes	T2,T3,T33	Yes	T2,T3,T11	INPUT
mem_tl_d_i.a_valid	Yes	Yes	T2,T3,T11	Yes	T2,T3,T11	INPUT
mem_tl_d_o.a_ready	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	OUTPUT
mem_tl_d_o.d_error	Yes	Yes	T1,T2,T3	Yes	T2,T3,T11	OUTPUT
mem_tl_d_o.d_user.data_intg[6:0]	Yes	Yes	T5,T48,T37	Yes	T5,T48,T37	OUTPUT
mem_tl_d_o.d_user.rsp_intg[5:0]	Yes	Yes	T2,T3,*T11	Yes	T2,T3,T11	OUTPUT
mem_tl_d_o.d_user.rsp_intg[6]	No	No		No		OUTPUT
mem_tl_d_o.d_data[31:0]	Yes	Yes	T1,T2,T3	Yes	T2,T3,T11	OUTPUT
mem_tl_d_o.d_sink	No	No		No		OUTPUT
mem_tl_d_o.d_source[7:0]	Yes	Yes	T2,T3,T11	Yes	T2,T3,T11	OUTPUT
mem_tl_d_o.d_size[1:0]	Yes	Yes	T2,T3,T4	Yes	T2,T3,T4	OUTPUT
mem_tl_d_o.d_param[2:0]	No	No		No		OUTPUT
mem_tl_d_o.d_opcode[0]	Yes	Yes	*T1,*T2,*T3	Yes	T2,T3,T11	OUTPUT
mem_tl_d_o.d_opcode[2:1]	No	No		No		OUTPUT
mem_tl_d_o.d_valid	Yes	Yes	T2,T3,T11	Yes	T2,T3,T11	OUTPUT
sba_tl_h_o.d_ready	Yes	Yes	T2,T3,T4	Yes	T1,T2,T3	OUTPUT
sba_tl_h_o.a_user.data_intg[6:0]	Yes	Yes	T1,T12,T29	Yes	T1,T12,T29	OUTPUT
sba_tl_h_o.a_user.cmd_intg[6:0]	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	OUTPUT
sba_tl_h_o.a_user.instr_type[0]	Yes	Yes	*T2,*T3,*T4	Yes	T1,T2,T3	OUTPUT
sba_tl_h_o.a_user.instr_type[2:1]	No	No		No		OUTPUT
sba_tl_h_o.a_user.instr_type[3]	Yes	Yes	T2,T3,T4	Yes	T1,T2,T3	OUTPUT
sba_tl_h_o.a_user.rsvd[4:0]	No	No		No		OUTPUT
sba_tl_h_o.a_data[31:0]	Yes	Yes	T1,T12,T29	Yes	T1,T12,T29	OUTPUT
sba_tl_h_o.a_mask[3:0]	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	OUTPUT
sba_tl_h_o.a_address[1:0]	No	No		No		OUTPUT
sba_tl_h_o.a_address[31:2]	Yes	Yes	T1,T12,T29	Yes	T1,T12,T29	OUTPUT
sba_tl_h_o.a_source[7:0]	No	No		No		OUTPUT
sba_tl_h_o.a_size[0]	No	No		No		OUTPUT
sba_tl_h_o.a_size[1]	Yes	Yes	T2,T3,T4	Yes	T1,T2,T3	OUTPUT
sba_tl_h_o.a_param[2:0]	No	No		No		OUTPUT
sba_tl_h_o.a_opcode[0]	Yes	Yes	*T1,*T12,*T29	Yes	T1,T12,T29	OUTPUT
sba_tl_h_o.a_opcode[1]	No	No		No		OUTPUT
sba_tl_h_o.a_opcode[2]	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	OUTPUT
sba_tl_h_o.a_valid	Yes	Yes	T1,T12,T29	Yes	T1,T12,T29	OUTPUT
sba_tl_h_i.a_ready	Yes	Yes	T2,T3,T33	Yes	T1,T2,T3	INPUT
sba_tl_h_i.d_error	Yes	Yes	T1,T32,T29	Yes	T1,T33,T11	INPUT
sba_tl_h_i.d_user.data_intg[6:0]	Yes	Yes	T1,T33,T12	Yes	T1,T12,T32	INPUT
sba_tl_h_i.d_user.rsp_intg[6:0]	Yes	Yes	T1,T11,T12	Yes	T1,T33,T12	INPUT
sba_tl_h_i.d_data[31:0]	Yes	Yes	T1,T12,T32	Yes	T1,T33,T12	INPUT
sba_tl_h_i.d_sink	Yes	Yes	T1,T33,T12	Yes	T1,T11,T12	INPUT
sba_tl_h_i.d_source[7:0]	Yes	Yes	T1,T33,T32	Yes	T1,T32,T29	INPUT
sba_tl_h_i.d_size[1:0]	Yes	Yes	T1,T29,T59	Yes	T1,T11,T32	INPUT
sba_tl_h_i.d_param[2:0]	Yes	Yes	T1,T32,T29	Yes	T1,T32,T29	INPUT
sba_tl_h_i.d_opcode[2:0]	Yes	Yes	T1,T12,T32	Yes	T1,T12,T32	INPUT
sba_tl_h_i.d_valid	Yes	Yes	T1,T12,T29	Yes	T1,T12,T29	INPUT
alert_rx_i[0].ack_n	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT
alert_rx_i[0].ack_p	Yes	Yes	T33,T34,T52	Yes	T33,T34,T52	INPUT
alert_rx_i[0].ping_n	No	No		No		INPUT
alert_rx_i[0].ping_p	No	No		No		INPUT
alert_tx_o[0].alert_n	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	OUTPUT
alert_tx_o[0].alert_p	Yes	Yes	T33,T34,T52	Yes	T33,T34,T52	OUTPUT
jtag_i.tdi	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT
jtag_i.trst_n	Yes	Yes	T2,T3,T4	Yes	T1,T2,T3	INPUT
jtag_i.tms	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT
jtag_i.tck	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT
jtag_o.tdo_oe	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	OUTPUT
jtag_o.tdo	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	OUTPUT

*Tests covering at least one bit in the range

---

Branch Coverage for Module : rv_dm

	Line No.	Total	Covered	Percent
Branches		7	7	100.00
IF	320	7	7	100.00

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

	LineNo.	Expression
-1-:	320	if ((!rst_ni))
-2-:	325	if ((ndmreset_req && (!ndmreset_pending_q)))
-3-:	327	if ((ndmreset_ack && ndmreset_pending_q))
-4-:	331	if ((ndmreset_pending_q && lc_rst_asserted))
-5-:	333	if ((ndmreset_ack && lc_rst_pending_q))

Branches:

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

---

Assert Coverage for Module : rv_dm

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
DebugReqOKnown_A	53688697	53626146	0	0
DmactiveOKnown_A	53688697	53626146	0	0
FpvSecCmRegWeOnehotCheck_A	53688697	80	0	0
FpvSecCmRomTlLcGateFsm_A	53688697	2	0	0
FpvSecCmSbaTlLcGateFsm_A	53688697	2	0	0
JtagRspOTdoKnown_A	2376091	2376035	0	0
JtagRspOTdoOeKnown_A	2376091	2376035	0	0
NdmresetOKnown_A	53688697	53626146	0	0
RvDmLcEnDebugVal_A	53688697	53626146	0	0
TlMemAReadyKnown_A	53688697	53626146	0	0
TlMemDValidKnown_A	53688697	53626146	0	0
TlRegsAReadyKnown_A	53688697	53626146	0	0
TlRegsDValidKnown_A	53688697	53626146	0	0
TlSbaAValidKnown_A	53688697	53626146	0	0
TlSbaDReadyKnown_A	53688697	53626146	0	0
paramCheckNrHarts	263	263	0	0

DebugReqOKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	53688697	53626146	0	0
T1	54367	54287	0	0
T2	93029	92833	0	0
T3	90044	89006	0	0
T4	445465	445119	0	0
T5	206779	206469	0	0
T11	14855	14795	0	0
T12	162914	162851	0	0
T32	385392	385193	0	0
T33	3710	3628	0	0
T34	2068	2006	0	0

DmactiveOKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	53688697	53626146	0	0
T1	54367	54287	0	0
T2	93029	92833	0	0
T3	90044	89006	0	0
T4	445465	445119	0	0
T5	206779	206469	0	0
T11	14855	14795	0	0
T12	162914	162851	0	0
T32	385392	385193	0	0
T33	3710	3628	0	0
T34	2068	2006	0	0

FpvSecCmRegWeOnehotCheck_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	53688697	80	0	0
T41	53999	0	0	0
T53	98600	20	0	0
T54	0	20	0	0
T64	0	20	0	0
T66	0	10	0	0
T67	0	10	0	0
T68	46054	0	0	0
T69	46488	0	0	0
T70	49969	0	0	0
T71	3266	0	0	0
T72	1333	0	0	0
T73	1452	0	0	0
T74	255491	0	0	0
T75	6888	0	0	0

FpvSecCmRomTlLcGateFsm_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	53688697	2	0	0
T57	3254	1	0	0
T60	0	1	0	0
T66	50238	0	0	0
T76	372298	0	0	0
T77	3387	0	0	0
T78	9669	0	0	0
T79	11995	0	0	0
T80	58256	0	0	0
T81	67847	0	0	0
T82	93569	0	0	0
T83	1789	0	0	0

FpvSecCmSbaTlLcGateFsm_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	53688697	2	0	0
T20	168912	0	0	0
T44	25872	0	0	0
T55	5147	1	0	0
T58	0	1	0	0
T84	6773	0	0	0
T85	219077	0	0	0
T86	284847	0	0	0
T87	280279	0	0	0
T88	131108	0	0	0
T89	17185	0	0	0
T90	35076	0	0	0

JtagRspOTdoKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2376091	2376035	0	0
T1	14115	14115	0	0
T2	7285	7285	0	0
T3	5560	5558	0	0
T4	14507	14506	0	0
T5	34602	34598	0	0
T11	683	683	0	0
T12	9135	9135	0	0
T32	9312	9312	0	0
T33	177	177	0	0
T34	139	139	0	0

JtagRspOTdoOeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2376091	2376035	0	0
T1	14115	14115	0	0
T2	7285	7285	0	0
T3	5560	5558	0	0
T4	14507	14506	0	0
T5	34602	34598	0	0
T11	683	683	0	0
T12	9135	9135	0	0
T32	9312	9312	0	0
T33	177	177	0	0
T34	139	139	0	0

NdmresetOKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	53688697	53626146	0	0
T1	54367	54287	0	0
T2	93029	92833	0	0
T3	90044	89006	0	0
T4	445465	445119	0	0
T5	206779	206469	0	0
T11	14855	14795	0	0
T12	162914	162851	0	0
T32	385392	385193	0	0
T33	3710	3628	0	0
T34	2068	2006	0	0

RvDmLcEnDebugVal_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	53688697	53626146	0	0
T1	54367	54287	0	0
T2	93029	92833	0	0
T3	90044	89006	0	0
T4	445465	445119	0	0
T5	206779	206469	0	0
T11	14855	14795	0	0
T12	162914	162851	0	0
T32	385392	385193	0	0
T33	3710	3628	0	0
T34	2068	2006	0	0

TlMemAReadyKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	53688697	53626146	0	0
T1	54367	54287	0	0
T2	93029	92833	0	0
T3	90044	89006	0	0
T4	445465	445119	0	0
T5	206779	206469	0	0
T11	14855	14795	0	0
T12	162914	162851	0	0
T32	385392	385193	0	0
T33	3710	3628	0	0
T34	2068	2006	0	0

TlMemDValidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	53688697	53626146	0	0
T1	54367	54287	0	0
T2	93029	92833	0	0
T3	90044	89006	0	0
T4	445465	445119	0	0
T5	206779	206469	0	0
T11	14855	14795	0	0
T12	162914	162851	0	0
T32	385392	385193	0	0
T33	3710	3628	0	0
T34	2068	2006	0	0

TlRegsAReadyKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	53688697	53626146	0	0
T1	54367	54287	0	0
T2	93029	92833	0	0
T3	90044	89006	0	0
T4	445465	445119	0	0
T5	206779	206469	0	0
T11	14855	14795	0	0
T12	162914	162851	0	0
T32	385392	385193	0	0
T33	3710	3628	0	0
T34	2068	2006	0	0

TlRegsDValidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	53688697	53626146	0	0
T1	54367	54287	0	0
T2	93029	92833	0	0
T3	90044	89006	0	0
T4	445465	445119	0	0
T5	206779	206469	0	0
T11	14855	14795	0	0
T12	162914	162851	0	0
T32	385392	385193	0	0
T33	3710	3628	0	0
T34	2068	2006	0	0

TlSbaAValidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	53688697	53626146	0	0
T1	54367	54287	0	0
T2	93029	92833	0	0
T3	90044	89006	0	0
T4	445465	445119	0	0
T5	206779	206469	0	0
T11	14855	14795	0	0
T12	162914	162851	0	0
T32	385392	385193	0	0
T33	3710	3628	0	0
T34	2068	2006	0	0

TlSbaDReadyKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	53688697	53626146	0	0
T1	54367	54287	0	0
T2	93029	92833	0	0
T3	90044	89006	0	0
T4	445465	445119	0	0
T5	206779	206469	0	0
T11	14855	14795	0	0
T12	162914	162851	0	0
T32	385392	385193	0	0
T33	3710	3628	0	0
T34	2068	2006	0	0

paramCheckNrHarts

Name	Attempts	Real Successes	Failures	Incomplete
Total	263	263	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T32	1	1	0	0
T33	1	1	0	0
T34	1	1	0	0

Line Coverage for Instance : tb.dut

	Line No.	Total	Covered	Percent
TOTAL		33	33	100.00
CONT_ASSIGN	122	1	1	100.00
CONT_ASSIGN	123	1	1	100.00
CONT_ASSIGN	128	1	1	100.00
CONT_ASSIGN	131	1	1	100.00
CONT_ASSIGN	154	1	1	100.00
CONT_ASSIGN	236	1	1	100.00
CONT_ASSIGN	237	1	1	100.00
CONT_ASSIGN	239	1	1	100.00
CONT_ASSIGN	239	1	1	100.00
CONT_ASSIGN	239	1	1	100.00
CONT_ASSIGN	239	1	1	100.00
CONT_ASSIGN	278	1	1	100.00
CONT_ASSIGN	288	1	1	100.00
CONT_ASSIGN	289	1	1	100.00
ALWAYS	320	11	11	100.00
CONT_ASSIGN	345	1	1	100.00
CONT_ASSIGN	432	1	1	100.00
CONT_ASSIGN	438	1	1	100.00
CONT_ASSIGN	440	1	1	100.00
CONT_ASSIGN	446	1	1	100.00
CONT_ASSIGN	447	1	1	100.00
CONT_ASSIGN	523	1	1	100.00
CONT_ASSIGN	551	1	1	100.00

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

Line No.	Covered	Statements
122	1	1
123	1	1
128	1	1
131	1	1
154	1	1
236	1	1
237	1	1
239	4	4
278	1	1
288	1	1
289	1	1
320	1	1
321	1	1
322	1	1
325	1	1
326	1	1
327	1	1
328	1	1
			MISSING_ELSE
331	1	1
332	1	1
333	1	1
334	1	1
			MISSING_ELSE
345	1	1
432	1	1
438	1	1
440	1	1
446	1	1
447	1	1
523	1	1
551	1	1

---

Cond Coverage for Instance : tb.dut

	Total	Covered	Percent
Conditions	42	38	90.48
Logical	42	38	90.48
Non-Logical	0	0
Event	0	0

 LINE       128
 EXPRESSION (regs_intg_error | rom_intg_error | sba_gate_intg_error | rom_gate_intg_error)
             -------1-------   -------2------   ---------3---------   ---------4---------

-1-	-2-	-3-	-4-	Status	Tests	Exclude Annotation
0	0	0	0	Covered	T1,T2,T3
0	0	0	1	Excluded	T57,T60	VC_COV_UNR
0	0	1	0	Excluded	T55,T58	VC_COV_UNR
0	1	0	0	Not Covered
1	0	0	0	Covered	T53,T54,T64

 LINE       131
 SUB-EXPRESSION (regs_reg2hw.alert_test.q & regs_reg2hw.alert_test.qe)
                 ------------1-----------   ------------2------------

-1-	-2-	Status	Tests
0	1	Covered	T33,T34,T52
1	0	Covered	T1,T2,T3
1	1	Covered	T33,T34,T52

 LINE       289
 EXPRESSION (ndmreset_req_qual & reset_req_en)
             --------1--------   ------2-----

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

 LINE       325
 EXPRESSION (ndmreset_req && ((!ndmreset_pending_q)))
             ------1-----    -----------2-----------

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

 LINE       327
 EXPRESSION (ndmreset_ack && ndmreset_pending_q)
             ------1-----    ---------2--------

-1-	-2-	Status	Tests	Exclude Annotation
0	1	Covered	T2,T11,T4
1	0	Excluded		VC_COV_UNR
1	1	Covered	T2,T5,T32

 LINE       331
 EXPRESSION (ndmreset_pending_q && lc_rst_asserted)
             ---------1--------    -------2-------

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

 LINE       333
 EXPRESSION (ndmreset_ack && lc_rst_pending_q)
             ------1-----    --------2-------

-1-	-2-	Status	Tests	Exclude Annotation
0	1	Covered	T2,T5,T32
1	0	Excluded		VC_COV_UNR
1	1	Covered	T2,T5,T32

 LINE       345
 EXPRESSION (ndmreset_pending_q && lc_rst_pending_q && ((!ndmreset_req)) && ((!lc_rst_asserted)) && reset_req_en)
             ---------1--------    --------2-------    --------3--------    ----------4---------    ------5-----

-1-	-2-	-3-	-4-	-5-	Status	Tests	Exclude Annotation
0	1	1	1	1	Excluded		VC_COV_UNR
1	0	1	1	1	Covered	T11,T4,T5
1	1	0	1	1	Covered	T2,T5,T32
1	1	1	0	1	Covered	T2,T5,T32
1	1	1	1	0	Not Covered
1	1	1	1	1	Covered	T2,T5,T32

 LINE       440
 EXPRESSION (debug_req & debug_req_en)
             ----1----   ------2-----

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

 LINE       476
 EXPRESSION (dmi_req_ready & dmi_en)
             ------1------   ---2--

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

 LINE       476
 EXPRESSION (dmi_rsp_valid & dmi_en)
             ------1------   ---2--

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

 LINE       551
 EXPRESSION (device_we || device_re)
             ----1----    ----2----

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

 LINE       567
 EXPRESSION (dmi_req_valid & dmi_en)
             ------1------   ---2--

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

 LINE       567
 EXPRESSION (dmi_rsp_ready & dmi_en)
             ------1------   ---2--

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

---

Toggle Coverage for Instance : tb.dut

	Total	Covered	Percent
Totals	91	84	92.31
Total Bits	1082	1056	97.60
Total Bits 0->1	541	528	97.60
Total Bits 1->0	541	528	97.60

Ports	91	84	92.31
Port Bits	1082	1056	97.60
Port Bits 0->1	541	528	97.60
Port Bits 1->0	541	528	97.60

Port Details

Name	Toggle	Toggle 1->0	Tests	Toggle 0->1	Tests	Direction	Exclude Annotation
clk_i	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT
clk_lc_i	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT
rst_ni	Yes	Yes	T2,T3,T4	Yes	T1,T2,T3	INPUT
rst_lc_ni	Yes	Yes	T2,T4,T5	Yes	T1,T2,T3	INPUT
next_dm_addr_i[31:0]	Unreachable	Unreachable		Unreachable		INPUT
lc_hw_debug_en_i[3:0]	Yes	Yes	T5,T22,T26	Yes	T5,T22,T26	INPUT
lc_dft_en_i[3:0]	No	No		No		INPUT
pinmux_hw_debug_en_i[3:0]	Yes	Yes	T4,T65,T43	Yes	T4,T65,T43	INPUT
otp_dis_rv_dm_late_debug_i[7:0]	Yes	Yes	T4,T5,T32	Yes	T2,T4,T5	INPUT
scanmode_i[3:0]	Yes	Yes	T2,T3,T4	Yes	T2,T3,T4	INPUT
scan_rst_ni	Yes	Yes	T2,T3,T4	Yes	T1,T2,T3	INPUT
ndmreset_req_o	Yes	Yes	T2,T4,T5	Yes	T2,T4,T5	OUTPUT
dmactive_o	Yes	Yes	T2,T3,T4	Yes	T1,T2,T3	OUTPUT
debug_req_o	Yes	Yes	T2,T3,T4	Yes	T2,T3,T4	OUTPUT
unavailable_i	Yes	Yes	T2,T3,T4	Yes	T2,T3,T4	INPUT
regs_tl_d_i.d_ready	Yes	Yes	T2,T3,T33	Yes	T1,T2,T3	INPUT
regs_tl_d_i.a_user.data_intg[6:0]	Yes	Yes	T2,T3,T33	Yes	T2,T3,T33	INPUT
regs_tl_d_i.a_user.cmd_intg[6:0]	Yes	Yes	T2,T3,T33	Yes	T3,T33,T4	INPUT
regs_tl_d_i.a_user.instr_type[3:0]	Yes	Yes	T3,T33,T4	Yes	T3,T33,T4	INPUT
regs_tl_d_i.a_user.rsvd[4:0]	Yes	Yes	T33,T4,T12	Yes	T33,T4,T12	INPUT
regs_tl_d_i.a_data[31:0]	Yes	Yes	T2,T3,T33	Yes	T2,T3,T33	INPUT
regs_tl_d_i.a_mask[3:0]	Yes	Yes	T3,T33,T4	Yes	T3,T33,T4	INPUT
regs_tl_d_i.a_address[31:0]	Yes	Yes	T3,T33,T4	Yes	T3,T33,T4	INPUT
regs_tl_d_i.a_source[7:0]	Yes	Yes	T3,T33,T4	Yes	T3,T33,T4	INPUT
regs_tl_d_i.a_size[1:0]	Yes	Yes	T3,T33,T4	Yes	T3,T33,T4	INPUT
regs_tl_d_i.a_param[2:0]	Yes	Yes	T33,T4,T32	Yes	T33,T4,T12	INPUT
regs_tl_d_i.a_opcode[2:0]	Yes	Yes	T3,T33,T4	Yes	T2,T3,T33	INPUT
regs_tl_d_i.a_valid	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT
regs_tl_d_o.a_ready	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	OUTPUT
regs_tl_d_o.d_error	Yes	Yes	T3,T5,T43	Yes	T3,T5,T43	OUTPUT
regs_tl_d_o.d_user.data_intg[6:0]	Yes	Yes	T3,T5,T43	Yes	T3,T5,T43	OUTPUT
regs_tl_d_o.d_user.rsp_intg[5:0]	Yes	Yes	*T2,T3,*T33	Yes	T1,T2,T3	OUTPUT
regs_tl_d_o.d_user.rsp_intg[6]	Excluded	Excluded		Excluded		OUTPUT	0->1:VC_COV_UNR / 1->0:VC_COV_UNR
regs_tl_d_o.d_data[31:0]	Yes	Yes	T2,T3,T4	Yes	T1,T2,T3	OUTPUT
regs_tl_d_o.d_sink	Excluded	Excluded		Excluded		OUTPUT	0->1:VC_COV_UNR / 1->0:VC_COV_UNR
regs_tl_d_o.d_source[7:0]	Yes	Yes	T3,T33,T4	Yes	T1,T3,T33	OUTPUT
regs_tl_d_o.d_size[1:0]	Yes	Yes	T3,T33,T34	Yes	T3,T33,T34	OUTPUT
regs_tl_d_o.d_param[2:0]	Excluded	Excluded		Excluded		OUTPUT	0->1:VC_COV_UNR / 1->0:VC_COV_UNR
regs_tl_d_o.d_opcode[0]	Yes	Yes	*T3,*T5,*T43	Yes	T3,T5,T43	OUTPUT
regs_tl_d_o.d_opcode[2:1]	No	No		No		OUTPUT
regs_tl_d_o.d_valid	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	OUTPUT
mem_tl_d_i.d_ready	Yes	Yes	T2,T3,T33	Yes	T1,T2,T3	INPUT
mem_tl_d_i.a_user.data_intg[6:0]	Yes	Yes	T2,T3,T11	Yes	T2,T3,T11	INPUT
mem_tl_d_i.a_user.cmd_intg[6:0]	Yes	Yes	T2,T3,T33	Yes	T2,T3,T11	INPUT
mem_tl_d_i.a_user.instr_type[3:0]	Yes	Yes	T3,T11,T4	Yes	T3,T33,T11	INPUT
mem_tl_d_i.a_user.rsvd[4:0]	Yes	Yes	T11,T4,T5	Yes	T11,T4,T5	INPUT
mem_tl_d_i.a_data[31:0]	Yes	Yes	T2,T3,T33	Yes	T2,T3,T11	INPUT
mem_tl_d_i.a_mask[3:0]	Yes	Yes	T2,T3,T11	Yes	T3,T33,T11	INPUT
mem_tl_d_i.a_address[31:0]	Yes	Yes	T3,T33,T11	Yes	T2,T3,T11	INPUT
mem_tl_d_i.a_source[7:0]	Yes	Yes	T2,T3,T33	Yes	T2,T3,T11	INPUT
mem_tl_d_i.a_size[1:0]	Yes	Yes	T2,T3,T33	Yes	T2,T3,T11	INPUT
mem_tl_d_i.a_param[2:0]	Yes	Yes	T11,T4,T34	Yes	T11,T4,T5	INPUT
mem_tl_d_i.a_opcode[2:0]	Yes	Yes	T2,T3,T33	Yes	T2,T3,T11	INPUT
mem_tl_d_i.a_valid	Yes	Yes	T2,T3,T11	Yes	T2,T3,T11	INPUT
mem_tl_d_o.a_ready	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	OUTPUT
mem_tl_d_o.d_error	Yes	Yes	T1,T2,T3	Yes	T2,T3,T11	OUTPUT
mem_tl_d_o.d_user.data_intg[6:0]	Yes	Yes	T5,T48,T37	Yes	T5,T48,T37	OUTPUT
mem_tl_d_o.d_user.rsp_intg[5:0]	Yes	Yes	T2,T3,*T11	Yes	T2,T3,T11	OUTPUT
mem_tl_d_o.d_user.rsp_intg[6]	Excluded	Excluded		Excluded		OUTPUT	0->1:VC_COV_UNR / 1->0:VC_COV_UNR
mem_tl_d_o.d_data[31:0]	Yes	Yes	T1,T2,T3	Yes	T2,T3,T11	OUTPUT
mem_tl_d_o.d_sink	Excluded	Excluded		Excluded		OUTPUT	0->1:VC_COV_UNR / 1->0:VC_COV_UNR
mem_tl_d_o.d_source[7:0]	Yes	Yes	T2,T3,T11	Yes	T2,T3,T11	OUTPUT
mem_tl_d_o.d_size[1:0]	Yes	Yes	T2,T3,T4	Yes	T2,T3,T4	OUTPUT
mem_tl_d_o.d_param[2:0]	Excluded	Excluded		Excluded		OUTPUT	0->1:VC_COV_UNR / 1->0:VC_COV_UNR
mem_tl_d_o.d_opcode[0]	Yes	Yes	*T1,*T2,*T3	Yes	T2,T3,T11	OUTPUT
mem_tl_d_o.d_opcode[2:1]	No	No		No		OUTPUT
mem_tl_d_o.d_valid	Yes	Yes	T2,T3,T11	Yes	T2,T3,T11	OUTPUT
sba_tl_h_o.d_ready	Yes	Yes	T2,T3,T4	Yes	T1,T2,T3	OUTPUT
sba_tl_h_o.a_user.data_intg[6:0]	Yes	Yes	T1,T12,T29	Yes	T1,T12,T29	OUTPUT
sba_tl_h_o.a_user.cmd_intg[6:0]	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	OUTPUT
sba_tl_h_o.a_user.instr_type[0]	Yes	Yes	*T2,*T3,*T4	Yes	T1,T2,T3	OUTPUT
sba_tl_h_o.a_user.instr_type[2:1]	No	No		No		OUTPUT
sba_tl_h_o.a_user.instr_type[3]	Yes	Yes	T2,T3,T4	Yes	T1,T2,T3	OUTPUT
sba_tl_h_o.a_user.rsvd[4:0]	Excluded	Excluded		Excluded		OUTPUT	0->1:VC_COV_UNR / 1->0:VC_COV_UNR
sba_tl_h_o.a_data[31:0]	Yes	Yes	T1,T12,T29	Yes	T1,T12,T29	OUTPUT
sba_tl_h_o.a_mask[3:0]	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	OUTPUT
sba_tl_h_o.a_address[1:0]	Excluded	Excluded		Excluded		OUTPUT	0->1:VC_COV_UNR / 1->0:VC_COV_UNR
sba_tl_h_o.a_address[31:2]	Yes	Yes	T1,T12,T29	Yes	T1,T12,T29	OUTPUT
sba_tl_h_o.a_source[7:0]	Excluded	Excluded		Excluded		OUTPUT	0->1:VC_COV_UNR / 1->0:VC_COV_UNR
sba_tl_h_o.a_size[0]	Excluded	Excluded		Excluded		OUTPUT	0->1:VC_COV_UNR / 1->0:VC_COV_UNR
sba_tl_h_o.a_size[1]	Yes	Yes	T2,T3,T4	Yes	T1,T2,T3	OUTPUT
sba_tl_h_o.a_param[2:0]	Excluded	Excluded		Excluded		OUTPUT	0->1:VC_COV_UNR / 1->0:VC_COV_UNR
sba_tl_h_o.a_opcode[0]	Yes	Yes	*T1,*T12,*T29	Yes	T1,T12,T29	OUTPUT
sba_tl_h_o.a_opcode[1]	No	No		No		OUTPUT
sba_tl_h_o.a_opcode[2]	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	OUTPUT
sba_tl_h_o.a_valid	Yes	Yes	T1,T12,T29	Yes	T1,T12,T29	OUTPUT
sba_tl_h_i.a_ready	Yes	Yes	T2,T3,T33	Yes	T1,T2,T3	INPUT
sba_tl_h_i.d_error	Yes	Yes	T1,T32,T29	Yes	T1,T33,T11	INPUT
sba_tl_h_i.d_user.data_intg[6:0]	Yes	Yes	T1,T33,T12	Yes	T1,T12,T32	INPUT
sba_tl_h_i.d_user.rsp_intg[6:0]	Yes	Yes	T1,T11,T12	Yes	T1,T33,T12	INPUT
sba_tl_h_i.d_data[31:0]	Yes	Yes	T1,T12,T32	Yes	T1,T33,T12	INPUT
sba_tl_h_i.d_sink	Yes	Yes	T1,T33,T12	Yes	T1,T11,T12	INPUT
sba_tl_h_i.d_source[7:0]	Yes	Yes	T1,T33,T32	Yes	T1,T32,T29	INPUT
sba_tl_h_i.d_size[1:0]	Yes	Yes	T1,T29,T59	Yes	T1,T11,T32	INPUT
sba_tl_h_i.d_param[2:0]	Yes	Yes	T1,T32,T29	Yes	T1,T32,T29	INPUT
sba_tl_h_i.d_opcode[2:0]	Yes	Yes	T1,T12,T32	Yes	T1,T12,T32	INPUT
sba_tl_h_i.d_valid	Yes	Yes	T1,T12,T29	Yes	T1,T12,T29	INPUT
alert_rx_i[0].ack_n	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT
alert_rx_i[0].ack_p	Yes	Yes	T33,T34,T52	Yes	T33,T34,T52	INPUT
alert_rx_i[0].ping_n	No	No		No		INPUT
alert_rx_i[0].ping_p	No	No		No		INPUT
alert_tx_o[0].alert_n	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	OUTPUT
alert_tx_o[0].alert_p	Yes	Yes	T33,T34,T52	Yes	T33,T34,T52	OUTPUT
jtag_i.tdi	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT
jtag_i.trst_n	Yes	Yes	T2,T3,T4	Yes	T1,T2,T3	INPUT
jtag_i.tms	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT
jtag_i.tck	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT
jtag_o.tdo_oe	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	OUTPUT
jtag_o.tdo	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	OUTPUT

*Tests covering at least one bit in the range

---

Branch Coverage for Instance : tb.dut

	Line No.	Total	Covered	Percent
Branches		7	7	100.00
IF	320	7	7	100.00

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

	LineNo.	Expression
-1-:	320	if ((!rst_ni))
-2-:	325	if ((ndmreset_req && (!ndmreset_pending_q)))
-3-:	327	if ((ndmreset_ack && ndmreset_pending_q))
-4-:	331	if ((ndmreset_pending_q && lc_rst_asserted))
-5-:	333	if ((ndmreset_ack && lc_rst_pending_q))

Branches:

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

---

Assert Coverage for Instance : tb.dut

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
DebugReqOKnown_A	53688697	53626146	0	0
DmactiveOKnown_A	53688697	53626146	0	0
FpvSecCmRegWeOnehotCheck_A	53688697	80	0	0
FpvSecCmRomTlLcGateFsm_A	53688697	2	0	0
FpvSecCmSbaTlLcGateFsm_A	53688697	2	0	0
JtagRspOTdoKnown_A	2376091	2376035	0	0
JtagRspOTdoOeKnown_A	2376091	2376035	0	0
NdmresetOKnown_A	53688697	53626146	0	0
RvDmLcEnDebugVal_A	53688697	53626146	0	0
TlMemAReadyKnown_A	53688697	53626146	0	0
TlMemDValidKnown_A	53688697	53626146	0	0
TlRegsAReadyKnown_A	53688697	53626146	0	0
TlRegsDValidKnown_A	53688697	53626146	0	0
TlSbaAValidKnown_A	53688697	53626146	0	0
TlSbaDReadyKnown_A	53688697	53626146	0	0
paramCheckNrHarts	263	263	0	0

DebugReqOKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	53688697	53626146	0	0
T1	54367	54287	0	0
T2	93029	92833	0	0
T3	90044	89006	0	0
T4	445465	445119	0	0
T5	206779	206469	0	0
T11	14855	14795	0	0
T12	162914	162851	0	0
T32	385392	385193	0	0
T33	3710	3628	0	0
T34	2068	2006	0	0

DmactiveOKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	53688697	53626146	0	0
T1	54367	54287	0	0
T2	93029	92833	0	0
T3	90044	89006	0	0
T4	445465	445119	0	0
T5	206779	206469	0	0
T11	14855	14795	0	0
T12	162914	162851	0	0
T32	385392	385193	0	0
T33	3710	3628	0	0
T34	2068	2006	0	0

FpvSecCmRegWeOnehotCheck_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	53688697	80	0	0
T41	53999	0	0	0
T53	98600	20	0	0
T54	0	20	0	0
T64	0	20	0	0
T66	0	10	0	0
T67	0	10	0	0
T68	46054	0	0	0
T69	46488	0	0	0
T70	49969	0	0	0
T71	3266	0	0	0
T72	1333	0	0	0
T73	1452	0	0	0
T74	255491	0	0	0
T75	6888	0	0	0

FpvSecCmRomTlLcGateFsm_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	53688697	2	0	0
T57	3254	1	0	0
T60	0	1	0	0
T66	50238	0	0	0
T76	372298	0	0	0
T77	3387	0	0	0
T78	9669	0	0	0
T79	11995	0	0	0
T80	58256	0	0	0
T81	67847	0	0	0
T82	93569	0	0	0
T83	1789	0	0	0

FpvSecCmSbaTlLcGateFsm_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	53688697	2	0	0
T20	168912	0	0	0
T44	25872	0	0	0
T55	5147	1	0	0
T58	0	1	0	0
T84	6773	0	0	0
T85	219077	0	0	0
T86	284847	0	0	0
T87	280279	0	0	0
T88	131108	0	0	0
T89	17185	0	0	0
T90	35076	0	0	0

JtagRspOTdoKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2376091	2376035	0	0
T1	14115	14115	0	0
T2	7285	7285	0	0
T3	5560	5558	0	0
T4	14507	14506	0	0
T5	34602	34598	0	0
T11	683	683	0	0
T12	9135	9135	0	0
T32	9312	9312	0	0
T33	177	177	0	0
T34	139	139	0	0

JtagRspOTdoOeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2376091	2376035	0	0
T1	14115	14115	0	0
T2	7285	7285	0	0
T3	5560	5558	0	0
T4	14507	14506	0	0
T5	34602	34598	0	0
T11	683	683	0	0
T12	9135	9135	0	0
T32	9312	9312	0	0
T33	177	177	0	0
T34	139	139	0	0

NdmresetOKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	53688697	53626146	0	0
T1	54367	54287	0	0
T2	93029	92833	0	0
T3	90044	89006	0	0
T4	445465	445119	0	0
T5	206779	206469	0	0
T11	14855	14795	0	0
T12	162914	162851	0	0
T32	385392	385193	0	0
T33	3710	3628	0	0
T34	2068	2006	0	0

RvDmLcEnDebugVal_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	53688697	53626146	0	0
T1	54367	54287	0	0
T2	93029	92833	0	0
T3	90044	89006	0	0
T4	445465	445119	0	0
T5	206779	206469	0	0
T11	14855	14795	0	0
T12	162914	162851	0	0
T32	385392	385193	0	0
T33	3710	3628	0	0
T34	2068	2006	0	0

TlMemAReadyKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	53688697	53626146	0	0
T1	54367	54287	0	0
T2	93029	92833	0	0
T3	90044	89006	0	0
T4	445465	445119	0	0
T5	206779	206469	0	0
T11	14855	14795	0	0
T12	162914	162851	0	0
T32	385392	385193	0	0
T33	3710	3628	0	0
T34	2068	2006	0	0

TlMemDValidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	53688697	53626146	0	0
T1	54367	54287	0	0
T2	93029	92833	0	0
T3	90044	89006	0	0
T4	445465	445119	0	0
T5	206779	206469	0	0
T11	14855	14795	0	0
T12	162914	162851	0	0
T32	385392	385193	0	0
T33	3710	3628	0	0
T34	2068	2006	0	0

TlRegsAReadyKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	53688697	53626146	0	0
T1	54367	54287	0	0
T2	93029	92833	0	0
T3	90044	89006	0	0
T4	445465	445119	0	0
T5	206779	206469	0	0
T11	14855	14795	0	0
T12	162914	162851	0	0
T32	385392	385193	0	0
T33	3710	3628	0	0
T34	2068	2006	0	0

TlRegsDValidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	53688697	53626146	0	0
T1	54367	54287	0	0
T2	93029	92833	0	0
T3	90044	89006	0	0
T4	445465	445119	0	0
T5	206779	206469	0	0
T11	14855	14795	0	0
T12	162914	162851	0	0
T32	385392	385193	0	0
T33	3710	3628	0	0
T34	2068	2006	0	0

TlSbaAValidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	53688697	53626146	0	0
T1	54367	54287	0	0
T2	93029	92833	0	0
T3	90044	89006	0	0
T4	445465	445119	0	0
T5	206779	206469	0	0
T11	14855	14795	0	0
T12	162914	162851	0	0
T32	385392	385193	0	0
T33	3710	3628	0	0
T34	2068	2006	0	0

TlSbaDReadyKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	53688697	53626146	0	0
T1	54367	54287	0	0
T2	93029	92833	0	0
T3	90044	89006	0	0
T4	445465	445119	0	0
T5	206779	206469	0	0
T11	14855	14795	0	0
T12	162914	162851	0	0
T32	385392	385193	0	0
T33	3710	3628	0	0
T34	2068	2006	0	0

paramCheckNrHarts

Name	Attempts	Real Successes	Failures	Incomplete
Total	263	263	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T32	1	1	0	0
T33	1	1	0	0
T34	1	1	0	0