Line Coverage for Module :
spi_tpm
| Line No. | Total | Covered | Percent |
| TOTAL | | 209 | 208 | 99.52 |
| CONT_ASSIGN | 310 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 324 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 348 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 354 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 455 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 456 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 462 | 1 | 1 | 100.00 |
| ALWAYS | 466 | 8 | 8 | 100.00 |
| ALWAYS | 483 | 3 | 3 | 100.00 |
| ALWAYS | 496 | 4 | 4 | 100.00 |
| CONT_ASSIGN | 505 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 507 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 509 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 534 | 1 | 1 | 100.00 |
| ALWAYS | 537 | 3 | 3 | 100.00 |
| ALWAYS | 545 | 4 | 4 | 100.00 |
| CONT_ASSIGN | 552 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 555 | 1 | 1 | 100.00 |
| ALWAYS | 560 | 6 | 6 | 100.00 |
| CONT_ASSIGN | 577 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 584 | 1 | 1 | 100.00 |
| ALWAYS | 588 | 4 | 4 | 100.00 |
| CONT_ASSIGN | 595 | 1 | 1 | 100.00 |
| ALWAYS | 598 | 4 | 4 | 100.00 |
| CONT_ASSIGN | 605 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 607 | 1 | 1 | 100.00 |
| ALWAYS | 612 | 5 | 5 | 100.00 |
| ALWAYS | 640 | 4 | 4 | 100.00 |
| ALWAYS | 653 | 6 | 6 | 100.00 |
| ALWAYS | 670 | 6 | 6 | 100.00 |
| ALWAYS | 686 | 3 | 3 | 100.00 |
| ALWAYS | 692 | 6 | 6 | 100.00 |
| ALWAYS | 703 | 4 | 4 | 100.00 |
| ALWAYS | 713 | 4 | 4 | 100.00 |
| ALWAYS | 722 | 4 | 4 | 100.00 |
| CONT_ASSIGN | 729 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 730 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 733 | 1 | 1 | 100.00 |
| ALWAYS | 740 | 7 | 7 | 100.00 |
| ALWAYS | 782 | 15 | 15 | 100.00 |
| ALWAYS | 859 | 3 | 3 | 100.00 |
| CONT_ASSIGN | 868 | 1 | 1 | 100.00 |
| ALWAYS | 871 | 3 | 3 | 100.00 |
| CONT_ASSIGN | 891 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 892 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 897 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 910 | 1 | 1 | 100.00 |
| ALWAYS | 914 | 4 | 4 | 100.00 |
| CONT_ASSIGN | 922 | 1 | 1 | 100.00 |
| ALWAYS | 946 | 3 | 3 | 100.00 |
| ALWAYS | 954 | 68 | 67 | 98.53 |
| CONT_ASSIGN | 1208 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_spi_device_0.1/rtl/spi_tpm.sv' or '../src/lowrisc_ip_spi_device_0.1/rtl/spi_tpm.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 310 |
1 |
1 |
| 324 |
1 |
1 |
| 348 |
1 |
1 |
| 354 |
1 |
1 |
| 455 |
1 |
1 |
| 456 |
1 |
1 |
| 462 |
1 |
1 |
| 466 |
1 |
1 |
| 467 |
1 |
1 |
| 468 |
1 |
1 |
| 470 |
1 |
1 |
| 471 |
1 |
1 |
| 472 |
1 |
1 |
| 473 |
1 |
1 |
| 474 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 483 |
1 |
1 |
| 484 |
1 |
1 |
| 486 |
1 |
1 |
| 496 |
1 |
1 |
| 497 |
1 |
1 |
| 498 |
1 |
1 |
| 499 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 505 |
1 |
1 |
| 507 |
1 |
1 |
| 509 |
1 |
1 |
| 534 |
1 |
1 |
| 537 |
1 |
1 |
| 538 |
1 |
1 |
| 540 |
1 |
1 |
| 545 |
1 |
1 |
| 546 |
1 |
1 |
| 547 |
1 |
1 |
| 548 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 552 |
1 |
1 |
| 555 |
1 |
1 |
| 560 |
1 |
1 |
| 561 |
1 |
1 |
| 562 |
1 |
1 |
| 564 |
1 |
1 |
| 565 |
1 |
1 |
| 566 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 577 |
1 |
1 |
| 584 |
1 |
1 |
| 588 |
1 |
1 |
| 589 |
1 |
1 |
| 590 |
1 |
1 |
| 591 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 595 |
1 |
1 |
| 598 |
1 |
1 |
| 599 |
1 |
1 |
| 600 |
1 |
1 |
| 601 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 605 |
1 |
1 |
| 607 |
1 |
1 |
| 612 |
1 |
1 |
| 613 |
1 |
1 |
| 617 |
1 |
1 |
| 624 |
1 |
1 |
| 630 |
1 |
1 |
| 640 |
1 |
1 |
| 641 |
1 |
1 |
| 642 |
1 |
1 |
| 644 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 653 |
1 |
1 |
| 654 |
1 |
1 |
| 655 |
1 |
1 |
| 656 |
1 |
1 |
| 664 |
1 |
1 |
| 665 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 670 |
1 |
1 |
| 671 |
1 |
1 |
| 673 |
1 |
1 |
| 674 |
1 |
1 |
| 675 |
1 |
1 |
| 676 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 686 |
2 |
2 |
| 687 |
1 |
1 |
| 692 |
1 |
1 |
| 693 |
1 |
1 |
| 694 |
1 |
1 |
| 695 |
1 |
1 |
| 696 |
1 |
1 |
| 697 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 703 |
1 |
1 |
| 704 |
1 |
1 |
| 705 |
1 |
1 |
| 707 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 713 |
1 |
1 |
| 714 |
1 |
1 |
| 715 |
1 |
1 |
| 716 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 722 |
1 |
1 |
| 723 |
1 |
1 |
| 724 |
1 |
1 |
| 726 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 729 |
1 |
1 |
| 730 |
1 |
1 |
| 733 |
1 |
1 |
| 740 |
1 |
1 |
| 742 |
1 |
1 |
| 744 |
1 |
1 |
| 748 |
1 |
1 |
| 752 |
1 |
1 |
| 756 |
1 |
1 |
| 760 |
1 |
1 |
| 782 |
1 |
1 |
| 784 |
1 |
1 |
| 786 |
1 |
1 |
| 787 |
1 |
1 |
| 788 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 795 |
1 |
1 |
| 799 |
1 |
1 |
| 803 |
1 |
1 |
| 807 |
1 |
1 |
| 812 |
1 |
1 |
| 814 |
1 |
1 |
| 816 |
1 |
1 |
| 821 |
1 |
1 |
| 825 |
1 |
1 |
| 829 |
1 |
1 |
| 859 |
1 |
1 |
| 860 |
1 |
1 |
| 862 |
1 |
1 |
| 868 |
1 |
1 |
| 871 |
2 |
2 |
| 872 |
1 |
1 |
| 891 |
1 |
1 |
| 892 |
1 |
1 |
| 897 |
1 |
1 |
| 910 |
1 |
1 |
| 914 |
1 |
1 |
| 915 |
1 |
1 |
| 916 |
1 |
1 |
| 917 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 922 |
1 |
1 |
| 946 |
1 |
1 |
| 947 |
1 |
1 |
| 949 |
1 |
1 |
| 954 |
1 |
1 |
| 957 |
1 |
1 |
| 958 |
1 |
1 |
| 960 |
1 |
1 |
| 961 |
1 |
1 |
| 962 |
1 |
1 |
| 964 |
1 |
1 |
| 965 |
1 |
1 |
| 971 |
1 |
1 |
| 973 |
1 |
1 |
| 975 |
1 |
1 |
| 977 |
1 |
1 |
| 978 |
1 |
1 |
| 979 |
1 |
1 |
| 981 |
1 |
1 |
| 989 |
0 |
1 |
|
|
|
MISSING_ELSE |
| 996 |
1 |
1 |
| 999 |
1 |
1 |
| 1000 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 1003 |
1 |
1 |
| 1005 |
1 |
1 |
| 1006 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 1010 |
1 |
1 |
| 1011 |
1 |
1 |
| 1014 |
1 |
1 |
| 1016 |
1 |
1 |
| 1017 |
1 |
1 |
| 1020 |
1 |
1 |
| 1021 |
1 |
1 |
| 1024 |
1 |
1 |
| 1027 |
1 |
1 |
| 1029 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 1033 |
1 |
1 |
| 1035 |
1 |
1 |
| 1037 |
1 |
1 |
| 1042 |
1 |
1 |
| 1046 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 1052 |
1 |
1 |
| 1053 |
1 |
1 |
| 1056 |
1 |
1 |
| 1059 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 1064 |
1 |
1 |
| 1065 |
1 |
1 |
| 1067 |
1 |
1 |
| 1069 |
1 |
1 |
| 1070 |
1 |
1 |
| 1071 |
1 |
1 |
| 1072 |
1 |
1 |
| 1073 |
1 |
1 |
| 1074 |
1 |
1 |
|
|
|
==> MISSING_ELSE |
|
|
|
MISSING_ELSE |
| 1080 |
1 |
1 |
| 1082 |
1 |
1 |
| 1083 |
1 |
1 |
| 1088 |
1 |
1 |
| 1089 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 1094 |
1 |
1 |
| 1095 |
1 |
1 |
| 1099 |
1 |
1 |
| 1100 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 1105 |
1 |
1 |
| 1109 |
1 |
1 |
| 1110 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 1116 |
1 |
1 |
| 1117 |
1 |
1 |
| 1118 |
1 |
1 |
|
|
|
==> MISSING_ELSE |
| 1125 |
1 |
1 |
| 1126 |
1 |
1 |
| 1127 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 1208 |
1 |
1 |
Cond Coverage for Module :
spi_tpm
| Total | Covered | Percent |
| Conditions | 142 | 133 | 93.66 |
| Logical | 142 | 133 | 93.66 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 505
EXPRESSION ((cmdaddr_bitcnt == 5'b0) && (sck_st_q == StIdle))
------------1----------- ----------2---------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T17 |
| 1 | 0 | Covered | T2,T3,T17 |
| 1 | 1 | Covered | T1,T2,T3 |
LINE 505
SUB-EXPRESSION (cmdaddr_bitcnt == 5'b0)
------------1-----------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 505
SUB-EXPRESSION (sck_st_q == StIdle)
----------1---------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 507
EXPRESSION (cmdaddr_bitcnt == 5'h0f)
------------1------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T17 |
LINE 509
EXPRESSION (cmdaddr_bitcnt == 5'h1d)
------------1------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T17 |
LINE 534
EXPRESSION (cmdaddr_bitcnt == 5'h1f)
------------1------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T17 |
LINE 584
EXPRESSION (isck_p2s_sent && (isck_data_sel == SelHwReg))
------1------ -------------2-------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T3,T18,T22 |
| 1 | 0 | Covered | T2,T3,T17 |
| 1 | 1 | Covered | T3,T18,T22 |
LINE 584
SUB-EXPRESSION (isck_data_sel == SelHwReg)
-------------1-------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T3,T18,T22 |
LINE 595
EXPRESSION (wrdata_bitcnt == 3'h7)
-----------1-----------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T17 |
LINE 642
EXPRESSION (check_tpm_reg && (sys_clk_tpm_cfg.tpm_reg_chk_dis || (addr[23:16] == TpmAddr)))
------1------ ------------------------------2------------------------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T3,T18,T22 |
| 1 | 0 | Covered | T2,T3,T17 |
| 1 | 1 | Covered | T3,T18,T22 |
LINE 642
SUB-EXPRESSION (sys_clk_tpm_cfg.tpm_reg_chk_dis || (addr[23:16] == TpmAddr))
---------------1--------------- ------------2-----------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T2,T3,T17 |
| 0 | 1 | Covered | T3,T18,T22 |
| 1 | 0 | Covered | T3,T19,T5 |
LINE 642
SUB-EXPRESSION (addr[23:16] == TpmAddr)
------------1-----------
| -1- | Status | Tests |
| 0 | Covered | T2,T3,T17 |
| 1 | Covered | T3,T18,T22 |
LINE 656
EXPRESSION (((!sys_clk_tpm_cfg.tpm_mode)) && check_hw_reg && (cmd_type == Read) && is_tpm_reg && ((!invalid_locality)) && ((!sys_clk_tpm_cfg.hw_reg_dis)))
--------------1-------------- ------2----- ---------3-------- -----4---- ----------5---------- ---------------6---------------
| -1- | -2- | -3- | -4- | -5- | -6- | Status | Tests |
| 0 | 1 | 1 | 1 | 1 | 1 | Covered | T5,T27,T29 |
| 1 | 0 | 1 | 1 | 1 | 1 | Covered | T3,T18,T22 |
| 1 | 1 | 0 | 1 | 1 | 1 | Covered | T3,T23,T28 |
| 1 | 1 | 1 | 0 | 1 | 1 | Covered | T3,T23,T28 |
| 1 | 1 | 1 | 1 | 0 | 1 | Covered | T3,T18,T23 |
| 1 | 1 | 1 | 1 | 1 | 0 | Covered | T3,T23,T28 |
| 1 | 1 | 1 | 1 | 1 | 1 | Covered | T3,T18,T22 |
LINE 656
SUB-EXPRESSION (cmd_type == Read)
---------1--------
| -1- | Status | Tests |
| 0 | Covered | T2,T3,T17 |
| 1 | Covered | T2,T3,T17 |
LINE 674
EXPRESSION (TpmReturnByHwAddr[i][11:2] == addr[11:2])
---------------------1--------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 695
EXPRESSION (latch_locality && is_tpm_reg)
-------1------ -----2----
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T3,T18,T22 |
| 1 | 0 | Covered | T2,T3,T17 |
| 1 | 1 | Covered | T3,T18,T22 |
LINE 697
EXPRESSION ((addr[15:12] < 4'(spi_device_reg_pkg::NumLocality)) ? 1'b0 : 1'b1)
-------------------------1-------------------------
| -1- | Status | Tests |
| 0 | Covered | T3,T18,T19 |
| 1 | Covered | T3,T18,T22 |
LINE 724
EXPRESSION ((isck_p2s_sent && sck_rddata_shift_en) || (sck_wrfifo_wvalid && wrdata_shift_en))
-------------------1------------------ -------------------2------------------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T2,T3,T17 |
| 0 | 1 | Covered | T2,T3,T17 |
| 1 | 0 | Covered | T2,T3,T17 |
LINE 724
SUB-EXPRESSION (isck_p2s_sent && sck_rddata_shift_en)
------1------ ---------2---------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T17 |
| 1 | 0 | Covered | T2,T3,T17 |
| 1 | 1 | Covered | T2,T3,T17 |
LINE 724
SUB-EXPRESSION (sck_wrfifo_wvalid && wrdata_shift_en)
--------1-------- -------2-------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T17 |
| 1 | 0 | Not Covered | |
| 1 | 1 | Covered | T2,T3,T17 |
LINE 730
EXPRESSION (xfer_bytes_q == xfer_size)
-------------1-------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 733
EXPRESSION ((7'({isck_rdfifo_rdepth, 2'(0)}) > {1'b0, xfer_size}) | (7'(RdFifoSize) <= 7'(xfer_size)))
--------------------------1-------------------------- ----------------2----------------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T2,T3,T17 |
LINE 787
EXPRESSION (((!invalid_locality)) && (4'(i) == locality))
----------1---------- ---------2---------
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T2,T3 |
LINE 787
SUB-EXPRESSION (4'(i) == locality)
---------1---------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 812
EXPRESSION (((!invalid_locality)) && sys_active_locality[locality[2:0]])
----------1---------- -----------------2----------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T3,T18,T41 |
| 1 | 1 | Covered | T18,T22,T41 |
LINE 868
EXPRESSION (isck_p2s_valid && (isck_p2s_bitcnt == '0))
-------1------ -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T17 |
| 1 | 0 | Covered | T2,T3,T17 |
| 1 | 1 | Covered | T2,T3,T17 |
LINE 868
SUB-EXPRESSION (isck_p2s_bitcnt == '0)
-----------1-----------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T17 |
LINE 897
EXPRESSION (isck_rdfifo_rvalid && isck_p2s_sent && (isck_data_sel == SelRdFifo))
---------1-------- ------2------ --------------3-------------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Not Covered | |
| 1 | 0 | 1 | Covered | T2,T3,T17 |
| 1 | 1 | 0 | Covered | T2,T3,T17 |
| 1 | 1 | 1 | Covered | T2,T3,T17 |
LINE 897
SUB-EXPRESSION (isck_data_sel == SelRdFifo)
--------------1-------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T17 |
LINE 922
EXPRESSION (isck_rd_byte_sent && ((&isck_rdfifo_idx)))
--------1-------- ----------2---------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T17 |
| 1 | 0 | Covered | T2,T3,T17 |
| 1 | 1 | Covered | T2,T3,T17 |
LINE 977
EXPRESSION (cmdaddr_bitcnt == 5'h07)
------------1------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T17 |
LINE 999
EXPRESSION (cmdaddr_bitcnt == 5'h13)
------------1------------
| -1- | Status | Tests |
| 0 | Covered | T2,T3,T17 |
| 1 | Covered | T2,T3,T17 |
LINE 1010
EXPRESSION ((cmdaddr_bitcnt == 5'h1f) && (cmd_type == Read))
------------1------------ ---------2--------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T17 |
| 1 | 0 | Covered | T2,T3,T17 |
| 1 | 1 | Covered | T2,T3,T17 |
LINE 1010
SUB-EXPRESSION (cmdaddr_bitcnt == 5'h1f)
------------1------------
| -1- | Status | Tests |
| 0 | Covered | T2,T3,T17 |
| 1 | Covered | T2,T3,T17 |
LINE 1010
SUB-EXPRESSION (cmd_type == Read)
---------1--------
| -1- | Status | Tests |
| 0 | Covered | T2,T3,T17 |
| 1 | Covered | T2,T3,T17 |
LINE 1011
EXPRESSION (((!is_tpm_reg)) || sys_clk_tpm_cfg.tpm_mode)
-------1------- ------------2-----------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T3,T18,T22 |
| 0 | 1 | Covered | T19,T5,T27 |
| 1 | 0 | Covered | T3,T23,T28 |
LINE 1021
EXPRESSION (invalid_locality && sys_clk_tpm_cfg.invalid_locality)
--------1------- ----------------2---------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T3,T23,T28 |
| 1 | 0 | Covered | T3,T23,T28 |
| 1 | 1 | Covered | T3,T18,T23 |
LINE 1033
EXPRESSION ((cmdaddr_bitcnt == 5'h1f) && (cmd_type == Write))
------------1------------ ---------2---------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T17 |
| 1 | 0 | Covered | T2,T3,T17 |
| 1 | 1 | Covered | T2,T3,T17 |
LINE 1033
SUB-EXPRESSION (cmdaddr_bitcnt == 5'h1f)
------------1------------
| -1- | Status | Tests |
| 0 | Covered | T2,T3,T17 |
| 1 | Covered | T2,T3,T17 |
LINE 1033
SUB-EXPRESSION (cmd_type == Write)
---------1---------
| -1- | Status | Tests |
| 0 | Covered | T2,T3,T17 |
| 1 | Covered | T2,T3,T17 |
LINE 1056
EXPRESSION (isck_p2s_sent && (((cmd_type == Read) && enough_payload_in_rdfifo) || ((cmd_type == Write) && ((~|sck_wrfifo_wdepth)))))
------1------ ---------------------------------------------------2--------------------------------------------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T17 |
| 1 | 0 | Covered | T2,T3,T17 |
| 1 | 1 | Covered | T2,T3,T17 |
LINE 1056
SUB-EXPRESSION (((cmd_type == Read) && enough_payload_in_rdfifo) || ((cmd_type == Write) && ((~|sck_wrfifo_wdepth))))
------------------------1----------------------- ------------------------2-----------------------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T2,T3,T17 |
| 0 | 1 | Covered | T3,T5,T27 |
| 1 | 0 | Covered | T2,T3,T17 |
LINE 1056
SUB-EXPRESSION ((cmd_type == Read) && enough_payload_in_rdfifo)
---------1-------- ------------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T2,T3,T17 |
| 1 | 1 | Covered | T2,T3,T17 |
LINE 1056
SUB-EXPRESSION (cmd_type == Read)
---------1--------
| -1- | Status | Tests |
| 0 | Covered | T3,T5,T27 |
| 1 | Covered | T2,T3,T17 |
LINE 1056
SUB-EXPRESSION ((cmd_type == Write) && ((~|sck_wrfifo_wdepth)))
---------1--------- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T17 |
| 1 | 0 | Covered | T3,T5,T27 |
| 1 | 1 | Covered | T3,T5,T27 |
LINE 1056
SUB-EXPRESSION (cmd_type == Write)
---------1---------
| -1- | Status | Tests |
| 0 | Covered | T2,T3,T17 |
| 1 | Covered | T3,T5,T27 |
LINE 1069
EXPRESSION ((cmd_type == Read) && is_hw_reg)
---------1-------- ----2----
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T2,T3,T17 |
| 1 | 1 | Covered | T3,T18,T22 |
LINE 1069
SUB-EXPRESSION (cmd_type == Read)
---------1--------
| -1- | Status | Tests |
| 0 | Covered | T2,T3,T17 |
| 1 | Covered | T2,T3,T17 |
LINE 1071
EXPRESSION (cmd_type == Read)
---------1--------
| -1- | Status | Tests |
| 0 | Covered | T2,T3,T17 |
| 1 | Covered | T2,T3,T17 |
LINE 1073
EXPRESSION (cmd_type == Write)
---------1---------
| -1- | Status | Tests |
| 0 | Not Covered | |
| 1 | Covered | T2,T3,T17 |
LINE 1088
EXPRESSION (isck_p2s_sent && xfer_size_met)
------1------ ------2------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T17 |
| 1 | 0 | Covered | T2,T3,T17 |
| 1 | 1 | Covered | T2,T3,T17 |
LINE 1099
EXPRESSION (isck_p2s_sent && xfer_size_met)
------1------ ------2------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T3,T18,T41 |
| 1 | 0 | Covered | T3,T18,T22 |
| 1 | 1 | Covered | T3,T18,T41 |
LINE 1109
EXPRESSION (sck_wrfifo_wvalid && xfer_size_met)
--------1-------- ------2------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T17 |
| 1 | 0 | Covered | T2,T3,T17 |
| 1 | 1 | Covered | T2,T3,T17 |
LINE 1116
EXPRESSION (cmd_type == Read)
---------1--------
| -1- | Status | Tests |
| 0 | Not Covered | |
| 1 | Covered | T3,T18,T23 |
LINE 1125
EXPRESSION (cmd_type == Read)
---------1--------
| -1- | Status | Tests |
| 0 | Covered | T2,T3,T17 |
| 1 | Covered | T2,T3,T17 |
FSM Coverage for Module :
spi_tpm
Summary for FSM :: sck_st_q
| Total | Covered | Percent | |
| States |
9 |
9 |
100.00 |
(Not included in score) |
| Transitions |
12 |
11 |
91.67 |
|
| Sequences |
0 |
0 |
|
|
State, Transition and Sequence Details for FSM :: sck_st_q
| states | Line No. | Covered | Tests |
| StAddr |
979 |
Covered |
T2,T3,T17 |
| StEnd |
989 |
Covered |
T2,T3,T17 |
| StIdle |
974 |
Covered |
T1,T2,T3 |
| StInvalid |
1024 |
Covered |
T3,T18,T23 |
| StReadFifo |
1072 |
Covered |
T2,T3,T17 |
| StReadHwReg |
1070 |
Covered |
T3,T18,T22 |
| StStartByte |
1020 |
Covered |
T2,T3,T17 |
| StWait |
1014 |
Covered |
T2,T3,T17 |
| StWrite |
1074 |
Covered |
T2,T3,T17 |
| transitions | Line No. | Covered | Tests |
| StAddr->StInvalid |
1024 |
Covered |
T3,T18,T23 |
| StAddr->StStartByte |
1020 |
Covered |
T2,T3,T17 |
| StAddr->StWait |
1014 |
Covered |
T2,T3,T17 |
| StIdle->StAddr |
979 |
Covered |
T2,T3,T17 |
| StIdle->StEnd |
989 |
Not Covered |
|
| StReadFifo->StEnd |
1089 |
Covered |
T2,T3,T17 |
| StReadHwReg->StEnd |
1100 |
Covered |
T3,T18,T41 |
| StStartByte->StReadFifo |
1072 |
Covered |
T2,T3,T17 |
| StStartByte->StReadHwReg |
1070 |
Covered |
T3,T18,T22 |
| StStartByte->StWrite |
1074 |
Covered |
T2,T3,T17 |
| StWait->StStartByte |
1059 |
Covered |
T2,T3,T17 |
| StWrite->StEnd |
1110 |
Covered |
T2,T3,T17 |
Branch Coverage for Module :
spi_tpm
| Line No. | Total | Covered | Percent |
| Branches |
|
109 |
103 |
94.50 |
| IF |
466 |
3 |
3 |
100.00 |
| IF |
483 |
2 |
2 |
100.00 |
| IF |
496 |
3 |
3 |
100.00 |
| IF |
537 |
2 |
2 |
100.00 |
| IF |
545 |
3 |
3 |
100.00 |
| IF |
560 |
4 |
4 |
100.00 |
| IF |
588 |
3 |
3 |
100.00 |
| IF |
598 |
3 |
3 |
100.00 |
| CASE |
613 |
4 |
4 |
100.00 |
| IF |
640 |
3 |
3 |
100.00 |
| IF |
653 |
3 |
3 |
100.00 |
| IF |
674 |
2 |
2 |
100.00 |
| IF |
686 |
2 |
2 |
100.00 |
| IF |
692 |
4 |
4 |
100.00 |
| IF |
703 |
3 |
3 |
100.00 |
| IF |
713 |
3 |
3 |
100.00 |
| IF |
722 |
3 |
3 |
100.00 |
| CASE |
742 |
6 |
5 |
83.33 |
| CASE |
784 |
11 |
10 |
90.91 |
| IF |
859 |
2 |
2 |
100.00 |
| IF |
871 |
2 |
2 |
100.00 |
| IF |
946 |
2 |
2 |
100.00 |
| CASE |
973 |
33 |
29 |
87.88 |
| IF |
914 |
3 |
3 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_spi_device_0.1/rtl/spi_tpm.sv' or '../src/lowrisc_ip_spi_device_0.1/rtl/spi_tpm.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 466 if ((!sys_rst_ni))
-2-: 470 if (sys_csb_pulse_stretch)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Covered |
T2,T3,T17 |
| 0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 483 if ((!rst_n))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T2,T3,T17 |
LineNo. Expression
-1-: 496 if ((!rst_n))
-2-: 498 if (cmdaddr_shift_en)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Covered |
T2,T3,T17 |
| 0 |
0 |
Covered |
T2,T3,T17 |
LineNo. Expression
-1-: 537 if ((!rst_n))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T2,T3,T17 |
LineNo. Expression
-1-: 545 if ((!rst_n))
-2-: 547 if (cmdaddr_shift_en)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Covered |
T2,T3,T17 |
| 0 |
0 |
Covered |
T2,T3,T17 |
LineNo. Expression
-1-: 560 if ((!rst_n))
-2-: 562 if (isck_fifoaddr_latch)
-3-: 565 if (isck_fifoaddr_inc)
Branches:
| -1- | -2- | -3- | Status | Tests |
| 1 |
- |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
- |
Covered |
T2,T3,T17 |
| 0 |
0 |
1 |
Covered |
T3,T18,T22 |
| 0 |
0 |
0 |
Covered |
T2,T3,T17 |
LineNo. Expression
-1-: 588 if ((!rst_n))
-2-: 590 if (wrdata_shift_en)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Covered |
T2,T3,T17 |
| 0 |
0 |
Covered |
T2,T3,T17 |
LineNo. Expression
-1-: 598 if ((!rst_n))
-2-: 600 if (wrdata_shift_en)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Covered |
T2,T3,T17 |
| 0 |
0 |
Covered |
T2,T3,T17 |
LineNo. Expression
-1-: 613 case (1'b1)
Branches:
| -1- | Status | Tests |
| check_tpm_reg |
Covered |
T2,T3,T17 |
| latch_locality |
Covered |
T2,T3,T17 |
| check_hw_reg |
Covered |
T2,T3,T17 |
| default |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 640 if ((!rst_n))
-2-: 642 if ((check_tpm_reg && (sys_clk_tpm_cfg.tpm_reg_chk_dis || (addr[23:16] == TpmAddr))))
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Covered |
T3,T18,T22 |
| 0 |
0 |
Covered |
T2,T3,T17 |
LineNo. Expression
-1-: 653 if ((!rst_n))
-2-: 656 if (((((((!sys_clk_tpm_cfg.tpm_mode) && check_hw_reg) && (cmd_type == Read)) && is_tpm_reg) && (!invalid_locality)) && (!sys_clk_tpm_cfg.hw_reg_dis)))
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Covered |
T3,T18,T22 |
| 0 |
0 |
Covered |
T2,T3,T17 |
LineNo. Expression
-1-: 674 if ((TpmReturnByHwAddr[i][11:2] == addr[11:2]))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 686 if ((!rst_n))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T2,T3,T17 |
LineNo. Expression
-1-: 692 if ((!rst_n))
-2-: 695 if ((latch_locality && is_tpm_reg))
-3-: 697 ((addr[15:12] < 4'(spi_device_reg_pkg::NumLocality))) ?
Branches:
| -1- | -2- | -3- | Status | Tests |
| 1 |
- |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
1 |
Covered |
T3,T18,T22 |
| 0 |
1 |
0 |
Covered |
T3,T18,T19 |
| 0 |
0 |
- |
Covered |
T2,T3,T17 |
LineNo. Expression
-1-: 703 if ((!rst_n))
-2-: 705 if (latch_cmd_type)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Covered |
T2,T3,T17 |
| 0 |
0 |
Covered |
T2,T3,T17 |
LineNo. Expression
-1-: 713 if ((!rst_n))
-2-: 715 if (latch_xfer_size)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Covered |
T2,T3,T17 |
| 0 |
0 |
Covered |
T2,T3,T17 |
LineNo. Expression
-1-: 722 if ((!rst_n))
-2-: 724 if (((isck_p2s_sent && sck_rddata_shift_en) || (sck_wrfifo_wvalid && wrdata_shift_en)))
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Covered |
T2,T3,T17 |
| 0 |
0 |
Covered |
T2,T3,T17 |
LineNo. Expression
-1-: 742 case (isck_data_sel)
Branches:
| -1- | Status | Tests |
| SelWait |
Covered |
T1,T2,T3 |
| SelStart |
Covered |
T2,T3,T17 |
| SelInvalid |
Covered |
T3,T18,T23 |
| SelHwReg |
Covered |
T3,T18,T22 |
| SelRdFifo |
Covered |
T2,T3,T17 |
| default |
Not Covered |
|
LineNo. Expression
-1-: 784 case (isck_hw_reg_idx)
-2-: 812 if (((!invalid_locality) && sys_active_locality[locality[2:0]]))
Branches:
| -1- | -2- | Status | Tests |
| RegAccess |
- |
Covered |
T1,T2,T3 |
| RegIntEn |
- |
Covered |
T3,T18,T23 |
| RegIntVect |
- |
Covered |
T3,T18,T41 |
| RegIntSts |
- |
Covered |
T3,T18,T41 |
| RegIntfCap |
- |
Covered |
T61,T62,T63 |
| RegSts |
1 |
Covered |
T18,T22,T41 |
| RegSts |
0 |
Covered |
T3,T18,T41 |
| RegHashStart |
- |
Covered |
T3,T18,T41 |
| RegId |
- |
Covered |
T3,T18,T23 |
| RegRid |
- |
Covered |
T3,T18,T23 |
| default |
- |
Not Covered |
|
LineNo. Expression
-1-: 859 if ((!rst_n))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T2,T3,T17 |
LineNo. Expression
-1-: 871 if ((!rst_n))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T2,T3,T17 |
LineNo. Expression
-1-: 946 if ((!rst_n))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T2,T3,T17 |
LineNo. Expression
-1-: 973 case (sck_st_q)
-2-: 977 if ((cmdaddr_bitcnt == 5'h07))
-3-: 978 if (sys_clk_tpm_en)
-4-: 999 if ((cmdaddr_bitcnt == 5'h13))
-5-: 1003 if ((cmdaddr_bitcnt >= 5'h18))
-6-: 1010 if (((cmdaddr_bitcnt == 5'h1f) && (cmd_type == Read)))
-7-: 1011 if (((!is_tpm_reg) || sys_clk_tpm_cfg.tpm_mode))
-8-: 1017 if (is_hw_reg)
-9-: 1021 if ((invalid_locality && sys_clk_tpm_cfg.invalid_locality))
-10-: 1033 if (((cmdaddr_bitcnt == 5'h1f) && (cmd_type == Write)))
-11-: 1037 if ((~|sck_wrfifo_wdepth))
-12-: 1056 if ((isck_p2s_sent && (((cmd_type == Read) && enough_payload_in_rdfifo) || ((cmd_type == Write) && (~|sck_wrfifo_wdepth)))))
-13-: 1067 if (isck_p2s_sent)
-14-: 1069 if (((cmd_type == Read) && is_hw_reg))
-15-: 1071 if ((cmd_type == Read))
-16-: 1073 if ((cmd_type == Write))
-17-: 1088 if ((isck_p2s_sent && xfer_size_met))
-18-: 1099 if ((isck_p2s_sent && xfer_size_met))
-19-: 1109 if ((sck_wrfifo_wvalid && xfer_size_met))
-20-: 1116 if ((cmd_type == Read))
-21-: 1125 if ((cmd_type == Read))
Branches:
| -1- | -2- | -3- | -4- | -5- | -6- | -7- | -8- | -9- | -10- | -11- | -12- | -13- | -14- | -15- | -16- | -17- | -18- | -19- | -20- | -21- | Status | Tests |
| StIdle |
1 |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T2,T3,T17 |
| StIdle |
1 |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
| StIdle |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
| StAddr |
- |
- |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T2,T3,T17 |
| StAddr |
- |
- |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T2,T3,T17 |
| StAddr |
- |
- |
- |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T2,T3,T17 |
| StAddr |
- |
- |
- |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T2,T3,T17 |
| StAddr |
- |
- |
- |
- |
1 |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T2,T3,T17 |
| StAddr |
- |
- |
- |
- |
1 |
0 |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T3,T18,T22 |
| StAddr |
- |
- |
- |
- |
1 |
0 |
0 |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T3,T18,T23 |
| StAddr |
- |
- |
- |
- |
1 |
0 |
0 |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T3,T23,T28 |
| StAddr |
- |
- |
- |
- |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T2,T3,T17 |
| StAddr |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T2,T3,T17 |
| StAddr |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T3,T5,T27 |
| StAddr |
- |
- |
- |
- |
- |
- |
- |
- |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T2,T3,T17 |
| StWait |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T2,T3,T17 |
| StWait |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T2,T3,T17 |
| StStartByte |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
1 |
- |
- |
- |
- |
- |
- |
- |
Covered |
T3,T18,T22 |
| StStartByte |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
0 |
1 |
- |
- |
- |
- |
- |
- |
Covered |
T2,T3,T17 |
| StStartByte |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
0 |
0 |
1 |
- |
- |
- |
- |
- |
Covered |
T2,T3,T17 |
| StStartByte |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
0 |
0 |
0 |
- |
- |
- |
- |
- |
Not Covered |
|
| StStartByte |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T2,T3,T17 |
| StReadFifo |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
- |
- |
- |
- |
Covered |
T2,T3,T17 |
| StReadFifo |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
0 |
- |
- |
- |
- |
Covered |
T2,T3,T17 |
| StReadHwReg |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
- |
- |
- |
Covered |
T3,T18,T41 |
| StReadHwReg |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
0 |
- |
- |
- |
Covered |
T3,T18,T22 |
| StWrite |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
- |
- |
Covered |
T2,T3,T17 |
| StWrite |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
0 |
- |
- |
Covered |
T2,T3,T17 |
| StInvalid |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
- |
Covered |
T3,T18,T23 |
| StInvalid |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
0 |
- |
Not Covered |
|
| StEnd |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
Covered |
T2,T3,T17 |
| StEnd |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
0 |
Covered |
T2,T3,T17 |
| default |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
LineNo. Expression
-1-: 914 if ((!rst_n))
-2-: 916 if (isck_rd_byte_sent)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Covered |
T2,T3,T17 |
| 0 |
0 |
Covered |
T2,T3,T17 |
Assert Coverage for Module :
spi_tpm
Assertion Details
CmdAddrAvailable_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
186997894 |
67477 |
0 |
0 |
| T2 |
3504 |
14 |
0 |
0 |
| T3 |
51820 |
152 |
0 |
0 |
| T4 |
100733 |
0 |
0 |
0 |
| T5 |
0 |
499 |
0 |
0 |
| T7 |
175857 |
0 |
0 |
0 |
| T8 |
74526 |
0 |
0 |
0 |
| T9 |
20428 |
0 |
0 |
0 |
| T11 |
11749 |
0 |
0 |
0 |
| T12 |
140178 |
0 |
0 |
0 |
| T13 |
15516 |
0 |
0 |
0 |
| T17 |
4250 |
16 |
0 |
0 |
| T19 |
0 |
11 |
0 |
0 |
| T23 |
0 |
83 |
0 |
0 |
| T27 |
0 |
587 |
0 |
0 |
| T28 |
0 |
430 |
0 |
0 |
| T29 |
0 |
1162 |
0 |
0 |
| T31 |
0 |
422 |
0 |
0 |
CmdAddrBitCntInAddrSt_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
186997894 |
743936 |
0 |
0 |
| T2 |
3504 |
112 |
0 |
0 |
| T3 |
51820 |
1416 |
0 |
0 |
| T4 |
100733 |
0 |
0 |
0 |
| T5 |
0 |
3992 |
0 |
0 |
| T7 |
175857 |
0 |
0 |
0 |
| T8 |
74526 |
0 |
0 |
0 |
| T9 |
20428 |
0 |
0 |
0 |
| T11 |
11749 |
0 |
0 |
0 |
| T12 |
140178 |
0 |
0 |
0 |
| T13 |
15516 |
0 |
0 |
0 |
| T17 |
4250 |
128 |
0 |
0 |
| T18 |
0 |
3288 |
0 |
0 |
| T19 |
0 |
88 |
0 |
0 |
| T22 |
0 |
8 |
0 |
0 |
| T23 |
0 |
816 |
0 |
0 |
| T27 |
0 |
4696 |
0 |
0 |
| T41 |
0 |
3520 |
0 |
0 |
CmdAddrInfo_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
186997894 |
74631 |
0 |
0 |
| T3 |
51820 |
165 |
0 |
0 |
| T4 |
100733 |
0 |
0 |
0 |
| T5 |
0 |
385 |
0 |
0 |
| T7 |
175857 |
0 |
0 |
0 |
| T8 |
74526 |
0 |
0 |
0 |
| T9 |
20428 |
0 |
0 |
0 |
| T11 |
11749 |
0 |
0 |
0 |
| T12 |
140178 |
0 |
0 |
0 |
| T13 |
15516 |
0 |
0 |
0 |
| T17 |
4250 |
0 |
0 |
0 |
| T18 |
101454 |
411 |
0 |
0 |
| T19 |
0 |
11 |
0 |
0 |
| T22 |
0 |
1 |
0 |
0 |
| T23 |
0 |
73 |
0 |
0 |
| T27 |
0 |
458 |
0 |
0 |
| T28 |
0 |
282 |
0 |
0 |
| T29 |
0 |
902 |
0 |
0 |
| T41 |
0 |
440 |
0 |
0 |
CmdPowerof2_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
922 |
922 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T7 |
1 |
1 |
0 |
0 |
| T8 |
1 |
1 |
0 |
0 |
| T9 |
1 |
1 |
0 |
0 |
| T10 |
1 |
1 |
0 |
0 |
| T11 |
1 |
1 |
0 |
0 |
| T12 |
1 |
1 |
0 |
0 |
| T16 |
1 |
1 |
0 |
0 |
DataFifoLessThan64_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
922 |
922 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T7 |
1 |
1 |
0 |
0 |
| T8 |
1 |
1 |
0 |
0 |
| T9 |
1 |
1 |
0 |
0 |
| T10 |
1 |
1 |
0 |
0 |
| T11 |
1 |
1 |
0 |
0 |
| T12 |
1 |
1 |
0 |
0 |
| T16 |
1 |
1 |
0 |
0 |
DataSelKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
186998803 |
39346859 |
0 |
0 |
| T2 |
3505 |
3504 |
0 |
0 |
| T3 |
51821 |
47880 |
0 |
0 |
| T5 |
0 |
245848 |
0 |
0 |
| T7 |
175857 |
0 |
0 |
0 |
| T8 |
74527 |
0 |
0 |
0 |
| T9 |
20429 |
0 |
0 |
0 |
| T10 |
1 |
0 |
0 |
0 |
| T11 |
11750 |
0 |
0 |
0 |
| T12 |
140179 |
0 |
0 |
0 |
| T16 |
1 |
0 |
0 |
0 |
| T17 |
4251 |
4112 |
0 |
0 |
| T18 |
0 |
97072 |
0 |
0 |
| T19 |
0 |
2896 |
0 |
0 |
| T22 |
0 |
72 |
0 |
0 |
| T23 |
0 |
33672 |
0 |
0 |
| T27 |
0 |
631944 |
0 |
0 |
| T41 |
0 |
88856 |
0 |
0 |
HwRegCondition2_a
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
186997894 |
15879 |
0 |
0 |
| T3 |
51820 |
14 |
0 |
0 |
| T4 |
100733 |
0 |
0 |
0 |
| T7 |
175857 |
0 |
0 |
0 |
| T8 |
74526 |
0 |
0 |
0 |
| T9 |
20428 |
0 |
0 |
0 |
| T11 |
11749 |
0 |
0 |
0 |
| T12 |
140178 |
0 |
0 |
0 |
| T13 |
15516 |
0 |
0 |
0 |
| T17 |
4250 |
0 |
0 |
0 |
| T18 |
101454 |
262 |
0 |
0 |
| T22 |
0 |
1 |
0 |
0 |
| T23 |
0 |
5 |
0 |
0 |
| T28 |
0 |
45 |
0 |
0 |
| T29 |
0 |
30 |
0 |
0 |
| T41 |
0 |
287 |
0 |
0 |
| T64 |
0 |
306 |
0 |
0 |
| T65 |
0 |
16 |
0 |
0 |
| T66 |
0 |
339 |
0 |
0 |
HwRegCondition_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
186997894 |
92992 |
0 |
0 |
| T2 |
3504 |
14 |
0 |
0 |
| T3 |
51820 |
177 |
0 |
0 |
| T4 |
100733 |
0 |
0 |
0 |
| T5 |
0 |
499 |
0 |
0 |
| T7 |
175857 |
0 |
0 |
0 |
| T8 |
74526 |
0 |
0 |
0 |
| T9 |
20428 |
0 |
0 |
0 |
| T11 |
11749 |
0 |
0 |
0 |
| T12 |
140178 |
0 |
0 |
0 |
| T13 |
15516 |
0 |
0 |
0 |
| T17 |
4250 |
16 |
0 |
0 |
| T18 |
0 |
411 |
0 |
0 |
| T19 |
0 |
11 |
0 |
0 |
| T22 |
0 |
1 |
0 |
0 |
| T23 |
0 |
102 |
0 |
0 |
| T27 |
0 |
587 |
0 |
0 |
| T41 |
0 |
440 |
0 |
0 |
HwRegIdxKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
186998803 |
39346859 |
0 |
0 |
| T2 |
3505 |
3504 |
0 |
0 |
| T3 |
51821 |
47880 |
0 |
0 |
| T5 |
0 |
245848 |
0 |
0 |
| T7 |
175857 |
0 |
0 |
0 |
| T8 |
74527 |
0 |
0 |
0 |
| T9 |
20429 |
0 |
0 |
0 |
| T10 |
1 |
0 |
0 |
0 |
| T11 |
11750 |
0 |
0 |
0 |
| T12 |
140179 |
0 |
0 |
0 |
| T16 |
1 |
0 |
0 |
0 |
| T17 |
4251 |
4112 |
0 |
0 |
| T18 |
0 |
97072 |
0 |
0 |
| T19 |
0 |
2896 |
0 |
0 |
| T22 |
0 |
72 |
0 |
0 |
| T23 |
0 |
33672 |
0 |
0 |
| T27 |
0 |
631944 |
0 |
0 |
| T41 |
0 |
88856 |
0 |
0 |
LocalityLatchCondition_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
186997894 |
92992 |
0 |
0 |
| T2 |
3504 |
14 |
0 |
0 |
| T3 |
51820 |
177 |
0 |
0 |
| T4 |
100733 |
0 |
0 |
0 |
| T5 |
0 |
499 |
0 |
0 |
| T7 |
175857 |
0 |
0 |
0 |
| T8 |
74526 |
0 |
0 |
0 |
| T9 |
20428 |
0 |
0 |
0 |
| T11 |
11749 |
0 |
0 |
0 |
| T12 |
140178 |
0 |
0 |
0 |
| T13 |
15516 |
0 |
0 |
0 |
| T17 |
4250 |
16 |
0 |
0 |
| T18 |
0 |
411 |
0 |
0 |
| T19 |
0 |
11 |
0 |
0 |
| T22 |
0 |
1 |
0 |
0 |
| T23 |
0 |
102 |
0 |
0 |
| T27 |
0 |
587 |
0 |
0 |
| T41 |
0 |
440 |
0 |
0 |
RdFifoDepthPoT_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
922 |
922 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T7 |
1 |
1 |
0 |
0 |
| T8 |
1 |
1 |
0 |
0 |
| T9 |
1 |
1 |
0 |
0 |
| T10 |
1 |
1 |
0 |
0 |
| T11 |
1 |
1 |
0 |
0 |
| T12 |
1 |
1 |
0 |
0 |
| T16 |
1 |
1 |
0 |
0 |
RdFifoNumBytesPoT_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
922 |
922 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T7 |
1 |
1 |
0 |
0 |
| T8 |
1 |
1 |
0 |
0 |
| T9 |
1 |
1 |
0 |
0 |
| T10 |
1 |
1 |
0 |
0 |
| T11 |
1 |
1 |
0 |
0 |
| T12 |
1 |
1 |
0 |
0 |
| T16 |
1 |
1 |
0 |
0 |
RdPowerof2_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
922 |
922 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T7 |
1 |
1 |
0 |
0 |
| T8 |
1 |
1 |
0 |
0 |
| T9 |
1 |
1 |
0 |
0 |
| T10 |
1 |
1 |
0 |
0 |
| T11 |
1 |
1 |
0 |
0 |
| T12 |
1 |
1 |
0 |
0 |
| T16 |
1 |
1 |
0 |
0 |
SckFifoAddrLatchCondition_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
186997894 |
92992 |
0 |
0 |
| T2 |
3504 |
14 |
0 |
0 |
| T3 |
51820 |
177 |
0 |
0 |
| T4 |
100733 |
0 |
0 |
0 |
| T5 |
0 |
499 |
0 |
0 |
| T7 |
175857 |
0 |
0 |
0 |
| T8 |
74526 |
0 |
0 |
0 |
| T9 |
20428 |
0 |
0 |
0 |
| T11 |
11749 |
0 |
0 |
0 |
| T12 |
140178 |
0 |
0 |
0 |
| T13 |
15516 |
0 |
0 |
0 |
| T17 |
4250 |
16 |
0 |
0 |
| T18 |
0 |
411 |
0 |
0 |
| T19 |
0 |
11 |
0 |
0 |
| T22 |
0 |
1 |
0 |
0 |
| T23 |
0 |
102 |
0 |
0 |
| T27 |
0 |
587 |
0 |
0 |
| T41 |
0 |
440 |
0 |
0 |
TpmRegCondition_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
186997894 |
92992 |
0 |
0 |
| T2 |
3504 |
14 |
0 |
0 |
| T3 |
51820 |
177 |
0 |
0 |
| T4 |
100733 |
0 |
0 |
0 |
| T5 |
0 |
499 |
0 |
0 |
| T7 |
175857 |
0 |
0 |
0 |
| T8 |
74526 |
0 |
0 |
0 |
| T9 |
20428 |
0 |
0 |
0 |
| T11 |
11749 |
0 |
0 |
0 |
| T12 |
140178 |
0 |
0 |
0 |
| T13 |
15516 |
0 |
0 |
0 |
| T17 |
4250 |
16 |
0 |
0 |
| T18 |
0 |
411 |
0 |
0 |
| T19 |
0 |
11 |
0 |
0 |
| T22 |
0 |
1 |
0 |
0 |
| T23 |
0 |
102 |
0 |
0 |
| T27 |
0 |
587 |
0 |
0 |
| T41 |
0 |
440 |
0 |
0 |
TpmRegSizeMatch_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
922 |
922 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T7 |
1 |
1 |
0 |
0 |
| T8 |
1 |
1 |
0 |
0 |
| T9 |
1 |
1 |
0 |
0 |
| T10 |
1 |
1 |
0 |
0 |
| T11 |
1 |
1 |
0 |
0 |
| T12 |
1 |
1 |
0 |
0 |
| T16 |
1 |
1 |
0 |
0 |
WrDepthSpec_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
922 |
922 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T7 |
1 |
1 |
0 |
0 |
| T8 |
1 |
1 |
0 |
0 |
| T9 |
1 |
1 |
0 |
0 |
| T10 |
1 |
1 |
0 |
0 |
| T11 |
1 |
1 |
0 |
0 |
| T12 |
1 |
1 |
0 |
0 |
| T16 |
1 |
1 |
0 |
0 |
WrFifoAvailable_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
186997894 |
579853 |
0 |
0 |
| T2 |
3504 |
32 |
0 |
0 |
| T3 |
51820 |
1501 |
0 |
0 |
| T4 |
100733 |
0 |
0 |
0 |
| T5 |
0 |
3718 |
0 |
0 |
| T7 |
175857 |
0 |
0 |
0 |
| T8 |
74526 |
0 |
0 |
0 |
| T9 |
20428 |
0 |
0 |
0 |
| T11 |
11749 |
0 |
0 |
0 |
| T12 |
140178 |
0 |
0 |
0 |
| T13 |
15516 |
0 |
0 |
0 |
| T17 |
4250 |
165 |
0 |
0 |
| T19 |
0 |
140 |
0 |
0 |
| T23 |
0 |
938 |
0 |
0 |
| T27 |
0 |
4099 |
0 |
0 |
| T28 |
0 |
4015 |
0 |
0 |
| T29 |
0 |
9358 |
0 |
0 |
| T31 |
0 |
3306 |
0 |
0 |