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

Module : gpio_reg_top
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.63 100.00 98.54 100.00 100.00

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

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.u_reg 99.63 100.00 98.54 100.00 100.00



Module Instance : tb.dut.u_reg

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.63 100.00 98.54 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.98 97.69 98.24 100.00 98.95 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 100.00 100.00 100.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_alert_test 100.00 100.00
u_chk 100.00 100.00 100.00 100.00
u_ctrl_en_input_filter 100.00 100.00 100.00 100.00
u_data_in 67.59 77.78 50.00 75.00
u_direct_oe 100.00 100.00
u_direct_out 100.00 100.00
u_intr_ctrl_en_falling 100.00 100.00 100.00 100.00
u_intr_ctrl_en_lvlhigh 100.00 100.00 100.00 100.00
u_intr_ctrl_en_lvllow 100.00 100.00 100.00 100.00
u_intr_ctrl_en_rising 100.00 100.00 100.00 100.00
u_intr_enable 100.00 100.00 100.00 100.00
u_intr_state 100.00 100.00 100.00 100.00
u_intr_test 100.00 100.00
u_masked_oe_lower_data 100.00 100.00
u_masked_oe_lower_mask 75.00 75.00
u_masked_oe_upper_data 100.00 100.00
u_masked_oe_upper_mask 75.00 75.00
u_masked_out_lower_data 100.00 100.00
u_masked_out_lower_mask 66.67 66.67
u_masked_out_upper_data 100.00 100.00
u_masked_out_upper_mask 66.67 66.67
u_prim_reg_we_check 100.00 100.00 100.00
u_reg_if 98.67 97.14 97.53 100.00 100.00
u_rsp_intg_gen 100.00 100.00 100.00


