Module Definition
dashboard | hierarchy | modlist | groups | tests | asserts

Module : usbdev
SCORELINECONDTOGGLEFSMBRANCHASSERT
87.49 96.38 62.63 93.46 85.00 100.00

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

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut 87.49 96.38 62.63 93.46 85.00 100.00



Module Instance : tb.dut

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
87.49 96.38 62.63 93.46 85.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
85.86 95.69 86.08 96.94 45.31 93.76 97.36


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
tb


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_alert_tx[0].u_prim_alert_sender 100.00 100.00
gen_event 100.00 100.00 100.00
gen_no_stubbed_memory.u_memory_1p 98.96 95.83 100.00 100.00 100.00
gen_no_stubbed_memory.u_tlul2sram 83.66 85.71 70.51 78.41 100.00
i_usbdev_iomux 66.67 88.89 44.44 83.33 50.00
intr_av_out_empty 81.39 90.00 55.56 80.00 100.00
intr_av_overflow 81.25 100.00 25.00 100.00 100.00
intr_av_setup_empty 81.39 90.00 55.56 80.00 100.00
intr_disconnected 87.50 100.00 50.00 100.00 100.00
intr_frame 81.25 100.00 25.00 100.00 100.00
intr_host_lost 81.25 100.00 25.00 100.00 100.00
intr_hw_pkt_received 86.94 90.00 77.78 80.00 100.00
intr_hw_pkt_sent 84.17 90.00 66.67 80.00 100.00
intr_link_in_err 81.25 100.00 25.00 100.00 100.00
intr_link_out_err 89.58 100.00 58.33 100.00 100.00
intr_link_reset 89.58 100.00 58.33 100.00 100.00
intr_link_resume 81.25 100.00 25.00 100.00 100.00
intr_link_suspend 81.25 100.00 25.00 100.00 100.00
intr_powered 89.58 100.00 58.33 100.00 100.00
intr_rx_bitstuff_err 81.25 100.00 25.00 100.00 100.00
intr_rx_crc_err 81.25 100.00 25.00 100.00 100.00
intr_rx_full 73.06 90.00 22.22 80.00 100.00
intr_rx_pid_err 81.25 100.00 25.00 100.00 100.00
tlul_assert_device 95.24 100.00 85.71 100.00
u_reg 95.32 97.56 94.26 100.00 97.68 87.10
usbdev_avoutfifo 82.08 95.00 58.33 75.00 100.00
usbdev_avsetupfifo 82.08 95.00 58.33 75.00 100.00
usbdev_csr_assert 100.00 100.00
usbdev_impl 80.52 91.16 82.46 45.31 83.65 100.00
usbdev_rxfifo 83.58 95.00 61.54 77.78 100.00


