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

Module : spi_device
SCORELINECONDTOGGLEFSMBRANCHASSERT
95.39 96.31 94.03 97.00 93.33 96.30

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

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut 95.39 96.31 94.03 97.00 93.33 96.30



Module Instance : tb.dut

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
95.39 96.31 94.03 97.00 93.33 96.30


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.66 99.01 96.35 98.63 92.06 98.05 95.86


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
tb


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_alert_tx[0].u_prim_alert_sender 100.00 100.00
spi_device_csr_assert 100.00 100.00
tlul_assert_device 100.00 100.00 100.00 100.00
u_clk_csb_buf 100.00 100.00
u_clk_csb_edge_0 100.00 100.00 100.00 100.00
u_clk_csb_mux 64.81 100.00 44.44 50.00
u_clk_spi 85.19 100.00 55.56 100.00
u_clk_spi_in_buf 100.00 100.00
u_clk_spi_in_mux 64.81 100.00 44.44 50.00
u_clk_spi_out_buf 100.00 100.00
u_clk_spi_out_mux 64.81 100.00 44.44 50.00
u_cmdparse 99.06 100.00 97.33 100.00 97.96 100.00
u_csb_buf 100.00 100.00
u_csb_edge_spiclk 94.44 100.00 83.33 100.00
u_csb_edge_sysclk 100.00 100.00 100.00 100.00
u_csb_rst_scan_mux 64.81 100.00 44.44 50.00
u_flash_readbuf_flip_pulse_sync 100.00 100.00 100.00 100.00 100.00
u_flash_readbuf_watermark_pulse_sync 100.00 100.00 100.00 100.00 100.00
u_fwmode 94.94 99.27 89.44 100.00 97.11 88.89
u_intr_cmdfifo_not_empty 100.00 100.00 100.00 100.00 100.00
u_intr_payload_not_empty 100.00 100.00 100.00 100.00 100.00
u_intr_payload_overflow 100.00 100.00 100.00 100.00 100.00
u_intr_readbuf_flip 100.00 100.00 100.00 100.00 100.00
u_intr_readbuf_watermark 100.00 100.00 100.00 100.00 100.00
u_intr_rxerr 100.00 100.00 100.00 100.00 100.00
u_intr_rxf 100.00 100.00 100.00 100.00 100.00
u_intr_rxlvl 100.00 100.00 100.00 100.00 100.00
u_intr_rxoverflow 100.00 100.00 100.00 100.00 100.00
u_intr_tpm_cmdaddr_notempty 100.00 100.00 100.00 100.00 100.00
u_intr_txlvl 100.00 100.00 100.00 100.00 100.00
u_intr_txunderflow 100.00 100.00 100.00 100.00 100.00
u_intr_upload_edge 100.00 100.00 100.00
u_jedec 99.38 100.00 100.00 100.00 96.88 100.00
u_memory_2p 100.00 100.00 100.00 100.00 100.00
u_p2s 90.20 100.00 84.62 76.19 100.00
u_passthrough 90.46 94.33 90.09 75.00 92.86 100.00
u_readcmd 93.14 97.16 93.19 87.50 87.82 100.00
u_reg 99.68 99.49 99.59 100.00 99.32 100.00
u_rx_rst_scan_mux 64.81 100.00 44.44 50.00
u_rxf_overflow 75.00 100.00 100.00 100.00 0.00
u_s2p 89.85 100.00 85.71 73.68 100.00
u_scanmode_sync 100.00 100.00
u_sck_csb_edge 94.44 100.00 83.33 100.00
u_sck_tog_edge 100.00 100.00 100.00 100.00
u_spi_tpm 96.43 99.76 93.53 91.67 97.18 100.00
u_spid_addr_4b 100.00 100.00 100.00 100.00
u_spid_status 96.19 100.00 86.84 100.00 94.12 100.00
u_sram_clk_cg 83.33 100.00 50.00 100.00
u_sram_clk_scan 64.81 100.00 44.44 50.00
u_sram_clk_sel 100.00 100.00 100.00 100.00
u_sram_rst_scanmux 64.81 100.00 44.44 50.00
u_sram_rst_sel 100.00 100.00 100.00 100.00
u_sync_rxf 100.00 100.00 100.00
u_sync_txe 100.00 100.00 100.00
u_sys_sram_arbiter 87.03 100.00 70.73 96.43 80.95
u_sys_tpm_csb_sync 100.00 100.00 100.00
u_tlul2sram 88.21 88.70 77.78 86.36 100.00
u_tpm_csb_buf 100.00 100.00
u_tpm_csb_rst_scan_mux 64.81 100.00 44.44 50.00
u_tpm_csb_rst_sync 70.83 88.89 44.44 100.00 50.00
u_tx_rst_scan_mux 64.81 100.00 44.44 50.00
u_txf_underflow 75.00 100.00 100.00 100.00 0.00
u_upload 91.13 98.58 73.82 100.00 93.98 89.29