Since this is the module's only instance, the coverage report is the same as for the module.
Line Coverage for Module : gpio_reg_top
Line No.TotalCoveredPercent
TOTAL129129100.00
ALWAYS7144100.00
CONT_ASSIGN8011100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN9311100.00
CONT_ASSIGN12111100.00
CONT_ASSIGN12211100.00
CONT_ASSIGN24411100.00
CONT_ASSIGN25811100.00
CONT_ASSIGN26411100.00
CONT_ASSIGN27811100.00
CONT_ASSIGN31211100.00
CONT_ASSIGN32611100.00
CONT_ASSIGN33211100.00
CONT_ASSIGN34711100.00
CONT_ASSIGN36311100.00
CONT_ASSIGN36911100.00
CONT_ASSIGN38411100.00
CONT_ASSIGN40011100.00
CONT_ASSIGN40611100.00
CONT_ASSIGN42011100.00
CONT_ASSIGN42611100.00
CONT_ASSIGN44111100.00
CONT_ASSIGN45711100.00
CONT_ASSIGN46311100.00
CONT_ASSIGN47811100.00
CONT_ASSIGN49411100.00
ALWAYS6401717100.00
CONT_ASSIGN65911100.00
ALWAYS66311100.00
CONT_ASSIGN68311100.00
CONT_ASSIGN68511100.00
CONT_ASSIGN68611100.00
CONT_ASSIGN68811100.00
CONT_ASSIGN68911100.00
CONT_ASSIGN69111100.00
CONT_ASSIGN69211100.00
CONT_ASSIGN69411100.00
CONT_ASSIGN69511100.00
CONT_ASSIGN69611100.00
CONT_ASSIGN69811100.00
CONT_ASSIGN69911100.00
CONT_ASSIGN70011100.00
CONT_ASSIGN70211100.00
CONT_ASSIGN70411100.00
CONT_ASSIGN70511100.00
CONT_ASSIGN70611100.00
CONT_ASSIGN70811100.00
CONT_ASSIGN71011100.00
CONT_ASSIGN71111100.00
CONT_ASSIGN71211100.00
CONT_ASSIGN71411100.00
CONT_ASSIGN71511100.00
CONT_ASSIGN71611100.00
CONT_ASSIGN71811100.00
CONT_ASSIGN72011100.00
CONT_ASSIGN72111100.00
CONT_ASSIGN72211100.00
CONT_ASSIGN72411100.00
CONT_ASSIGN72611100.00
CONT_ASSIGN72711100.00
CONT_ASSIGN72911100.00
CONT_ASSIGN73011100.00
CONT_ASSIGN73211100.00
CONT_ASSIGN73311100.00
CONT_ASSIGN73511100.00
CONT_ASSIGN73611100.00
CONT_ASSIGN73811100.00
CONT_ASSIGN73911100.00
CONT_ASSIGN74111100.00
ALWAYS7451717100.00
ALWAYS7662222100.00
CONT_ASSIGN84700
CONT_ASSIGN85511100.00
CONT_ASSIGN85611100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_gpio_0.1/rtl/gpio_reg_top.sv' or '../src/lowrisc_ip_gpio_0.1/rtl/gpio_reg_top.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
71 1 1
72 1 1
73 1 1
74 1 1
MISSING_ELSE
80 1 1
92 1 1
93 1 1
121 1 1
122 1 1
244 1 1
258 1 1
264 1 1
278 1 1
312 1 1
326 1 1
332 1 1
347 1 1
363 1 1
369 1 1
384 1 1
400 1 1
406 1 1
420 1 1
426 1 1
441 1 1
457 1 1
463 1 1
478 1 1
494 1 1
640 1 1
641 1 1
642 1 1
643 1 1
644 1 1
645 1 1
646 1 1
647 1 1
648 1 1
649 1 1
650 1 1
651 1 1
652 1 1
653 1 1
654 1 1
655 1 1
656 1 1
659 1 1
663 1 1
683 1 1
685 1 1
686 1 1
688 1 1
689 1 1
691 1 1
692 1 1
694 1 1
695 1 1
696 1 1
698 1 1
699 1 1
700 1 1
702 1 1
704 1 1
705 1 1
706 1 1
708 1 1
710 1 1
711 1 1
712 1 1
714 1 1
715 1 1
716 1 1
718 1 1
720 1 1
721 1 1
722 1 1
724 1 1
726 1 1
727 1 1
729 1 1
730 1 1
732 1 1
733 1 1
735 1 1
736 1 1
738 1 1
739 1 1
741 1 1
745 1 1
746 1 1
747 1 1
748 1 1
749 1 1
750 1 1
751 1 1
752 1 1
753 1 1
754 1 1
755 1 1
756 1 1
757 1 1
758 1 1
759 1 1
760 1 1
761 1 1
766 1 1
767 1 1
769 1 1
773 1 1
777 1 1
781 1 1
785 1 1
789 1 1
793 1 1
794 1 1
798 1 1
799 1 1
803 1 1
807 1 1
808 1 1
812 1 1
813 1 1
817 1 1
821 1 1
825 1 1
829 1 1
833 1 1
847 unreachable
855 1 1
856 1 1


Cond Coverage for Module : gpio_reg_top
TotalCoveredPercent
Conditions20520298.54
Logical20520298.54
Non-Logical00
Event00

 LINE       61
 EXPRESSION (reg_we && ((!addrmiss)))
             ---1--    ------2------
-1--2-StatusTests
01CoveredT22,T23,T24
10Not Covered
11CoveredT22,T23,T24

 LINE       73
 EXPRESSION (intg_err || reg_we_err)
             ----1---    -----2----
-1--2-StatusTests
00CoveredT22,T23,T24
01CoveredT28,T29,T30
10CoveredT25,T12,T14

 LINE       80
 EXPRESSION (err_q | intg_err | reg_we_err)
             --1--   ----2---   -----3----
-1--2--3-StatusTests
000CoveredT22,T23,T24
001CoveredT28,T29,T30
010CoveredT25,T12,T14
100CoveredT25,T12,T14

 LINE       122
 EXPRESSION ((devmode_i & addrmiss) | wr_err | intg_err)
             -----------1----------   ---2--   ----3---
-1--2--3-StatusTests
000CoveredT22,T23,T24
001CoveredT25,T12,T14
010CoveredT26,T16,T5
100Not Covered

 LINE       122
 SUB-EXPRESSION (devmode_i & addrmiss)
                 ----1----   ----2---
-1--2-StatusTests
01Unreachable
10CoveredT22,T23,T24
11Not Covered

 LINE       641
 EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_INTR_STATE_OFFSET)
            -------------------------1------------------------