Since this is the module's only instance, the coverage report is the same as for the module.
Line Coverage for Module : usbdev
Line No.TotalCoveredPercent
TOTAL13813396.38
CONT_ASSIGN12211100.00
CONT_ASSIGN20911100.00
ALWAYS21155100.00
CONT_ASSIGN24411100.00
CONT_ASSIGN24511100.00
CONT_ASSIGN24711100.00
CONT_ASSIGN24911100.00
CONT_ASSIGN29711100.00
CONT_ASSIGN30211100.00
CONT_ASSIGN30511100.00
CONT_ASSIGN30811100.00
CONT_ASSIGN33311100.00
CONT_ASSIGN33411100.00
CONT_ASSIGN33511100.00
CONT_ASSIGN33611100.00
CONT_ASSIGN33711100.00
CONT_ASSIGN341100.00
ALWAYS36400
ALWAYS36433100.00
ALWAYS37200
ALWAYS37244100.00
ALWAYS38100
ALWAYS38133100.00
ALWAYS38800
ALWAYS38833100.00
ALWAYS39500
ALWAYS39533100.00
ALWAYS40200
ALWAYS40222100.00
CONT_ASSIGN409100.00
CONT_ASSIGN41011100.00
CONT_ASSIGN41111100.00
CONT_ASSIGN41311100.00
CONT_ASSIGN418100.00
CONT_ASSIGN41911100.00
CONT_ASSIGN42011100.00
CONT_ASSIGN42211100.00
ALWAYS42633100.00
ALWAYS43300
ALWAYS43333100.00
ALWAYS44233100.00
ALWAYS45433100.00
ALWAYS46100
ALWAYS46133100.00
ALWAYS4681010100.00
ALWAYS48600
ALWAYS48633100.00
ALWAYS49400
ALWAYS49433100.00
CONT_ASSIGN50411100.00
CONT_ASSIGN50511100.00
CONT_ASSIGN50611100.00
CONT_ASSIGN61711100.00
CONT_ASSIGN61811100.00
CONT_ASSIGN62011100.00
CONT_ASSIGN62111100.00
CONT_ASSIGN63911100.00
CONT_ASSIGN64211100.00
ALWAYS64800
ALWAYS64888100.00
CONT_ASSIGN72811100.00
CONT_ASSIGN72911100.00
CONT_ASSIGN73011100.00
CONT_ASSIGN73111100.00
CONT_ASSIGN73911100.00
ALWAYS74888100.00
CONT_ASSIGN76211100.00
CONT_ASSIGN76300
CONT_ASSIGN76611100.00
CONT_ASSIGN76711100.00
CONT_ASSIGN82411100.00
CONT_ASSIGN82511100.00
CONT_ASSIGN82911100.00
CONT_ASSIGN109211100.00
CONT_ASSIGN109311100.00
CONT_ASSIGN109411100.00
CONT_ASSIGN109511100.00
CONT_ASSIGN113511100.00
CONT_ASSIGN113811100.00
CONT_ASSIGN114711100.00
ALWAYS11505360.00
ALWAYS115933100.00
CONT_ASSIGN117211100.00
CONT_ASSIGN117511100.00
CONT_ASSIGN118211100.00
ALWAYS118633100.00
CONT_ASSIGN119311100.00
CONT_ASSIGN119811100.00
CONT_ASSIGN120011100.00
CONT_ASSIGN120800
CONT_ASSIGN121000
CONT_ASSIGN121200
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_usbdev_0.1/rtl/usbdev.sv' or '../src/lowrisc_ip_usbdev_0.1/rtl/usbdev.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
122 1 1
209 1 1
211 1 1
212 1 1
214 1 1
215 1 1
217 1 1
244 1 1
245 1 1
247 1 1
249 1 1
297 1 1
302 1 1
305 1 1
308 1 1
333 1 1
334 1 1
335 1 1
336 1 1
337 1 1
341 0 1
364 1 1
365 1 1
366 1 1
372 1 1
373 1 1
374 1 1
375 1 1
381 1 1
382 1 1
383 1 1
388 1 1
389 1 1
390 1 1
395 1 1
396 1 1
397 1 1
402 1 1
403 1 1
409 0 1
410 1 1
411 1 1
413 1 1
418 0 1
419 1 1
420 1 1
422 1 1
426 1 1
427 1 1
428 1 1
MISSING_ELSE
433 1 1
434 1 1
435 1 1
442 1 1
443 1 1
444 1 1
454 1 1
455 1 1
456 1 1
MISSING_ELSE
461 1 1
462 1 1
463 1 1
468 1 1
469 1 1
470 1 1
471 1 1
472 1 1
474 1 1
476 1 1
477 1 1
478 1 1
480 1 1
MISSING_ELSE
486 1 1
487 1 1
488 1 1
494 1 1
495 1 1
496 1 1
504 1 1
505 1 1
506 1 1
617 1 1
618 1 1
620 1 1
621 1 1
639 1 1
642 1 1
648 1 1
649 1 1
650 1 1
651 1 1
652 1 1
653 1 1
655 1 1
656 1 1
728 1 1
729 1 1
730 1 1
731 1 1
739 1 1
748 1 1
749 1 1
750 1 1
751 1 1
753 1 1
754 1 1
756 1 1
757 1 1
MISSING_ELSE
762 1 1
763 unreachable
766 1 1
767 1 1
824 1 1
825 1 1
829 1 1
1092 1 1
1093 1 1
1094 1 1
1095 1 1
1135 1 1
1138 1 1
1147 1 1
1150 1 1
1151 1 1
1152 0 1
1153 1 1
1154 0 1
MISSING_ELSE
1159 1 1
1160 1 1
1162 1 1
1172 1 1
1175 1 1
1182 1 1
1186 1 1
1187 1 1
1189 1 1
1193 1 1
1198 1 1
1200 1 1
1208 unreachable
1210 unreachable
1212 unreachable