Since this is the module's only instance, the coverage report is the same as for the module.
Line Coverage for Module : spi_device
Line No.TotalCoveredPercent
TOTAL24423596.31
CONT_ASSIGN19111100.00
CONT_ASSIGN34111100.00
CONT_ASSIGN40011100.00
CONT_ASSIGN40111100.00
CONT_ASSIGN40211100.00
CONT_ASSIGN40311100.00
CONT_ASSIGN40511100.00
CONT_ASSIGN40611100.00
CONT_ASSIGN40811100.00
CONT_ASSIGN41011100.00
CONT_ASSIGN41411100.00
CONT_ASSIGN41511100.00
CONT_ASSIGN41611100.00
CONT_ASSIGN41711100.00
CONT_ASSIGN41911100.00
CONT_ASSIGN42011100.00
CONT_ASSIGN42311100.00
CONT_ASSIGN42411100.00
CONT_ASSIGN42711100.00
CONT_ASSIGN43011100.00
CONT_ASSIGN43111100.00
CONT_ASSIGN43411100.00
CONT_ASSIGN43511100.00
CONT_ASSIGN43811100.00
CONT_ASSIGN43911100.00
ALWAYS44333100.00
ALWAYS44733100.00
CONT_ASSIGN46311100.00
CONT_ASSIGN46711100.00
CONT_ASSIGN46811100.00
ALWAYS48055100.00
CONT_ASSIGN49011100.00
CONT_ASSIGN49100
CONT_ASSIGN49311100.00
CONT_ASSIGN49411100.00
ALWAYS49755100.00
CONT_ASSIGN50511100.00
CONT_ASSIGN50611100.00
CONT_ASSIGN62311100.00
CONT_ASSIGN72511100.00
CONT_ASSIGN73211100.00
CONT_ASSIGN73411100.00
ALWAYS73744100.00
CONT_ASSIGN74511100.00
CONT_ASSIGN75111100.00
CONT_ASSIGN75411100.00
CONT_ASSIGN75511100.00
CONT_ASSIGN75911100.00
ALWAYS76400
ALWAYS76422100.00
CONT_ASSIGN76911100.00
CONT_ASSIGN77011100.00
ALWAYS77800
ALWAYS7781212100.00
CONT_ASSIGN84411100.00
CONT_ASSIGN84511100.00
CONT_ASSIGN84611100.00
ALWAYS109566100.00
ALWAYS112144100.00
CONT_ASSIGN114011100.00
ALWAYS116433100.00
ALWAYS117088100.00
ALWAYS12083535100.00
ALWAYS13011313100.00
ALWAYS133833100.00
CONT_ASSIGN154011100.00
CONT_ASSIGN154211100.00
CONT_ASSIGN154511100.00
CONT_ASSIGN154611100.00
CONT_ASSIGN154811100.00
CONT_ASSIGN154911100.00
CONT_ASSIGN1588100.00
CONT_ASSIGN1618100.00
CONT_ASSIGN170211100.00
CONT_ASSIGN170311100.00
CONT_ASSIGN170511100.00
CONT_ASSIGN170711100.00
CONT_ASSIGN170811100.00
CONT_ASSIGN171011100.00
CONT_ASSIGN171411100.00
CONT_ASSIGN171711100.00
CONT_ASSIGN172011100.00
CONT_ASSIGN172311100.00
CONT_ASSIGN172611100.00
CONT_ASSIGN172911100.00
CONT_ASSIGN173611100.00
CONT_ASSIGN173711100.00
CONT_ASSIGN177911100.00
CONT_ASSIGN1881100.00
CONT_ASSIGN188911100.00
CONT_ASSIGN189011100.00
CONT_ASSIGN189111100.00
CONT_ASSIGN189211100.00
CONT_ASSIGN189311100.00
CONT_ASSIGN189611100.00
CONT_ASSIGN190511100.00
CONT_ASSIGN190511100.00
CONT_ASSIGN190511100.00
CONT_ASSIGN190511100.00
CONT_ASSIGN190511100.00
CONT_ASSIGN190811100.00
CONT_ASSIGN190911100.00
CONT_ASSIGN191011100.00
CONT_ASSIGN191111100.00
CONT_ASSIGN191211100.00
CONT_ASSIGN191311100.00
CONT_ASSIGN191511100.00
CONT_ASSIGN191911100.00
CONT_ASSIGN192111100.00
CONT_ASSIGN192211100.00
CONT_ASSIGN192911100.00
CONT_ASSIGN193111100.00
CONT_ASSIGN193311100.00
CONT_ASSIGN193711100.00
CONT_ASSIGN193911100.00
CONT_ASSIGN194011100.00
CONT_ASSIGN197611100.00
ALWAYS198366100.00
CONT_ASSIGN199411100.00
CONT_ASSIGN199411100.00
CONT_ASSIGN199611100.00
CONT_ASSIGN199611100.00
CONT_ASSIGN199611100.00
CONT_ASSIGN199711100.00
CONT_ASSIGN1997100.00
CONT_ASSIGN1997100.00
CONT_ASSIGN199811100.00
CONT_ASSIGN1998100.00
CONT_ASSIGN1998100.00
CONT_ASSIGN199911100.00
CONT_ASSIGN1999100.00
CONT_ASSIGN1999100.00
CONT_ASSIGN200111100.00
CONT_ASSIGN200111100.00
CONT_ASSIGN200111100.00
CONT_ASSIGN200211100.00
CONT_ASSIGN200211100.00
CONT_ASSIGN200211100.00
CONT_ASSIGN200311100.00
CONT_ASSIGN200311100.00
CONT_ASSIGN200311100.00
CONT_ASSIGN204611100.00
CONT_ASSIGN204711100.00
CONT_ASSIGN204811100.00
CONT_ASSIGN204911100.00
CONT_ASSIGN205011100.00
CONT_ASSIGN205211100.00
CONT_ASSIGN205311100.00
CONT_ASSIGN205411100.00
CONT_ASSIGN211411100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_spi_device_0.1/rtl/spi_device.sv' or '../src/lowrisc_ip_spi_device_0.1/rtl/spi_device.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
191 1 1
341 1 1
400 1 1
401 1 1
402 1 1
403 1 1
405 1 1
406 1 1
408 1 1
410 1 1
414 1 1
415 1 1
416 1 1
417 1 1
419 1 1
420 1 1
423 1 1
424 1 1
427 1 1
430 1 1
431 1 1
434 1 1
435 1 1
438 1 1
439 1 1
443 2 2
444 1 1
447 2 2
448 1 1
463 1 1
467 1 1
468 1 1
480 1 1
481 1 1
482 1 1
484 1 1
485 1 1
490 1 1
491 unreachable
493 1 1
494 1 1
497 1 1
498 1 1
499 1 1
501 1 1
502 1 1
505 1 1
506 1 1
623 1 1
725 1 1
732 1 1
734 1 1
737 1 1
738 1 1
739 1 1
740 1 1
MISSING_ELSE
745 1 1
751 1 1
754 1 1
755 1 1
759 1 1
764 1 1
765 1 1
769 1 1
770 1 1
778 1 1
779 1 1
797 1 1
798 1 1
802 1 1
803 1 1
805 1 1
806 1 1
808 1 1
809 1 1
811 1 1
812 1 1
844 1 1
845 1 1
846 1 1
1095 2 2
1096 1 1
1097 1 1
1098 1 1
1099 1 1
MISSING_ELSE
1121 2 2
1122 1 1
1123 1 1
MISSING_ELSE
1140 1 1
1164 2 2
1165 1 1
1170 1 1
1172 1 1
1173 1 1
1180 1 1
1184 1 1
1185 1 1
1189 1 1
1190 1 1
1208 1 1
1209 1 1
1210 1 1
1211 1 1
1213 1 1
1215 1 1
1221 1 1
1227 1 1
1229 1 1
1231 1 1
1232 1 1
1233 1 1
1237 1 1
1238 1 1
1243 1 1
1244 1 1
1246 1 1
1248 1 1
1250 1 1
1254 1 1
1256 1 1
1257 1 1
1258 1 1
1261 1 1
1263 1 1
1264 1 1
1265 1 1
1270 1 1
1272 1 1
1273 1 1
1274 1 1
1278 1 1
1280 1 1
1281 1 1
1282 1 1
1301 1 1
1302 1 1
1304 1 1
1306 1 1
1307 1 1
1311 1 1
1313 1 1
1314 1 1
1318 1 1
1319 1 1
1320 1 1
1322 1 1
1323 1 1
1338 2 2
1339 1 1
1540 1 1
1542 1 1
1545 1 1
1546 1 1
1548 1 1
1549 1 1
1588 0 1
1618 0 1
1702 1 1
1703 1 1
1705 1 1
1707 1 1
1708 1 1
1710 1 1
1714 1 1
1717 1 1
1720 1 1
1723 1 1
1726 1 1
1729 1 1
1736 1 1
1737 1 1
1779 1 1
1881 0 1
1889 1 1
1890 1 1
1891 1 1
1892 1 1
1893 1 1
1896 1 1
1905 5 5
1908 1 1
1909 1 1
1910 1 1
1911 1 1
1912 1 1
1913 1 1
1915 1 1
1919 1 1
1921 1 1
1922 1 1
1929 1 1
1931 1 1
1933 1 1
1937 1 1
1939 1 1
1940 1 1
1976 1 1
1983 1 1
1984 1 1
1985 1 1
1986 1 1
1987 1 1
1989 1 1
MISSING_ELSE
1994 2 2
1996 3 3
1997 1 3
1998 1 3
1999 1 3
2001 3 3
2002 3 3
2003 3 3
2046 1 1
2047 1 1
2048 1 1
2049 1 1
2050 1 1
2052 1 1
2053 1 1
2054 1 1
2114 1 1