-1-StatusTests
0CoveredT22,T23,T24
1CoveredT22,T23,T24

 LINE       642
 EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_INTR_ENABLE_OFFSET)
            -------------------------1-------------------------
-1-StatusTests
0CoveredT22,T23,T24
1CoveredT22,T23,T24

 LINE       643
 EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_INTR_TEST_OFFSET)
            ------------------------1------------------------
-1-StatusTests
0CoveredT22,T23,T24
1CoveredT23,T24,T26

 LINE       644
 EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_ALERT_TEST_OFFSET)
            -------------------------1------------------------
-1-StatusTests
0CoveredT22,T23,T24
1CoveredT22,T25,T26

 LINE       645
 EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_DATA_IN_OFFSET)
            -----------------------1-----------------------
-1-StatusTests
0CoveredT22,T23,T24
1CoveredT25,T26,T27

 LINE       646
 EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_DIRECT_OUT_OFFSET)
            -------------------------1------------------------
-1-StatusTests
0CoveredT22,T23,T24
1CoveredT22,T25,T26

 LINE       647
 EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_MASKED_OUT_LOWER_OFFSET)
            ----------------------------1---------------------------
-1-StatusTests
0CoveredT22,T23,T24
1CoveredT26,T27,T12

 LINE       648
 EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_MASKED_OUT_UPPER_OFFSET)
            ----------------------------1---------------------------
-1-StatusTests
0CoveredT22,T23,T24
1CoveredT25,T26,T27

 LINE       649
 EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_DIRECT_OE_OFFSET)
            ------------------------1------------------------
-1-StatusTests
0CoveredT22,T23,T24
1CoveredT22,T25,T26

 LINE       650
 EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_MASKED_OE_LOWER_OFFSET)
            ---------------------------1---------------------------
-1-StatusTests
0CoveredT22,T23,T24
1CoveredT25,T26,T27

 LINE       651
 EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_MASKED_OE_UPPER_OFFSET)
            ---------------------------1---------------------------
-1-StatusTests
0CoveredT22,T23,T24
1CoveredT25,T26,T27

 LINE       652
 EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_INTR_CTRL_EN_RISING_OFFSET)
            -----------------------------1-----------------------------
-1-StatusTests
0CoveredT22,T23,T24
1CoveredT22,T25,T26

 LINE       653
 EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_INTR_CTRL_EN_FALLING_OFFSET)
            ------------------------------1-----------------------------
-1-StatusTests
0CoveredT22,T23,T24
1CoveredT22,T25,T26

 LINE       654
 EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_INTR_CTRL_EN_LVLHIGH_OFFSET)
            ------------------------------1-----------------------------
-1-StatusTests
0CoveredT22,T23,T24
1CoveredT22,T25,T26

 LINE       655
 EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_INTR_CTRL_EN_LVLLOW_OFFSET)
            -----------------------------1-----------------------------
-1-StatusTests
0CoveredT22,T23,T24
1CoveredT22,T25,T26

 LINE       656
 EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_CTRL_EN_INPUT_FILTER_OFFSET)
            ------------------------------1-----------------------------
-1-StatusTests
0CoveredT22,T23,T24
1CoveredT22,T25,T26

 LINE       659
 EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
             ---------1--------
-1-StatusTests
0CoveredT22,T23,T24
1CoveredT22,T23,T24

 LINE       659
 SUB-EXPRESSION (reg_re || reg_we)
                 ---1--    ---2--
-1--2-StatusTests
00CoveredT22,T23,T24
01CoveredT22,T23,T24
10CoveredT22,T23,T24

 LINE       663
 EXPRESSION 
 Number  Term
      1  reg_we & 
      2  ((addr_hit[0] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[1] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[2] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[3] & ((|(4'b1 & (~reg_be))))) | (addr_hit[4] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[5] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[6] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[7] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[8] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[9] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[10] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[11] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[12] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[13] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[14] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[15] & ((|(4'b1111 & (~reg_be)))))))