Cond Coverage for Module : usbdev
TotalCoveredPercent
Conditions996262.63
Logical996262.63
Non-Logical00
Event00

 LINE       209
 EXPRESSION (ns_cnt == 6'd47)
            --------1--------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       244
 EXPRESSION (connect_en & ((~avsetup_rvalid)))
             -----1----   ---------2---------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T4,T6
11CoveredT1,T2,T3

 LINE       245
 EXPRESSION (connect_en & ((~avout_rvalid)))
             -----1----   --------2--------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T3,T5
11CoveredT1,T2,T3

 LINE       247
 EXPRESSION ((reg2hw.avsetupbuffer.qe & ((~avsetup_fifo_wready))) | (reg2hw.avoutbuffer.qe & ((~avout_fifo_wready))))
             --------------------------1-------------------------   ------------------------2-----------------------
-1--2-StatusTests
00CoveredT1,T2,T3
01Not Covered
10Not Covered

 LINE       247
 SUB-EXPRESSION (reg2hw.avsetupbuffer.qe & ((~avsetup_fifo_wready)))
                 -----------1-----------   ------------2-----------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T4,T6
11Not Covered

 LINE       247
 SUB-EXPRESSION (reg2hw.avoutbuffer.qe & ((~avout_fifo_wready)))
                 ----------1----------   -----------2----------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T3,T5
11Not Covered

 LINE       249
 EXPRESSION (connect_en & ((~rx_fifo_rvalid)))
             -----1----   ---------2---------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       297
 EXPRESSION (reg2hw.rxfifo.ep.re | reg2hw.rxfifo.setup.re | reg2hw.rxfifo.size.re | reg2hw.rxfifo.buffer.re)
             ---------1---------   -----------2----------   ----------3----------   -----------4-----------
-1--2--3--4-StatusTests
0000CoveredT1,T2,T3
0001Not Covered
0010Not Covered
0100Not Covered
1000Not Covered

 LINE       308
 EXPRESSION (rx_wready & (rx_depth < (RXFifoDepth - 1)))
             ----1----   ---------------2--------------
-1--2-StatusTests
01CoveredT1,T2,T3
10Not Covered
11CoveredT1,T2,T3

 LINE       409
 EXPRESSION (reg2hw.out_data_toggle.status.qe & reg2hw.out_data_toggle.mask.qe)
             ----------------1---------------   ---------------2--------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       418
 EXPRESSION (reg2hw.in_data_toggle.status.qe & reg2hw.in_data_toggle.mask.qe)
             ---------------1---------------   --------------2--------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       427
 EXPRESSION (in_ep_xact_end && in_endpoint_val)
             -------1------    -------2-------
-1--2-StatusTests
01CoveredT1,T2,T3
10Unreachable
11CoveredT5,T12,T13

 LINE       455
 EXPRESSION (rx_wvalid && out_endpoint_val)
             ----1----    --------2-------
-1--2-StatusTests
01CoveredT1,T2,T3
10Unreachable
11CoveredT1,T2,T3

 LINE       474
 EXPRESSION (setup_received & out_endpoint_val)
             -------1------   --------2-------
-1--2-StatusTests
01CoveredT1,T2,T3
10Unreachable
11CoveredT2,T4,T6

 LINE       478
 EXPRESSION (in_ep_xact_end & in_endpoint_val)
             -------1------   -------2-------
-1--2-StatusTests
01CoveredT1,T2,T3
10Unreachable
11CoveredT5,T12,T13

 LINE       496
 EXPRESSION (reg2hw.configin[i].rdy.q | reg2hw.configin[i].pend.q)
             ------------1-----------   ------------2------------
-1--2-StatusTests
00CoveredT1,T2,T3
01Not Covered
10CoveredT5,T12,T13

 LINE       505
 EXPRESSION (cfg_pinflip ? 1'b0 : usb_pullup_en)
             -----1-----
-1-StatusTests
0CoveredT1,T2,T3
1Not Covered

 LINE       506
 EXPRESSION (((!cfg_pinflip)) ? 1'b0 : usb_pullup_en)
             --------1-------
-1-StatusTests
0Not Covered
1CoveredT1,T2,T3

 LINE       621
 EXPRESSION (reg2hw.usbctrl.resume_link_active.qe & reg2hw.usbctrl.resume_link_active.q)
             ------------------1-----------------   -----------------2-----------------
-1--2-StatusTests
01Not Covered
10CoveredT1,T2,T3
11Not Covered

 LINE       728
 EXPRESSION (usb_mem_b_req | sw_mem_a_req)
             ------1------   ------2-----
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T3,T7
10CoveredT1,T2,T3

 LINE       729
 EXPRESSION (usb_mem_b_req ? usb_mem_b_write : sw_mem_a_write)
             ------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       730
 EXPRESSION (usb_mem_b_req ? usb_mem_b_addr : sw_mem_a_addr)
             ------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       731
 EXPRESSION (usb_mem_b_req ? usb_mem_b_wdata : sw_mem_a_wdata)
             ------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       754
 EXPRESSION (usb_mem_b_req & ((!usb_mem_b_write)))
             ------1------   ----------2---------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT5,T12,T13

 LINE       762
 EXPRESSION (gen_no_stubbed_memory.mem_rvalid & ((!gen_no_stubbed_memory.mem_rsteering)))
             ----------------1---------------   --------------------2-------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT5,T12,T13
11CoveredT1,T3,T7

 LINE       767
 EXPRESSION (gen_no_stubbed_memory.mem_b_read_q ? gen_no_stubbed_memory.mem_rdata : gen_no_stubbed_memory.mem_b_rdata_q)
             -----------------1----------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT5,T12,T13

 LINE       829
 SUB-EXPRESSION (reg2hw.alert_test.q & reg2hw.alert_test.qe)
                 ---------1---------   ----------2---------
-1--2-StatusTests
01Not Covered
10CoveredT1,T2,T3
11Not Covered

 LINE       1138
 EXPRESSION (use_diff_rcvr & ((~link_suspend)))
             ------1------   --------2--------
-1--2-StatusTests
01CoveredT1,T2,T3
10Not Covered
11Not Covered

 LINE       1147
 EXPRESSION (usb_rcvr_ok_counter_q == '0)
            --------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       1151
 EXPRESSION (use_diff_rcvr & ((!usb_rx_enable_o)))
             ------1------   ----------2---------
-1--2-StatusTests
01CoveredT1,T2,T3
10Not Covered
11Not Covered

 LINE       1153
 EXPRESSION (us_tick && (usb_rcvr_ok_counter_q > '0))
             ---1---    --------------2-------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11Not Covered

 LINE       1175
 EXPRESSION (usb_ref_disable ? 1'b0 : event_sof)
             -------1-------
-1-StatusTests
0CoveredT1,T2,T3
1Not Covered

 LINE       1182
 EXPRESSION (usb_ref_pulse_o ? 1'b1 : ((((!link_active)) || host_lost || usb_ref_disable) ? 1'b0 : usb_ref_val_q))
             -------1-------
-1-StatusTests
0CoveredT1,T2,T3
1Not Covered

 LINE       1182
 SUB-EXPRESSION ((((!link_active)) || host_lost || usb_ref_disable) ? 1'b0 : usb_ref_val_q)
                 -------------------------1------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       1182
 SUB-EXPRESSION (((!link_active)) || host_lost || usb_ref_disable)
                 --------1-------    ----2----    -------3-------
-1--2--3-StatusTests
000CoveredT1,T2,T3
001Not Covered
010Not Covered
100CoveredT1,T2,T3

 LINE       1198
 EXPRESSION (reg2hw.wake_control.suspend_req.qe & reg2hw.wake_control.suspend_req.q)
             -----------------1----------------   ----------------2----------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       1200
 EXPRESSION (reg2hw.wake_control.wake_ack.qe & reg2hw.wake_control.wake_ack.q)
             ---------------1---------------   ---------------2--------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

Toggle Coverage for Module : usbdev
TotalCoveredPercent
Totals 68 60 88.24
Total Bits 428 400 93.46
Total Bits 0->1 214 200 93.46
Total Bits 1->0 214 200 93.46

Ports 68 60 88.24
Port Bits 428 400 93.46
Port Bits 0->1 214 200 93.46
Port Bits 1->0 214 200 93.46

Port Details
NameToggleToggle 1->0TestsToggle 0->1TestsDirection
clk_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
rst_ni Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
clk_aon_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
rst_aon_ni Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
tl_i.d_ready Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
tl_i.a_user.data_intg[6:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
tl_i.a_user.cmd_intg[6:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
tl_i.a_user.instr_type[3:0] Yes Yes T1,T3,T7 Yes T1,T3,T7 INPUT
tl_i.a_user.rsvd[4:0] Unreachable Unreachable Unreachable INPUT
tl_i.a_data[31:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
tl_i.a_mask[3:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
tl_i.a_address[31:0] Yes Yes T1,T3,T5 Yes T1,T2,T3 INPUT
tl_i.a_source[7:0] Yes Yes T1,T3,T4 Yes T1,T3,T4 INPUT
tl_i.a_size[1:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
tl_i.a_param[2:0] Unreachable Unreachable Unreachable INPUT
tl_i.a_opcode[2:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
tl_i.a_valid Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
tl_o.a_ready Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
tl_o.d_error Yes Yes T37,T38,T39 Yes T37,T38,T39 OUTPUT
tl_o.d_user.data_intg[6:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
tl_o.d_user.rsp_intg[5:0] Yes Yes *T1,*T2,*T3 Yes T1,T2,T3 OUTPUT
tl_o.d_user.rsp_intg[6] Unreachable Unreachable Unreachable OUTPUT
tl_o.d_data[31:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
tl_o.d_sink Unreachable Unreachable Unreachable OUTPUT
tl_o.d_source[7:0] Yes Yes T3,T4,T5 Yes T3,T4,T5 OUTPUT
tl_o.d_size[1:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
tl_o.d_param[2:0] Unreachable Unreachable Unreachable OUTPUT
tl_o.d_opcode[0] Yes Yes *T1,*T2,*T3 Yes T1,T2,T3 OUTPUT
tl_o.d_opcode[2:1] Unreachable Unreachable Unreachable OUTPUT
tl_o.d_valid Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
alert_rx_i[0].ack_n Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
alert_rx_i[0].ack_p Yes Yes T40,T41,T42 Yes T40,T41,T42 INPUT
alert_rx_i[0].ping_n Unreachable Unreachable Unreachable INPUT
alert_rx_i[0].ping_p Unreachable Unreachable Unreachable 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 T40,T41,T42 Yes T40,T41,T42 OUTPUT
cio_usb_dp_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
cio_usb_dn_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
usb_rx_d_i No No No INPUT
cio_usb_dp_o Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
cio_usb_dp_en_o Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
cio_usb_dn_o Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
cio_usb_dn_en_o Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
usb_tx_se0_o Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
usb_tx_d_o Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
cio_sense_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
usb_dp_pullup_o Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
usb_dn_pullup_o Yes Yes T43,T44,T45 Yes T43,T44,T45 OUTPUT
usb_rx_enable_o Yes Yes T46,T43,T47 Yes T48,T49,T50 OUTPUT
usb_tx_use_d_se0_o Yes Yes T48,T46,T43 Yes T48,T51,T46 OUTPUT
usb_aon_suspend_req_o Yes Yes T43,T44,T52 Yes T43,T44,T52 OUTPUT
usb_aon_wake_ack_o Yes Yes T38,T48,T53 Yes T38,T48,T53 OUTPUT
usb_aon_bus_reset_i Unreachable Unreachable Unreachable INPUT
usb_aon_sense_lost_i Unreachable Unreachable Unreachable INPUT
usb_aon_wake_detect_active_i Unreachable Unreachable Unreachable INPUT
usb_ref_val_o No No No OUTPUT
usb_ref_pulse_o No No No OUTPUT
ram_cfg_i.rf_cfg.cfg[3:0] No No No INPUT
ram_cfg_i.rf_cfg.cfg_en No No No INPUT
ram_cfg_i.ram_cfg.cfg[3:0] No No No INPUT
ram_cfg_i.ram_cfg.cfg_en No No No INPUT
intr_pkt_received_o Yes Yes T2,T4,T6 Yes T2,T4,T6 OUTPUT
intr_pkt_sent_o Yes Yes T5,T12,T13 Yes T5,T12,T13 OUTPUT
intr_powered_o Yes Yes T38,T46,T43 Yes T38,T48,T49 OUTPUT
intr_disconnected_o Yes Yes T38,T50,T46 Yes T38,T48,T51 OUTPUT
intr_host_lost_o Yes Yes T43,T44,T45 Yes T43,T44,T45 OUTPUT
intr_link_reset_o Yes Yes T43,T45,T52 Yes T43,T45,T52 OUTPUT
intr_link_suspend_o Yes Yes T43 Yes T43 OUTPUT
intr_link_resume_o Yes Yes T43,T45,T52 Yes T43,T45,T52 OUTPUT
intr_av_out_empty_o Yes Yes T52 Yes T52 OUTPUT
intr_rx_full_o Yes Yes T45,T52 Yes T45,T52 OUTPUT
intr_av_overflow_o Yes Yes T43,T44,T45 Yes T43,T44,T45 OUTPUT
intr_link_in_err_o Yes Yes T43,T52 Yes T43,T52 OUTPUT
intr_link_out_err_o No No No OUTPUT
intr_rx_crc_err_o Yes Yes T45 Yes T45 OUTPUT
intr_rx_pid_err_o Yes Yes T43,T44,T45 Yes T43,T44,T45 OUTPUT
intr_rx_bitstuff_err_o Yes Yes T45 Yes T45 OUTPUT
intr_frame_o Yes Yes T43 Yes T43 OUTPUT
intr_av_setup_empty_o Yes Yes T43,T52 Yes T43,T52 OUTPUT

*Tests covering at least one bit in the range

Branch Coverage for Module : usbdev
Line No.TotalCoveredPercent
Branches 40 34 85.00
TERNARY 505 2 1 50.00
TERNARY 506 2 1 50.00
TERNARY 1175 2 1 50.00
TERNARY 1182 3 2 66.67
TERNARY 729 2 2 100.00
TERNARY 730 2 2 100.00
TERNARY 731 2 2 100.00
TERNARY 767 2 2 100.00
IF 211 3 3 100.00
IF 427 2 2 100.00
IF 455 2 2 100.00
IF 470 4 4 100.00
IF 651 2 2 100.00
IF 1151 3 1 33.33
IF 1159 2 2 100.00
IF 1186 2 2 100.00
IF 748 3 3 100.00

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

LineNo. Expression -1-: 505 (cfg_pinflip) ?

Branches:
-1-StatusTests
1 Not Covered
0 Covered T1,T2,T3


LineNo. Expression -1-: 506 ((!cfg_pinflip)) ?

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Not Covered


LineNo. Expression -1-: 1175 (usb_ref_disable) ?

Branches:
-1-StatusTests
1 Not Covered
0 Covered T1,T2,T3


LineNo. Expression -1-: 1182 (usb_ref_pulse_o) ? -2-: 1182 ((((!link_active) || host_lost) || usb_ref_disable)) ?

Branches:
-1--2-StatusTests
1 - Not Covered
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 729 (usb_mem_b_req) ?

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 730 (usb_mem_b_req) ?

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 731 (usb_mem_b_req) ?

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 767 (gen_no_stubbed_memory.mem_b_read_q) ?

Branches:
-1-StatusTests
1 Covered T5,T12,T13
0 Covered T1,T2,T3


LineNo. Expression -1-: 211 if ((!rst_n)) -2-: 214 if (us_tick)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 427 if ((in_ep_xact_end && in_endpoint_val))

Branches:
-1-StatusTests
1 Covered T5,T12,T13
0 Covered T1,T2,T3


LineNo. Expression -1-: 455 if ((rx_wvalid && out_endpoint_val))

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 470 if (event_link_reset) -2-: 474 if ((setup_received & out_endpoint_val)) -3-: 478 if ((in_ep_xact_end & in_endpoint_val))

Branches:
-1--2--3-StatusTests
1 - - Covered T1,T2,T3
0 1 - Covered T2,T4,T6
0 0 1 Covered T5,T12,T13
0 0 0 Covered T1,T2,T3


LineNo. Expression -1-: 651 if (((setup_received && out_endpoint_val) && (out_endpoint == 4'((unsigned'(i))))))

Branches:
-1-StatusTests
1 Covered T2,T4,T6
0 Covered T1,T2,T3


LineNo. Expression -1-: 1151 if ((use_diff_rcvr & (!usb_rx_enable_o))) -2-: 1153 if ((us_tick && (usb_rcvr_ok_counter_q > '0)))

Branches:
-1--2-StatusTests
1 - Not Covered
0 1 Not Covered
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 1159 if ((!rst_n))

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 1186 if ((!rst_n))

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 748 if ((!rst_ni)) -2-: 756 if (gen_no_stubbed_memory.mem_b_read_q)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T5,T12,T13
0 0 Covered T1,T2,T3


Assert Coverage for Module : usbdev
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 35 35 100.00 35 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 35 35 100.00 35 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AlertsKnown_A 113709301 113654113 0 0
CIODnEnKnown_A 113709301 113654113 0 0
CIODnKnown_A 113709301 113654113 0 0
CIODpEnKnown_A 113709301 113654113 0 0
CIODpKnown_A 113709301 113654113 0 0
FpvSecCmRegWeOnehotCheck_A 113709301 60 0 0
TlOAReadyKnown_A 113709301 113654113 0 0
TlODValidKnown_A 113709301 113654113 0 0
USBAonSuspendReqKnown_A 113709301 113654113 0 0
USBAonWakeAckKnown_A 113709301 113654113 0 0
USBDnPUKnown_A 113709301 113654113 0 0
USBDpPUKnown_A 113709301 113654113 0 0
USBIntrAvOutEmptyKnown_A 113709301 113654113 0 0
USBIntrAvOverKnown_A 113709301 113654113 0 0
USBIntrAvSetupEmptyKnown_A 113709301 113654113 0 0
USBIntrDisConKnown_A 113709301 113654113 0 0
USBIntrFrameKnown_A 113709301 113654113 0 0
USBIntrHostLostKnown_A 113709301 113654113 0 0
USBIntrLinkInErrKnown_A 113709301 113654113 0 0
USBIntrLinkOutErrKnown_A 113709301 113654113 0 0
USBIntrLinkResKnown_A 113709301 113654113 0 0
USBIntrLinkRstKnown_A 113709301 113654113 0 0
USBIntrLinkSusKnown_A 113709301 113654113 0 0
USBIntrPktRcvdKnown_A 113709301 113654113 0 0
USBIntrPktSentKnown_A 113709301 113654113 0 0
USBIntrPwrdKnown_A 113709301 113654113 0 0
USBIntrRxBitstuffErrKnown_A 113709301 113654113 0 0
USBIntrRxCrCErrKnown_A 113709301 113654113 0 0
USBIntrRxFullKnown_A 113709301 113654113 0 0
USBIntrRxPidErrKnown_A 113709301 113654113 0 0
USBRefPulseKnown_A 113709301 113654113 0 0
USBRefValKnown_A 113709301 113654113 0 0
USBRxEnableKnown_A 113709301 113654113 0 0
USBTxDKnown_A 113709301 113654113 0 0
USBTxSe0Known_A 113709301 113654113 0 0


AlertsKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

CIODnEnKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

CIODnKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

CIODpEnKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

CIODpKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

FpvSecCmRegWeOnehotCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 60 0 0
T16 405625 0 0 0
T21 405927 0 0 0
T34 401721 0 0 0
T35 401851 0 0 0
T40 4114 10 0 0
T41 0 10 0 0
T42 0 10 0 0
T54 0 10 0 0
T55 0 20 0 0
T56 401660 0 0 0
T57 401743 0 0 0
T58 405105 0 0 0
T59 405569 0 0 0
T60 401917 0 0 0

TlOAReadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

TlODValidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

USBAonSuspendReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

USBAonWakeAckKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

USBDnPUKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

USBDpPUKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

USBIntrAvOutEmptyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

USBIntrAvOverKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

USBIntrAvSetupEmptyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

USBIntrDisConKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

USBIntrFrameKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

USBIntrHostLostKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

USBIntrLinkInErrKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

USBIntrLinkOutErrKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

USBIntrLinkResKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

USBIntrLinkRstKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

USBIntrLinkSusKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

USBIntrPktRcvdKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

USBIntrPktSentKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

USBIntrPwrdKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

USBIntrRxBitstuffErrKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

USBIntrRxCrCErrKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

USBIntrRxFullKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

USBIntrRxPidErrKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

USBRefPulseKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

USBRefValKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

USBRxEnableKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

USBTxDKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

USBTxSe0Known_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 113709301 113654113 0 0
T1 401819 401567 0 0
T2 401947 401725 0 0
T3 401971 401759 0 0
T4 401725 401473 0 0
T5 404441 404323 0 0
T6 401934 401706 0 0
T7 401859 401592 0 0
T8 404463 404321 0 0
T9 403911 403733 0 0
T10 404481 404359 0 0

0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%