Cond Coverage for Module : spi_device
TotalCoveredPercent
Conditions676394.03
Logical676394.03
Non-Logical00
Event00

 LINE       191
 EXPRESSION (payload_depth != '0)
            ----------1----------
-1-StatusTests
0CoveredT4,T1,T5
1CoveredT6,T7,T8

 LINE       490
 EXPRESSION (((~sram_rxf_full_q)) & sram_rxf_full)
             ----------1---------   ------2------
-1--2-StatusTests
01CoveredT15,T37,T8
10CoveredT4,T1,T5
11CoveredT15,T37,T8

 LINE       491
 EXPRESSION (((~fwm_rxerr_q)) & fwm_rxerr)
             --------1-------   ----2----
-1--2-StatusTests
01Unreachable
10CoveredT4,T1,T5
11Unreachable

 LINE       505
 EXPRESSION (((~rxlvl)) && rxlvl_d)
             -----1----    ---2---
-1--2-StatusTests
01CoveredT2,T9,T13
10CoveredT4,T1,T5
11CoveredT2,T9,T13

 LINE       506
 EXPRESSION (((~txlvl)) && txlvl_d)
             -----1----    ---2---
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T1,T5
11CoveredT1,T2,T3

 LINE       845
 EXPRESSION ((cpha ^ cpol) ? sck_n : cio_sck_i)
             ------1------
-1-StatusTests
0CoveredT4,T1,T5
1CoveredT2,T3,T9

 LINE       845
 SUB-EXPRESSION (cpha ^ cpol)
                 --1-   --2-
-1--2-StatusTests
00CoveredT4,T1,T5
01CoveredT3,T13,T14
10CoveredT2,T9,T13
11CoveredT2,T9,T13

 LINE       846
 EXPRESSION ((cpha ^ cpol) ? cio_sck_i : sck_n)
             ------1------
-1-StatusTests
0CoveredT4,T1,T5
1CoveredT2,T3,T9

 LINE       846
 SUB-EXPRESSION (cpha ^ cpol)
                 --1-   --2-
-1--2-StatusTests
00CoveredT4,T1,T5
01CoveredT3,T13,T14
10CoveredT2,T9,T13
11CoveredT2,T9,T13

 LINE       899
 EXPRESSION (rst_ni & ((~rst_csb_buf)))
             ---1--   --------2-------
-1--2-StatusTests
01Not Covered
10CoveredT4,T1,T5
11CoveredT2,T3,T9

 LINE       908
 EXPRESSION (rst_ni & ((~rst_txfifo_reg)))
             ---1--   ---------2---------
-1--2-StatusTests
01CoveredT4,T1,T5
10CoveredT14,T74,T75
11CoveredT4,T1,T5

 LINE       917
 EXPRESSION (rst_ni & ((~rst_rxfifo_reg)))
             ---1--   ---------2---------
-1--2-StatusTests
01CoveredT4,T1,T5
10CoveredT76,T77,T78
11CoveredT4,T1,T5

 LINE       928
 EXPRESSION (rst_ni & ((~rst_tpm_csb_buf)))
             ---1--   ----------2---------
-1--2-StatusTests
01Not Covered
10CoveredT4,T1,T5
11CoveredT4,T5,T2

 LINE       976
 EXPRESSION (spi_mode == FwMode)
            ----------1---------
-1-StatusTests
0CoveredT4,T1,T5
1CoveredT1,T2,T3

 LINE       1003
 EXPRESSION (spi_mode == FwMode)
            ----------1---------
-1-StatusTests
0CoveredT4,T1,T5
1CoveredT1,T2,T3

 LINE       1140
 EXPRESSION (spi_clk_pos_edge | spi_clk_neg_edge)
             --------1-------   --------2-------
-1--2-StatusTests
00CoveredT4,T1,T5
01CoveredT4,T5,T16
10CoveredT4,T5,T16

 LINE       1194
 EXPRESSION (cmd_only_dp_sel == DpUpload)
            --------------1--------------
-1-StatusTests
0CoveredT4,T1,T5
1CoveredT6,T7,T8

 LINE       1304
 EXPRESSION (cfg_tpm_en && ((!sck_tpm_csb_buf)))
             -----1----    ----------2---------
-1--2-StatusTests
01CoveredT2,T9,T40
10CoveredT4,T5,T16
11CoveredT4,T5,T16

 LINE       1540
 EXPRESSION (reg2hw.flash_status.busy.qe && reg2hw.flash_status.status.qe)
             -------------1-------------    --------------2--------------
-1--2-StatusTests
01Not Covered
10Not Covered
11CoveredT12,T10,T6

 LINE       1548
 EXPRESSION (cmd_only_dp_sel == DpWrEn)
            -------------1-------------
-1-StatusTests
0CoveredT4,T1,T5
1CoveredT6,T18,T7

 LINE       1549
 EXPRESSION (cmd_only_dp_sel == DpWrDi)
            -------------1-------------
-1-StatusTests
0CoveredT4,T1,T5
1CoveredT6,T7,T8

 LINE       1736
 EXPRESSION (cmd_only_dp_sel == DpEn4B)
            -------------1-------------
-1-StatusTests
0CoveredT4,T1,T5
1CoveredT6,T18,T7

 LINE       1737
 EXPRESSION (cmd_only_dp_sel == DpEx4B)
            -------------1-------------
-1-StatusTests
0CoveredT4,T1,T5
1CoveredT6,T7,T42

 LINE       1986
 EXPRESSION ((0 != j) && sys_sram_l2m[j].req)
             ----1---    ---------2---------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T1,T5
11CoveredT6,T7,T8

 LINE       1986
 SUB-EXPRESSION (0 != j)
                ----1---
-1-StatusTests
0CoveredT4,T1,T5
1CoveredT4,T1,T5

 LINE       2114
 SUB-EXPRESSION (reg2hw.alert_test.q & reg2hw.alert_test.qe)
                 ---------1---------   ----------2---------
-1--2-StatusTests
01CoveredT64,T65,T79
10CoveredT4,T1,T5
11CoveredT64,T65,T80

Toggle Coverage for Module : spi_device
TotalCoveredPercent
Totals 63 58 92.06
Total Bits 466 452 97.00
Total Bits 0->1 233 226 97.00
Total Bits 1->0 233 226 97.00

Ports 63 58 92.06
Port Bits 466 452 97.00
Port Bits 0->1 233 226 97.00
Port Bits 1->0 233 226 97.00

Port Details
NameToggleToggle 1->0TestsToggle 0->1TestsDirection
clk_i Yes Yes T4,T1,T5 Yes T4,T1,T5 INPUT
rst_ni Yes Yes T6,T81,T82 Yes T4,T1,T5 INPUT
tl_i.d_ready Yes Yes T4,T1,T5 Yes T4,T1,T5 INPUT
tl_i.a_user.data_intg[6:0] Yes Yes T4,T1,T5 Yes T4,T1,T5 INPUT
tl_i.a_user.cmd_intg[6:0] Yes Yes T4,T1,T5 Yes T4,T1,T5 INPUT
tl_i.a_user.instr_type[3:0] Yes Yes T4,T16,T6 Yes T4,T39,T16 INPUT
tl_i.a_user.rsvd[4:0] Unreachable Unreachable Unreachable INPUT
tl_i.a_data[31:0] Yes Yes T4,T1,T5 Yes T4,T1,T5 INPUT
tl_i.a_mask[3:0] Yes Yes T4,T5,T2 Yes T4,T2,T3 INPUT
tl_i.a_address[31:0] Yes Yes T4,T16,T12 Yes T4,T39,T16 INPUT
tl_i.a_source[7:0] Yes Yes T4,T1,T5 Yes T4,T1,T5 INPUT
tl_i.a_size[1:0] Yes Yes T4,T5,T2 Yes T4,T5,T2 INPUT
tl_i.a_param[2:0] Unreachable Unreachable Unreachable INPUT
tl_i.a_opcode[2:0] Yes Yes T4,T1,T5 Yes T4,T1,T5 INPUT
tl_i.a_valid Yes Yes T4,T1,T5 Yes T4,T1,T5 INPUT
tl_o.a_ready Yes Yes T4,T1,T5 Yes T4,T1,T5 OUTPUT
tl_o.d_error Yes Yes T83,T81,T84 Yes T83,T81,T84 OUTPUT
tl_o.d_user.data_intg[6:0] Yes Yes T4,T1,T2 Yes T4,T1,T2 OUTPUT
tl_o.d_user.rsp_intg[5:0] Yes Yes *T4,*T1,*T5 Yes T4,T1,T5 OUTPUT
tl_o.d_user.rsp_intg[6] Unreachable Unreachable Unreachable OUTPUT
tl_o.d_data[31:0] Yes Yes T4,T1,T5 Yes T4,T1,T2 OUTPUT
tl_o.d_sink Unreachable Unreachable Unreachable OUTPUT
tl_o.d_source[7:0] Yes Yes T4,T1,T5 Yes T4,T1,T5 OUTPUT
tl_o.d_size[1:0] Yes Yes T4,T5,T2 Yes T4,T5,T2 OUTPUT
tl_o.d_param[2:0] Unreachable Unreachable Unreachable OUTPUT
tl_o.d_opcode[0] Yes Yes *T4,*T1,*T5 Yes T4,T1,T5 OUTPUT
tl_o.d_opcode[2:1] Unreachable Unreachable Unreachable OUTPUT
tl_o.d_valid Yes Yes T4,T1,T5 Yes T4,T1,T5 OUTPUT
alert_rx_i[0].ack_n Yes Yes T4,T1,T5 Yes T4,T1,T5 INPUT
alert_rx_i[0].ack_p Yes Yes T69,T81,T82 Yes T69,T81,T82 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 T4,T1,T5 Yes T4,T1,T5 OUTPUT
alert_tx_o[0].alert_p Yes Yes T69,T81,T82 Yes T69,T81,T82 OUTPUT
cio_sck_i Yes Yes T4,T5,T2 Yes T4,T5,T2 INPUT
cio_csb_i Yes Yes T2,T3,T9 Yes T2,T3,T9 INPUT
cio_sd_o[3:0] Yes Yes T12,T10,T6 Yes T12,T10,T6 OUTPUT
cio_sd_en_o[3:0] Yes Yes T12,T10,T6 Yes T12,T10,T6 OUTPUT
cio_sd_i[3:0] Yes Yes T4,T5,T2 Yes T4,T5,T2 INPUT
cio_tpm_csb_i Yes Yes T4,T5,T2 Yes T4,T5,T2 INPUT
passthrough_o.s_en[0] Yes Yes *T12,*T11,*T18 Yes T12,T11,T18 OUTPUT
passthrough_o.s_en[3:1] No No No OUTPUT
passthrough_o.s[3:0] Yes Yes T4,T5,T2 Yes T4,T5,T2 OUTPUT
passthrough_o.csb_en No No No OUTPUT
passthrough_o.csb Yes Yes T2,T3,T9 Yes T2,T3,T9 OUTPUT
passthrough_o.sck_en No No No OUTPUT
passthrough_o.sck Yes Yes T4,T5,T2 Yes T4,T5,T2 OUTPUT
passthrough_o.passthrough_en Yes Yes T82,T85,T86 Yes T12,T70,T82 OUTPUT
passthrough_i.s[3:0] Yes Yes T4,T5,T2 Yes T4,T5,T2 INPUT
intr_generic_rx_full_o Yes Yes T66,T67,T68 Yes T66,T67,T68 OUTPUT
intr_generic_rx_watermark_o Yes Yes T2,T9,T13 Yes T2,T9,T13 OUTPUT
intr_generic_tx_watermark_o Yes Yes T1,T2,T9 Yes T1,T2,T9 OUTPUT
intr_generic_rx_error_o Yes Yes T67,T68,T87 Yes T67,T68,T87 OUTPUT
intr_generic_rx_overflow_o Yes Yes T66,T68,T88 Yes T66,T68,T88 OUTPUT
intr_generic_tx_underflow_o Yes Yes T67,T68,T88 Yes T67,T68,T88 OUTPUT
intr_upload_cmdfifo_not_empty_o Yes Yes T66,T67,T68 Yes T66,T67,T68 OUTPUT
intr_upload_payload_not_empty_o Yes Yes T66,T67,T68 Yes T66,T67,T68 OUTPUT
intr_upload_payload_overflow_o Yes Yes T66,T67,T68 Yes T66,T67,T68 OUTPUT
intr_readbuf_watermark_o Yes Yes T66,T67,T68 Yes T66,T67,T68 OUTPUT
intr_readbuf_flip_o Yes Yes T66,T67,T68 Yes T66,T67,T68 OUTPUT
intr_tpm_header_not_empty_o Yes Yes T66,T67,T68 Yes T66,T67,T68 OUTPUT
ram_cfg_i.b_ram_lcfg.cfg[3:0] Yes Yes T39,T89,T90 Yes T39,T89,T90 INPUT
ram_cfg_i.b_ram_lcfg.cfg_en Yes Yes T39,T89,T90 Yes T39,T89,T90 INPUT
ram_cfg_i.a_ram_lcfg.cfg[3:0] Yes Yes T39,T89,T90 Yes T39,T89,T90 INPUT
ram_cfg_i.a_ram_lcfg.cfg_en Yes Yes T39,T89,T90 Yes T39,T89,T90 INPUT
ram_cfg_i.b_ram_fcfg.cfg[3:0] Yes Yes T39,T89,T90 Yes T39,T89,T90 INPUT
ram_cfg_i.b_ram_fcfg.cfg_en Yes Yes T39,T89,T90 Yes T39,T89,T90 INPUT
ram_cfg_i.a_ram_fcfg.cfg[3:0] Yes Yes T39,T89,T90 Yes T39,T89,T90 INPUT
ram_cfg_i.a_ram_fcfg.cfg_en Yes Yes T39,T89,T90 Yes T39,T89,T90 INPUT
sck_monitor_o Yes Yes T4,T5,T2 Yes T4,T5,T2 OUTPUT
mbist_en_i Unreachable Unreachable Unreachable INPUT
scan_clk_i No No No INPUT
scan_rst_ni No No No INPUT
scanmode_i[3:0] Unreachable Unreachable Unreachable INPUT

*Tests covering at least one bit in the range

Branch Coverage for Module : spi_device
Line No.TotalCoveredPercent
Branches 45 42 93.33
TERNARY 845 2 2 100.00
TERNARY 846 2 2 100.00
IF 443 2 2 100.00
IF 447 2 2 100.00
IF 480 2 2 100.00
IF 497 2 2 100.00
IF 737 3 3 100.00
IF 1095 4 4 100.00
IF 1121 3 3 100.00
IF 1164 2 2 100.00
CASE 1180 4 4 100.00
CASE 1227 8 6 75.00
IF 1304 5 4 80.00
IF 1338 2 2 100.00
IF 1986 2 2 100.00

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

LineNo. Expression -1-: 845 ((cpha ^ cpol)) ?

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


LineNo. Expression -1-: 846 ((cpha ^ cpol)) ?

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


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

Branches:
-1-StatusTests
1 Covered T4,T1,T5
0 Covered T4,T5,T2


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

Branches:
-1-StatusTests
1 Covered T4,T1,T5
0 Covered T4,T5,T2


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

Branches:
-1-StatusTests
1 Covered T4,T1,T5
0 Covered T4,T1,T5


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

Branches:
-1-StatusTests
1 Covered T4,T1,T5
0 Covered T4,T1,T5


LineNo. Expression -1-: 737 if ((!rst_ni)) -2-: 739 if (sys_csb_deasserted_pulse)

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


LineNo. Expression -1-: 1095 if ((!tpm_rst_n)) -2-: 1096 if (spi_clk_csb_rst_pulse) -3-: 1098 if (spi_clk_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T1,T5
0 1 - Covered T4,T5,T16
0 0 1 Covered T4,T5,T16
0 0 0 Covered T4,T5,T16


LineNo. Expression -1-: 1121 if ((!rst_ni)) -2-: 1122 if (sys_csb_pos_pulse_stretch)

Branches:
-1--2-StatusTests
1 - Covered T4,T1,T5
0 1 Covered T4,T5,T16
0 0 Covered T4,T1,T5


LineNo. Expression -1-: 1164 if ((!rst_spi_n))

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


LineNo. Expression -1-: 1180 case (cmd_dp_sel) -2-: 1194 if ((cmd_only_dp_sel == DpUpload))

Branches:
-1--2-StatusTests
DpReadCmd DpReadSFDP - Covered T12,T10,T6
DpUpload - Covered T6,T7,T8
default 1 Covered T6,T7,T8
default 0 Covered T4,T1,T5


LineNo. Expression -1-: 1227 case (spi_mode) -2-: 1246 case (cmd_dp_sel)

Branches:
-1--2-StatusTests
FwMode - Covered T1,T2,T3
FlashMode PassThrough DpNone Covered T4,T1,T5
FlashMode PassThrough DpReadCmd DpReadSFDP Covered T12,T10,T6
FlashMode PassThrough DpReadStatus Covered T6,T7,T24
FlashMode PassThrough DpReadJEDEC Covered T6,T7,T42
FlashMode PassThrough DpUpload Covered T6,T7,T8
FlashMode PassThrough default Not Covered
default - Not Covered


LineNo. Expression -1-: 1304 if ((cfg_tpm_en && (!sck_tpm_csb_buf))) -2-: 1311 case (spi_mode) -3-: 1318 if (intercept_en)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T16
0 FwMode FlashMode - Covered T4,T1,T5
0 PassThrough 1 Covered T12,T7,T24
0 PassThrough 0 Covered T12,T11,T18
0 default - Not Covered


LineNo. Expression -1-: 1338 if ((!rst_spi_n))

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


LineNo. Expression -1-: 1986 if (((0 != j) && sys_sram_l2m[j].req))

Branches:
-1-StatusTests
1 Covered T6,T7,T8
0 Covered T4,T1,T5


Assert Coverage for Module : spi_device
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 27 27 100.00 26 96.30
Cover properties 0 0 0
Cover sequences 0 0 0
Total 27 27 100.00 26 96.30




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AlertKnownO_A 1904520999 1904386347 0 0
CioSdoEnOKnown 1904520999 1904386347 0 0
CioSdoEnOffWhenInactive 1904520999 1904386347 0 0
CsPulseWidth_A 1904520999 1809909774 0 0
FpvSecCmRegWeOnehotCheck_A 1904520999 90 0 0
InterceptLevel_M 379242898 0 0 0
IntrReadbufFlipOKnown 1904520999 1904386347 0 0
IntrReadbufWatermarkOKnown 1904520999 1904386347 0 0
IntrRxerrOKnown 1904520999 1904386347 0 0
IntrRxfOKnown 1904520999 1904386347 0 0
IntrRxlvlOKnown 1904520999 1904386347 0 0
IntrRxoverflowOKnown 1904520999 1904386347 0 0
IntrTpmHeaderNotEmptyOKnown 1904520999 1904386347 0 0
IntrTxlvlOKnown 1904520999 1904386347 0 0
IntrTxunderflowOKnown 1904520999 1904386347 0 0
IntrUploadCmdfifoNotEmptyOKnown 1904520999 1904386347 0 0
IntrUploadPayloadNotEmptyOKnown 1904520999 1904386347 0 0
IntrUploadPayloadOverflowOKnown 1904520999 1904386347 0 0
PayloadStartIdxWidthMatch_A 1616 1616 0 0
SpiModeKnown_A 1904520999 1904386347 0 0
TpmEnableWhenTpmCsbIdle_M 1904520999 339 0 0
TpmRdfifoNotFull_A 1904520999 263568 0 0
TpmWrPtrMatch_A 1616 1616 0 0
g_sram_connect[0].ReqAlwaysAccepted_A 1904520999 11628845 0 0
g_sram_connect[1].ReqAlwaysAccepted_A 1904520999 2083 0 0
g_sram_connect[2].ReqAlwaysAccepted_A 1904520999 1550 0 0
scanmodeKnown 1904520999 1904520999 0 0


AlertKnownO_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1904520999 1904386347 0 0
T1 1539 1474 0 0
T2 111904 111896 0 0
T3 552958 552903 0 0
T4 154900 154824 0 0
T5 6076 6014 0 0
T9 414748 414743 0 0
T12 55894 55811 0 0
T13 15082 14983 0 0
T16 545562 545506 0 0
T39 1620 1541 0 0

CioSdoEnOKnown
NameAttemptsReal SuccessesFailuresIncomplete
Total 1904520999 1904386347 0 0
T1 1539 1474 0 0
T2 111904 111896 0 0
T3 552958 552903 0 0
T4 154900 154824 0 0
T5 6076 6014 0 0
T9 414748 414743 0 0
T12 55894 55811 0 0
T13 15082 14983 0 0
T16 545562 545506 0 0
T39 1620 1541 0 0

CioSdoEnOffWhenInactive
NameAttemptsReal SuccessesFailuresIncomplete
Total 1904520999 1904386347 0 0
T1 1539 1474 0 0
T2 111904 111896 0 0
T3 552958 552903 0 0
T4 154900 154824 0 0
T5 6076 6014 0 0
T9 414748 414743 0 0
T12 55894 55811 0 0
T13 15082 14983 0 0
T16 545562 545506 0 0
T39 1620 1541 0 0

CsPulseWidth_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1904520999 1809909774 0 0
T1 1539 1474 0 0
T2 111904 111487 0 0
T3 552958 552903 0 0
T4 154900 17322 0 0
T5 6076 2976 0 0
T9 414748 414157 0 0
T12 55894 55811 0 0
T13 15082 14983 0 0
T16 545562 58396 0 0
T39 1620 1541 0 0

FpvSecCmRegWeOnehotCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1904520999 90 0 0
T60 111154 0 0 0
T91 7954 30 0 0
T92 3987 10 0 0
T93 0 20 0 0
T94 0 10 0 0
T95 0 20 0 0
T96 1315 0 0 0
T97 42477 0 0 0
T98 11736 0 0 0
T99 144729 0 0 0
T100 1547 0 0 0
T101 245994 0 0 0
T102 3147 0 0 0

InterceptLevel_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 379242898 0 0 0

IntrReadbufFlipOKnown
NameAttemptsReal SuccessesFailuresIncomplete
Total 1904520999 1904386347 0 0
T1 1539 1474 0 0
T2 111904 111896 0 0
T3 552958 552903 0 0
T4 154900 154824 0 0
T5 6076 6014 0 0
T9 414748 414743 0 0
T12 55894 55811 0 0
T13 15082 14983 0 0
T16 545562 545506 0 0
T39 1620 1541 0 0

IntrReadbufWatermarkOKnown
NameAttemptsReal SuccessesFailuresIncomplete
Total 1904520999 1904386347 0 0
T1 1539 1474 0 0
T2 111904 111896 0 0
T3 552958 552903 0 0
T4 154900 154824 0 0
T5 6076 6014 0 0
T9 414748 414743 0 0
T12 55894 55811 0 0
T13 15082 14983 0 0
T16 545562 545506 0 0
T39 1620 1541 0 0

IntrRxerrOKnown
NameAttemptsReal SuccessesFailuresIncomplete
Total 1904520999 1904386347 0 0
T1 1539 1474 0 0
T2 111904 111896 0 0
T3 552958 552903 0 0
T4 154900 154824 0 0
T5 6076 6014 0 0
T9 414748 414743 0 0
T12 55894 55811 0 0
T13 15082 14983 0 0
T16 545562 545506 0 0
T39 1620 1541 0 0

IntrRxfOKnown
NameAttemptsReal SuccessesFailuresIncomplete
Total 1904520999 1904386347 0 0
T1 1539 1474 0 0
T2 111904 111896 0 0
T3 552958 552903 0 0
T4 154900 154824 0 0
T5 6076 6014 0 0
T9 414748 414743 0 0
T12 55894 55811 0 0
T13 15082 14983 0 0
T16 545562 545506 0 0
T39 1620 1541 0 0

IntrRxlvlOKnown
NameAttemptsReal SuccessesFailuresIncomplete
Total 1904520999 1904386347 0 0
T1 1539 1474 0 0
T2 111904 111896 0 0
T3 552958 552903 0 0
T4 154900 154824 0 0
T5 6076 6014 0 0
T9 414748 414743 0 0
T12 55894 55811 0 0
T13 15082 14983 0 0
T16 545562 545506 0 0
T39 1620 1541 0 0

IntrRxoverflowOKnown
NameAttemptsReal SuccessesFailuresIncomplete
Total 1904520999 1904386347 0 0
T1 1539 1474 0 0
T2 111904 111896 0 0
T3 552958 552903 0 0
T4 154900 154824 0 0
T5 6076 6014 0 0
T9 414748 414743 0 0
T12 55894 55811 0 0
T13 15082 14983 0 0
T16 545562 545506 0 0
T39 1620 1541 0 0

IntrTpmHeaderNotEmptyOKnown
NameAttemptsReal SuccessesFailuresIncomplete
Total 1904520999 1904386347 0 0
T1 1539 1474 0 0
T2 111904 111896 0 0
T3 552958 552903 0 0
T4 154900 154824 0 0
T5 6076 6014 0 0
T9 414748 414743 0 0
T12 55894 55811 0 0
T13 15082 14983 0 0
T16 545562 545506 0 0
T39 1620 1541 0 0

IntrTxlvlOKnown
NameAttemptsReal SuccessesFailuresIncomplete
Total 1904520999 1904386347 0 0
T1 1539 1474 0 0
T2 111904 111896 0 0
T3 552958 552903 0 0
T4 154900 154824 0 0
T5 6076 6014 0 0
T9 414748 414743 0 0
T12 55894 55811 0 0
T13 15082 14983 0 0
T16 545562 545506 0 0
T39 1620 1541 0 0

IntrTxunderflowOKnown
NameAttemptsReal SuccessesFailuresIncomplete
Total 1904520999 1904386347 0 0
T1 1539 1474 0 0
T2 111904 111896 0 0
T3 552958 552903 0 0
T4 154900 154824 0 0
T5 6076 6014 0 0
T9 414748 414743 0 0
T12 55894 55811 0 0
T13 15082 14983 0 0
T16 545562 545506 0 0
T39 1620 1541 0 0

IntrUploadCmdfifoNotEmptyOKnown
NameAttemptsReal SuccessesFailuresIncomplete
Total 1904520999 1904386347 0 0
T1 1539 1474 0 0
T2 111904 111896 0 0
T3 552958 552903 0 0
T4 154900 154824 0 0
T5 6076 6014 0 0
T9 414748 414743 0 0
T12 55894 55811 0 0
T13 15082 14983 0 0
T16 545562 545506 0 0
T39 1620 1541 0 0

IntrUploadPayloadNotEmptyOKnown
NameAttemptsReal SuccessesFailuresIncomplete
Total 1904520999 1904386347 0 0
T1 1539 1474 0 0
T2 111904 111896 0 0
T3 552958 552903 0 0
T4 154900 154824 0 0
T5 6076 6014 0 0
T9 414748 414743 0 0
T12 55894 55811 0 0
T13 15082 14983 0 0
T16 545562 545506 0 0
T39 1620 1541 0 0

IntrUploadPayloadOverflowOKnown
NameAttemptsReal SuccessesFailuresIncomplete
Total 1904520999 1904386347 0 0
T1 1539 1474 0 0
T2 111904 111896 0 0
T3 552958 552903 0 0
T4 154900 154824 0 0
T5 6076 6014 0 0
T9 414748 414743 0 0
T12 55894 55811 0 0
T13 15082 14983 0 0
T16 545562 545506 0 0
T39 1620 1541 0 0

PayloadStartIdxWidthMatch_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1616 1616 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
T9 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T16 1 1 0 0
T39 1 1 0 0

SpiModeKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1904520999 1904386347 0 0
T1 1539 1474 0 0
T2 111904 111896 0 0
T3 552958 552903 0 0
T4 154900 154824 0 0
T5 6076 6014 0 0
T9 414748 414743 0 0
T12 55894 55811 0 0
T13 15082 14983 0 0
T16 545562 545506 0 0
T39 1620 1541 0 0

TpmEnableWhenTpmCsbIdle_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 1904520999 339 0 0
T1 1539 0 0 0
T2 111904 0 0 0
T3 552958 0 0 0
T4 154900 1 0 0
T5 6076 1 0 0
T6 0 2 0 0
T7 0 1 0 0
T8 0 1 0 0
T9 414748 0 0 0
T12 55894 0 0 0
T13 15082 0 0 0
T16 545562 1 0 0
T33 0 1 0 0
T34 0 1 0 0
T39 1620 0 0 0
T42 0 1 0 0
T43 0 1 0 0

TpmRdfifoNotFull_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1904520999 263568 0 0
T1 1539 0 0 0
T2 111904 0 0 0
T3 552958 0 0 0
T4 154900 1618 0 0
T5 6076 0 0 0
T6 0 3431 0 0
T7 0 1084 0 0
T8 0 1335 0 0
T9 414748 0 0 0
T12 55894 0 0 0
T13 15082 0 0 0
T16 545562 1853 0 0
T20 0 1499 0 0
T34 0 27 0 0
T39 1620 0 0 0
T42 0 1586 0 0
T43 0 2481 0 0
T103 0 28 0 0

TpmWrPtrMatch_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1616 1616 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
T9 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T16 1 1 0 0
T39 1 1 0 0

g_sram_connect[0].ReqAlwaysAccepted_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1904520999 11628845 0 0
T1 1539 2 0 0
T2 111904 25042 0 0
T3 552958 16430 0 0
T5 6076 0 0 0
T6 0 14250 0 0
T9 414748 40594 0 0
T10 22340 1024 0 0
T12 55894 1024 0 0
T13 15082 160 0 0
T14 0 2 0 0
T16 545562 0 0 0
T17 0 4 0 0
T39 1620 0 0 0

g_sram_connect[1].ReqAlwaysAccepted_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1904520999 2083 0 0
T6 569545 11 0 0
T7 645015 8 0 0
T8 0 6 0 0
T20 0 2 0 0
T21 0 22 0 0
T23 300568 0 0 0
T27 0 8 0 0
T28 0 11 0 0
T35 37766 0 0 0
T36 14836 0 0 0
T37 841667 0 0 0
T38 165779 0 0 0
T42 0 12 0 0
T43 0 5 0 0
T48 0 15 0 0
T49 13011 0 0 0
T64 929 0 0 0
T65 926 0 0 0

g_sram_connect[2].ReqAlwaysAccepted_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1904520999 1550 0 0
T6 569545 8 0 0
T7 645015 6 0 0
T8 0 6 0 0
T21 0 13 0 0
T23 300568 0 0 0
T27 0 8 0 0
T28 0 6 0 0
T35 37766 0 0 0
T36 14836 0 0 0
T37 841667 0 0 0
T38 165779 0 0 0
T42 0 9 0 0
T43 0 4 0 0
T48 0 14 0 0
T49 13011 0 0 0
T63 0 9 0 0
T64 929 0 0 0
T65 926 0 0 0

scanmodeKnown
NameAttemptsReal SuccessesFailuresIncomplete
Total 1904520999 1904520999 0 0
T1 1539 1539 0 0
T2 111904 111904 0 0
T3 552958 552958 0 0
T4 154900 154900 0 0
T5 6076 6076 0 0
T9 414748 414748 0 0
T12 55894 55894 0 0
T13 15082 15082 0 0
T16 545562 545562 0 0
T39 1620 1620 0 0

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