-1--2-StatusTests
01CoveredT22,T23,T24
10CoveredT22,T23,T24
11CoveredT25,T26,T12

 LINE       663
 SUB-EXPRESSION 
 Number  Term
      1  (addr_hit[0] & ((|(4'b1111 & (~reg_be))))) | 
      2  (addr_hit[1] & ((|(4'b1111 & (~reg_be))))) | 
      3  (addr_hit[2] & ((|(4'b1111 & (~reg_be))))) | 
      4  (addr_hit[3] & ((|(4'b1 & (~reg_be))))) | 
      5  (addr_hit[4] & ((|(4'b1111 & (~reg_be))))) | 
      6  (addr_hit[5] & ((|(4'b1111 & (~reg_be))))) | 
      7  (addr_hit[6] & ((|(4'b1111 & (~reg_be))))) | 
      8  (addr_hit[7] & ((|(4'b1111 & (~reg_be))))) | 
      9  (addr_hit[8] & ((|(4'b1111 & (~reg_be))))) | 
     10  (addr_hit[9] & ((|(4'b1111 & (~reg_be))))) | 
     11  (addr_hit[10] & ((|(4'b1111 & (~reg_be))))) | 
     12  (addr_hit[11] & ((|(4'b1111 & (~reg_be))))) | 
     13  (addr_hit[12] & ((|(4'b1111 & (~reg_be))))) | 
     14  (addr_hit[13] & ((|(4'b1111 & (~reg_be))))) | 
     15  (addr_hit[14] & ((|(4'b1111 & (~reg_be))))) | 
     16  (addr_hit[15] & ((|(4'b1111 & (~reg_be))))))
-1--2--3--4--5--6--7--8--9--10--11--12--13--14--15--16-StatusTests
0000000000000000CoveredT22,T23,T24
0000000000000001CoveredT22,T25,T26
0000000000000010CoveredT22,T25,T26
0000000000000100CoveredT22,T25,T26
0000000000001000CoveredT22,T25,T26
0000000000010000CoveredT22,T25,T26
0000000000100000CoveredT25,T26,T27
0000000001000000CoveredT25,T26,T27
0000000010000000CoveredT22,T25,T26
0000000100000000CoveredT25,T26,T27
0000001000000000CoveredT26,T27,T12
0000010000000000CoveredT22,T25,T26
0000100000000000CoveredT26,T27,T12
0001000000000000CoveredT22,T25,T26
0010000000000000CoveredT23,T24,T26
0100000000000000CoveredT22,T23,T24
1000000000000000CoveredT22,T23,T24

 LINE       663
 SUB-EXPRESSION (addr_hit[0] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT22,T23,T24
10CoveredT22,T23,T24
11CoveredT22,T23,T24

 LINE       663
 SUB-EXPRESSION (addr_hit[1] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT22,T23,T24
10CoveredT22,T23,T24
11CoveredT22,T23,T24

 LINE       663
 SUB-EXPRESSION (addr_hit[2] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT22,T23,T24
10CoveredT23,T24,T26
11CoveredT23,T24,T26

 LINE       663
 SUB-EXPRESSION (addr_hit[3] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT22,T23,T24
10CoveredT22,T25,T26
11CoveredT22,T25,T26

 LINE       663
 SUB-EXPRESSION (addr_hit[4] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT22,T23,T24
10CoveredT25,T26,T27
11CoveredT26,T27,T12

 LINE       663
 SUB-EXPRESSION (addr_hit[5] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT22,T23,T24
10CoveredT22,T25,T26
11CoveredT22,T25,T26

 LINE       663
 SUB-EXPRESSION (addr_hit[6] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT22,T23,T24
10CoveredT26,T13,T14
11CoveredT26,T27,T12

 LINE       663
 SUB-EXPRESSION (addr_hit[7] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT22,T23,T24
10CoveredT25,T26,T27
11CoveredT25,T26,T27

 LINE       663
 SUB-EXPRESSION (addr_hit[8] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT22,T23,T24
10CoveredT22,T25,T26
11CoveredT22,T25,T26

 LINE       663
 SUB-EXPRESSION (addr_hit[9] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT22,T23,T24
10CoveredT26,T27,T12
11CoveredT25,T26,T27

 LINE       663
 SUB-EXPRESSION (addr_hit[10] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT22,T23,T24
10CoveredT26,T27,T13
11CoveredT25,T26,T27

 LINE       663
 SUB-EXPRESSION (addr_hit[11] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT22,T23,T24
10CoveredT22,T25,T26
11CoveredT22,T25,T26

 LINE       663
 SUB-EXPRESSION (addr_hit[12] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT22,T23,T24
10CoveredT22,T25,T26
11CoveredT22,T25,T26

 LINE       663
 SUB-EXPRESSION (addr_hit[13] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT22,T23,T24
10CoveredT22,T25,T26
11CoveredT22,T25,T26

 LINE       663
 SUB-EXPRESSION (addr_hit[14] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT22,T23,T24
10CoveredT22,T25,T26
11CoveredT22,T25,T26

 LINE       663
 SUB-EXPRESSION (addr_hit[15] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT22,T23,T24
10CoveredT22,T25,T26
11CoveredT22,T25,T26

 LINE       683
 EXPRESSION (addr_hit[0] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT22,T23,T24
101CoveredT22,T23,T24
110CoveredT25,T26,T12
111CoveredT22,T23,T24

 LINE       686
 EXPRESSION (addr_hit[1] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT22,T23,T24
101CoveredT22,T23,T24
110CoveredT26,T12,T14
111CoveredT22,T23,T24

 LINE       689
 EXPRESSION (addr_hit[2] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT22,T23,T24
101CoveredT23,T24,T26
110CoveredT26,T3,T16
111CoveredT23,T24,T31

 LINE       692
 EXPRESSION (addr_hit[3] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT22,T23,T24
101CoveredT22,T25,T26
110CoveredT26,T12,T16
111CoveredT22,T25,T27

 LINE       695
 EXPRESSION (addr_hit[5] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT22,T23,T24
101CoveredT22,T25,T26
110CoveredT12,T32,T33
111CoveredT22,T25,T27

 LINE       696
 EXPRESSION (addr_hit[5] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT22,T23,T24
101CoveredT22,T25,T26
110CoveredT16,T5,T34
111CoveredT22,T25,T27

 LINE       699
 EXPRESSION (addr_hit[6] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT22,T23,T24
101CoveredT26,T27,T13
110CoveredT12,T35,T36
111CoveredT13,T17,T37

 LINE       700
 EXPRESSION (addr_hit[6] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT22,T23,T24
101CoveredT26,T27,T13
110CoveredT26,T12,T16
111CoveredT38,T39,T40

 LINE       705
 EXPRESSION (addr_hit[7] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT22,T23,T24
101CoveredT26,T27,T13
110CoveredT25,T14,T41
111CoveredT13,T17,T37

 LINE       706
 EXPRESSION (addr_hit[7] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT22,T23,T24
101CoveredT26,T27,T13
110CoveredT26,T16,T5
111CoveredT38,T39,T40

 LINE       711
 EXPRESSION (addr_hit[8] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT22,T23,T24
101CoveredT22,T25,T26
110CoveredT25,T12,T35
111CoveredT22,T25,T27

 LINE       712
 EXPRESSION (addr_hit[8] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT22,T23,T24
101CoveredT22,T25,T26
110CoveredT25,T26,T12
111CoveredT22,T25,T27

 LINE       715
 EXPRESSION (addr_hit[9] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT22,T23,T24
101CoveredT26,T27,T13
110CoveredT3,T32,T42
111CoveredT13,T17,T37

 LINE       716
 EXPRESSION (addr_hit[9] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT22,T23,T24
101CoveredT26,T27,T13
110CoveredT26,T12,T3
111CoveredT38,T39,T40

 LINE       721
 EXPRESSION (addr_hit[10] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT22,T23,T24
101CoveredT26,T27,T13
110CoveredT25,T12,T32
111CoveredT13,T17,T37

 LINE       722
 EXPRESSION (addr_hit[10] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT22,T23,T24
101CoveredT26,T27,T13
110CoveredT26,T3,T16
111CoveredT38,T39,T40

 LINE       727
 EXPRESSION (addr_hit[11] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT22,T23,T24
101CoveredT22,T25,T26
110CoveredT26,T16,T5
111CoveredT22,T25,T27

 LINE       730
 EXPRESSION (addr_hit[12] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT22,T23,T24
101CoveredT22,T25,T26
110CoveredT26,T12,T16
111CoveredT22,T25,T27

 LINE       733
 EXPRESSION (addr_hit[13] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT22,T23,T24
101CoveredT22,T25,T26
110CoveredT3,T16,T5
111CoveredT22,T25,T27

 LINE       736
 EXPRESSION (addr_hit[14] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT22,T23,T24
101CoveredT22,T25,T26
110CoveredT26,T16,T41
111CoveredT22,T25,T27

 LINE       739
 EXPRESSION (addr_hit[15] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT22,T23,T24
101CoveredT22,T25,T26
110CoveredT25,T14,T16
111CoveredT22,T25,T27

Branch Coverage for Module : gpio_reg_top
Line No.TotalCoveredPercent
Branches 22 22 100.00
TERNARY 659 2 2 100.00
IF 71 3 3 100.00
CASE 767 17 17 100.00

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

LineNo. Expression -1-: 659 ((reg_re || reg_we)) ?

Branches:
-1-StatusTests
1 Covered T22,T23,T24
0 Covered T22,T23,T24


LineNo. Expression -1-: 71 if ((!rst_ni)) -2-: 73 if ((intg_err || reg_we_err))

Branches:
-1--2-StatusTests
1 - Covered T22,T23,T24
0 1 Covered T25,T12,T14
0 0 Covered T22,T23,T24


LineNo. Expression -1-: 767 case (1'b1)

Branches:
-1-StatusTests
addr_hit[0] Covered T22,T23,T24
addr_hit[1] Covered T22,T23,T24
addr_hit[2] Covered T22,T23,T24
addr_hit[3] Covered T22,T23,T24
addr_hit[4] Covered T22,T23,T24
addr_hit[5] Covered T22,T23,T24
addr_hit[6] Covered T22,T23,T24
addr_hit[7] Covered T22,T23,T24
addr_hit[8] Covered T22,T23,T24
addr_hit[9] Covered T22,T23,T24
addr_hit[10] Covered T22,T23,T24
addr_hit[11] Covered T22,T23,T24
addr_hit[12] Covered T22,T23,T24
addr_hit[13] Covered T22,T23,T24
addr_hit[14] Covered T22,T23,T24
addr_hit[15] Covered T22,T23,T24
default Covered T22,T23,T24


Assert Coverage for Module : gpio_reg_top
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
en2addrHit 307403165 22348895 0 0
reAfterRv 307403165 22348863 0 0
rePulse 307403165 9827003 0 0
wePulse 307403165 12521860 0 0


en2addrHit
NameAttemptsReal SuccessesFailuresIncomplete
Total 307403165 22348895 0 0
T1 1378 19 0 0
T11 1767 352 0 0
T12 8187 582 0 0
T13 1910 65 0 0
T22 5316 2305 0 0
T23 865 58 0 0
T24 1190 40 0 0
T25 8550 574 0 0
T26 9482 41 0 0
T27 1703 122 0 0

reAfterRv
NameAttemptsReal SuccessesFailuresIncomplete
Total 307403165 22348863 0 0
T1 1378 19 0 0
T11 1767 352 0 0
T12 8187 582 0 0
T13 1910 65 0 0
T22 5316 2305 0 0
T23 865 58 0 0
T24 1190 40 0 0
T25 8550 574 0 0
T26 9482 41 0 0
T27 1703 122 0 0

rePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 307403165 9827003 0 0
T1 1378 9 0 0
T11 1767 171 0 0
T12 8187 277 0 0
T13 1910 45 0 0
T22 5316 1154 0 0
T23 865 29 0 0
T24 1190 20 0 0
T25 8550 274 0 0
T26 9482 1 0 0
T27 1703 61 0 0

wePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 307403165 12521860 0 0
T1 1378 10 0 0
T11 1767 181 0 0
T12 8187 305 0 0
T13 1910 20 0 0
T22 5316 1151 0 0
T23 865 29 0 0
T24 1190 20 0 0
T25 8550 300 0 0
T26 9482 40 0 0
T27 1703 61 0 0

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