Line Coverage for Module :
gpio_reg_top
| Line No. | Total | Covered | Percent |
| TOTAL | | 129 | 129 | 100.00 |
| ALWAYS | 68 | 4 | 4 | 100.00 |
| CONT_ASSIGN | 77 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 89 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 90 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 118 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 119 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 241 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 255 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 261 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 275 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 309 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 323 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 329 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 344 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 360 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 366 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 381 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 397 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 403 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 417 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 423 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 438 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 454 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 460 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 475 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 491 | 1 | 1 | 100.00 |
| ALWAYS | 637 | 17 | 17 | 100.00 |
| CONT_ASSIGN | 656 | 1 | 1 | 100.00 |
| ALWAYS | 660 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 680 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 682 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 683 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 685 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 686 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 688 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 689 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 691 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 692 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 693 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 695 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 696 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 697 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 699 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 701 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 702 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 703 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 705 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 707 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 708 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 709 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 711 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 712 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 713 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 715 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 717 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 718 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 719 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 721 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 723 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 724 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 726 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 727 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 729 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 730 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 732 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 733 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 735 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 736 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 738 | 1 | 1 | 100.00 |
| ALWAYS | 742 | 17 | 17 | 100.00 |
| ALWAYS | 763 | 22 | 22 | 100.00 |
| CONT_ASSIGN | 844 | 0 | 0 | |
| CONT_ASSIGN | 852 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 853 | 1 | 1 | 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, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 68 |
1 |
1 |
| 69 |
1 |
1 |
| 70 |
1 |
1 |
| 71 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 77 |
1 |
1 |
| 89 |
1 |
1 |
| 90 |
1 |
1 |
| 118 |
1 |
1 |
| 119 |
1 |
1 |
| 241 |
1 |
1 |
| 255 |
1 |
1 |
| 261 |
1 |
1 |
| 275 |
1 |
1 |
| 309 |
1 |
1 |
| 323 |
1 |
1 |
| 329 |
1 |
1 |
| 344 |
1 |
1 |
| 360 |
1 |
1 |
| 366 |
1 |
1 |
| 381 |
1 |
1 |
| 397 |
1 |
1 |
| 403 |
1 |
1 |
| 417 |
1 |
1 |
| 423 |
1 |
1 |
| 438 |
1 |
1 |
| 454 |
1 |
1 |
| 460 |
1 |
1 |
| 475 |
1 |
1 |
| 491 |
1 |
1 |
| 637 |
1 |
1 |
| 638 |
1 |
1 |
| 639 |
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 |
| 656 |
1 |
1 |
| 660 |
1 |
1 |
| 680 |
1 |
1 |
| 682 |
1 |
1 |
| 683 |
1 |
1 |
| 685 |
1 |
1 |
| 686 |
1 |
1 |
| 688 |
1 |
1 |
| 689 |
1 |
1 |
| 691 |
1 |
1 |
| 692 |
1 |
1 |
| 693 |
1 |
1 |
| 695 |
1 |
1 |
| 696 |
1 |
1 |
| 697 |
1 |
1 |
| 699 |
1 |
1 |
| 701 |
1 |
1 |
| 702 |
1 |
1 |
| 703 |
1 |
1 |
| 705 |
1 |
1 |
| 707 |
1 |
1 |
| 708 |
1 |
1 |
| 709 |
1 |
1 |
| 711 |
1 |
1 |
| 712 |
1 |
1 |
| 713 |
1 |
1 |
| 715 |
1 |
1 |
| 717 |
1 |
1 |
| 718 |
1 |
1 |
| 719 |
1 |
1 |
| 721 |
1 |
1 |
| 723 |
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 |
| 742 |
1 |
1 |
| 743 |
1 |
1 |
| 744 |
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 |
| 763 |
1 |
1 |
| 764 |
1 |
1 |
| 766 |
1 |
1 |
| 770 |
1 |
1 |
| 774 |
1 |
1 |
| 778 |
1 |
1 |
| 782 |
1 |
1 |
| 786 |
1 |
1 |
| 790 |
1 |
1 |
| 791 |
1 |
1 |
| 795 |
1 |
1 |
| 796 |
1 |
1 |
| 800 |
1 |
1 |
| 804 |
1 |
1 |
| 805 |
1 |
1 |
| 809 |
1 |
1 |
| 810 |
1 |
1 |
| 814 |
1 |
1 |
| 818 |
1 |
1 |
| 822 |
1 |
1 |
| 826 |
1 |
1 |
| 830 |
1 |
1 |
| 844 |
|
unreachable |
| 852 |
1 |
1 |
| 853 |
1 |
1 |
Cond Coverage for Module :
gpio_reg_top
| Total | Covered | Percent |
| Conditions | 203 | 201 | 99.01 |
| Logical | 203 | 201 | 99.01 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 58
EXPRESSION (reg_we && ((!addrmiss)))
---1-- ------2------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | Not Covered | |
| 1 | 1 | Covered | T21,T22,T23 |
LINE 70
EXPRESSION (intg_err || reg_we_err)
----1--- -----2----
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T21,T22,T23 |
| 0 | 1 | Covered | T40,T41,T42 |
| 1 | 0 | Covered | T36,T37,T38 |
LINE 77
EXPRESSION (err_q | intg_err | reg_we_err)
--1-- ----2--- -----3----
| -1- | -2- | -3- | Status | Tests |
| 0 | 0 | 0 | Covered | T21,T22,T23 |
| 0 | 0 | 1 | Covered | T40,T41,T42 |
| 0 | 1 | 0 | Covered | T36,T37,T38 |
| 1 | 0 | 0 | Covered | T40,T41,T42 |
LINE 119
EXPRESSION (addrmiss | wr_err | intg_err)
----1--- ---2-- ----3---
| -1- | -2- | -3- | Status | Tests |
| 0 | 0 | 0 | Covered | T21,T22,T23 |
| 0 | 0 | 1 | Covered | T36,T37,T38 |
| 0 | 1 | 0 | Covered | T33,T34,T35 |
| 1 | 0 | 0 | Not Covered | |
LINE 638
EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_INTR_STATE_OFFSET)
-------------------------1------------------------
| -1- | Status | Tests |
| 0 | Covered | T21,T22,T23 |
| 1 | Covered | T21,T22,T23 |
LINE 639
EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_INTR_ENABLE_OFFSET)
-------------------------1-------------------------
| -1- | Status | Tests |
| 0 | Covered | T21,T22,T23 |
| 1 | Covered | T21,T24,T25 |
LINE 640
EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_INTR_TEST_OFFSET)
------------------------1------------------------
| -1- | Status | Tests |
| 0 | Covered | T21,T22,T23 |
| 1 | Covered | T24,T27,T32 |
LINE 641
EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_ALERT_TEST_OFFSET)
-------------------------1------------------------
| -1- | Status | Tests |
| 0 | Covered | T21,T22,T23 |
| 1 | Covered | T27,T32,T43 |
LINE 642
EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_DATA_IN_OFFSET)
-----------------------1-----------------------
| -1- | Status | Tests |
| 0 | Covered | T21,T22,T23 |
| 1 | Covered | T21,T22,T23 |
LINE 643
EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_DIRECT_OUT_OFFSET)
-------------------------1------------------------
| -1- | Status | Tests |
| 0 | Covered | T21,T22,T23 |
| 1 | Covered | T22,T23,T24 |
LINE 644
EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_MASKED_OUT_LOWER_OFFSET)
----------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T21,T22,T23 |
| 1 | Covered | T23,T24,T27 |
LINE 645
EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_MASKED_OUT_UPPER_OFFSET)
----------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T21,T22,T23 |
| 1 | Covered | T23,T24,T27 |
LINE 646
EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_DIRECT_OE_OFFSET)
------------------------1------------------------
| -1- | Status | Tests |
| 0 | Covered | T21,T22,T23 |
| 1 | Covered | T22,T23,T24 |
LINE 647
EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_MASKED_OE_LOWER_OFFSET)
---------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T21,T22,T23 |
| 1 | Covered | T23,T24,T27 |
LINE 648
EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_MASKED_OE_UPPER_OFFSET)
---------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T21,T22,T23 |
| 1 | Covered | T23,T24,T27 |
LINE 649
EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_INTR_CTRL_EN_RISING_OFFSET)
-----------------------------1-----------------------------
| -1- | Status | Tests |
| 0 | Covered | T21,T22,T23 |
| 1 | Covered | T21,T24,T25 |
LINE 650
EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_INTR_CTRL_EN_FALLING_OFFSET)
------------------------------1-----------------------------
| -1- | Status | Tests |
| 0 | Covered | T21,T22,T23 |
| 1 | Covered | T21,T24,T25 |
LINE 651
EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_INTR_CTRL_EN_LVLHIGH_OFFSET)
------------------------------1-----------------------------
| -1- | Status | Tests |
| 0 | Covered | T21,T22,T23 |
| 1 | Covered | T21,T24,T25 |
LINE 652
EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_INTR_CTRL_EN_LVLLOW_OFFSET)
-----------------------------1-----------------------------
| -1- | Status | Tests |
| 0 | Covered | T21,T22,T23 |
| 1 | Covered | T21,T24,T25 |
LINE 653
EXPRESSION (reg_addr == gpio_reg_pkg::GPIO_CTRL_EN_INPUT_FILTER_OFFSET)
------------------------------1-----------------------------
| -1- | Status | Tests |
| 0 | Covered | T21,T22,T23 |
| 1 | Covered | T21,T24,T27 |
LINE 656
EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
---------1--------
| -1- | Status | Tests |
| 0 | Covered | T21,T22,T23 |
| 1 | Covered | T21,T22,T23 |
LINE 656
SUB-EXPRESSION (reg_re || reg_we)
---1-- ---2--
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T21,T22,T23 |
| 0 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | Covered | T21,T22,T23 |
LINE 660
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- | Status | Tests |
| 0 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | Covered | T21,T22,T23 |
| 1 | 1 | Covered | T33,T34,T35 |
LINE 660
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- | Status | Tests |
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T21,T22,T23 |
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | Covered | T27,T32,T44 |
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | Covered | T24,T27,T32 |
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | Covered | T27,T32,T44 |
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | Covered | T27,T32,T44 |
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | Covered | T27,T32,T31 |
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | Covered | T27,T32,T45 |
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T27,T29,T32 |
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T24,T27,T29 |
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T27,T29,T32 |
| 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T24,T27,T29 |
| 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T27,T29,T32 |
| 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T21,T22,T23 |
| 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T27,T32,T39 |
| 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T27,T32,T31 |
| 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T24,T27,T32 |
| 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T21,T22,T24 |
LINE 660
SUB-EXPRESSION (addr_hit[0] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | Covered | T21,T23,T24 |
| 1 | 1 | Covered | T21,T22,T24 |
LINE 660
SUB-EXPRESSION (addr_hit[1] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | Covered | T21,T24,T25 |
| 1 | 1 | Covered | T24,T27,T32 |
LINE 660
SUB-EXPRESSION (addr_hit[2] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | Covered | T24,T27,T32 |
| 1 | 1 | Covered | T27,T32,T31 |
LINE 660
SUB-EXPRESSION (addr_hit[3] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | Covered | T27,T32,T43 |
| 1 | 1 | Covered | T27,T32,T39 |
LINE 660
SUB-EXPRESSION (addr_hit[4] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T21,T22,T24 |
| 1 | 0 | Covered | T21,T22,T23 |
| 1 | 1 | Covered | T21,T22,T23 |
LINE 660
SUB-EXPRESSION (addr_hit[5] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | Covered | T22,T23,T24 |
| 1 | 1 | Covered | T27,T29,T32 |
LINE 660
SUB-EXPRESSION (addr_hit[6] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | Covered | T23,T24,T27 |
| 1 | 1 | Covered | T24,T27,T29 |
LINE 660
SUB-EXPRESSION (addr_hit[7] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | Covered | T23,T24,T29 |
| 1 | 1 | Covered | T27,T29,T32 |
LINE 660
SUB-EXPRESSION (addr_hit[8] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | Covered | T22,T23,T24 |
| 1 | 1 | Covered | T24,T27,T29 |
LINE 660
SUB-EXPRESSION (addr_hit[9] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | Covered | T23,T24,T27 |
| 1 | 1 | Covered | T27,T29,T32 |
LINE 660
SUB-EXPRESSION (addr_hit[10] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | Covered | T23,T24,T29 |
| 1 | 1 | Covered | T27,T32,T45 |
LINE 660
SUB-EXPRESSION (addr_hit[11] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | Covered | T21,T24,T25 |
| 1 | 1 | Covered | T27,T32,T31 |
LINE 660
SUB-EXPRESSION (addr_hit[12] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | Covered | T21,T24,T25 |
| 1 | 1 | Covered | T27,T32,T44 |
LINE 660
SUB-EXPRESSION (addr_hit[13] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | Covered | T21,T24,T25 |
| 1 | 1 | Covered | T27,T32,T44 |
LINE 660
SUB-EXPRESSION (addr_hit[14] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | Covered | T21,T24,T25 |
| 1 | 1 | Covered | T24,T27,T32 |
LINE 660
SUB-EXPRESSION (addr_hit[15] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | Covered | T21,T24,T28 |
| 1 | 1 | Covered | T27,T32,T44 |
LINE 680
EXPRESSION (addr_hit[0] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | 1 | Covered | T21,T22,T23 |
| 1 | 1 | 0 | Covered | T33,T34,T35 |
| 1 | 1 | 1 | Covered | T24,T25,T27 |
LINE 683
EXPRESSION (addr_hit[1] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | 1 | Covered | T21,T24,T25 |
| 1 | 1 | 0 | Covered | T33,T34,T35 |
| 1 | 1 | 1 | Covered | T21,T24,T25 |
LINE 686
EXPRESSION (addr_hit[2] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | 1 | Covered | T24,T27,T32 |
| 1 | 1 | 0 | Covered | T33,T34,T35 |
| 1 | 1 | 1 | Covered | T24,T31,T44 |
LINE 689
EXPRESSION (addr_hit[3] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | 1 | Covered | T27,T32,T43 |
| 1 | 1 | 0 | Covered | T33,T34,T35 |
| 1 | 1 | 1 | Covered | T43,T12,T19 |
LINE 692
EXPRESSION (addr_hit[5] & reg_re & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | 1 | Covered | T22,T23,T24 |
| 1 | 1 | 0 | Covered | T46,T47,T48 |
| 1 | 1 | 1 | Covered | T29,T45,T31 |
LINE 693
EXPRESSION (addr_hit[5] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | 1 | Covered | T22,T23,T24 |
| 1 | 1 | 0 | Covered | T33,T34,T35 |
| 1 | 1 | 1 | Covered | T22,T23,T24 |
LINE 696
EXPRESSION (addr_hit[6] & reg_re & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | 1 | Covered | T23,T24,T27 |
| 1 | 1 | 0 | Covered | T46,T49,T50 |
| 1 | 1 | 1 | Covered | T24,T29,T45 |
LINE 697
EXPRESSION (addr_hit[6] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | 1 | Covered | T23,T24,T27 |
| 1 | 1 | 0 | Covered | T33,T34,T35 |
| 1 | 1 | 1 | Covered | T23,T24,T29 |
LINE 702
EXPRESSION (addr_hit[7] & reg_re & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | 1 | Covered | T23,T24,T27 |
| 1 | 1 | 0 | Covered | T36,T37,T49 |
| 1 | 1 | 1 | Covered | T24,T29,T45 |
LINE 703
EXPRESSION (addr_hit[7] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | 1 | Covered | T23,T24,T27 |
| 1 | 1 | 0 | Covered | T33,T34,T35 |
| 1 | 1 | 1 | Covered | T23,T24,T29 |
LINE 708
EXPRESSION (addr_hit[8] & reg_re & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | 1 | Covered | T22,T23,T24 |
| 1 | 1 | 0 | Covered | T36,T37,T46 |
| 1 | 1 | 1 | Covered | T24,T29,T45 |
LINE 709
EXPRESSION (addr_hit[8] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | 1 | Covered | T22,T23,T24 |
| 1 | 1 | 0 | Covered | T33,T34,T35 |
| 1 | 1 | 1 | Covered | T22,T23,T24 |
LINE 712
EXPRESSION (addr_hit[9] & reg_re & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | 1 | Covered | T23,T24,T27 |
| 1 | 1 | 0 | Covered | T37,T38,T49 |
| 1 | 1 | 1 | Covered | T24,T29,T45 |
LINE 713
EXPRESSION (addr_hit[9] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | 1 | Covered | T23,T24,T27 |
| 1 | 1 | 0 | Covered | T33,T34,T35 |
| 1 | 1 | 1 | Covered | T23,T24,T29 |
LINE 718
EXPRESSION (addr_hit[10] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | 1 | Covered | T23,T24,T27 |
| 1 | 1 | 0 | Covered | T36,T37,T38 |
| 1 | 1 | 1 | Covered | T29,T45,T44 |
LINE 719
EXPRESSION (addr_hit[10] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | 1 | Covered | T23,T24,T27 |
| 1 | 1 | 0 | Covered | T33,T34,T35 |
| 1 | 1 | 1 | Covered | T23,T24,T29 |
LINE 724
EXPRESSION (addr_hit[11] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | 1 | Covered | T21,T24,T25 |
| 1 | 1 | 0 | Covered | T33,T34,T35 |
| 1 | 1 | 1 | Covered | T21,T24,T25 |
LINE 727
EXPRESSION (addr_hit[12] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | 1 | Covered | T21,T24,T25 |
| 1 | 1 | 0 | Covered | T33,T34,T35 |
| 1 | 1 | 1 | Covered | T21,T24,T25 |
LINE 730
EXPRESSION (addr_hit[13] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | 1 | Covered | T21,T24,T25 |
| 1 | 1 | 0 | Covered | T33,T34,T35 |
| 1 | 1 | 1 | Covered | T21,T24,T25 |
LINE 733
EXPRESSION (addr_hit[14] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | 1 | Covered | T21,T24,T25 |
| 1 | 1 | 0 | Covered | T33,T34,T35 |
| 1 | 1 | 1 | Covered | T21,T24,T25 |
LINE 736
EXPRESSION (addr_hit[15] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T21,T22,T23 |
| 1 | 0 | 1 | Covered | T21,T24,T27 |
| 1 | 1 | 0 | Covered | T33,T34,T35 |
| 1 | 1 | 1 | Covered | T21,T24,T28 |
Branch Coverage for Module :
gpio_reg_top
| Line No. | Total | Covered | Percent |
| Branches |
|
22 |
22 |
100.00 |
| TERNARY |
656 |
2 |
2 |
100.00 |
| IF |
68 |
3 |
3 |
100.00 |
| CASE |
764 |
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-: 656 ((reg_re || reg_we)) ?
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T21,T22,T23 |
| 0 |
Covered |
T21,T22,T23 |
LineNo. Expression
-1-: 68 if ((!rst_ni))
-2-: 70 if ((intg_err || reg_we_err))
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T21,T22,T23 |
| 0 |
1 |
Covered |
T40,T41,T42 |
| 0 |
0 |
Covered |
T21,T22,T23 |
LineNo. Expression
-1-: 764 case (1'b1)
Branches:
| -1- | Status | Tests |
| addr_hit[0] |
Covered |
T21,T22,T23 |
| addr_hit[1] |
Covered |
T21,T22,T23 |
| addr_hit[2] |
Covered |
T21,T22,T23 |
| addr_hit[3] |
Covered |
T21,T22,T23 |
| addr_hit[4] |
Covered |
T21,T22,T23 |
| addr_hit[5] |
Covered |
T21,T22,T23 |
| addr_hit[6] |
Covered |
T21,T22,T23 |
| addr_hit[7] |
Covered |
T21,T22,T23 |
| addr_hit[8] |
Covered |
T21,T22,T23 |
| addr_hit[9] |
Covered |
T21,T22,T23 |
| addr_hit[10] |
Covered |
T21,T22,T23 |
| addr_hit[11] |
Covered |
T21,T22,T23 |
| addr_hit[12] |
Covered |
T21,T22,T23 |
| addr_hit[13] |
Covered |
T21,T22,T23 |
| addr_hit[14] |
Covered |
T21,T22,T23 |
| addr_hit[15] |
Covered |
T21,T22,T23 |
| default |
Covered |
T21,T22,T23 |
Assert Coverage for Module :
gpio_reg_top
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
en2addrHit |
146622541 |
13237978 |
0 |
0 |
|
reAfterRv |
146622541 |
13237978 |
0 |
0 |
|
rePulse |
146622541 |
5888038 |
0 |
0 |
|
wePulse |
146622541 |
7349940 |
0 |
0 |
en2addrHit
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
146622541 |
13237978 |
0 |
0 |
| T21 |
100452 |
5555 |
0 |
0 |
| T22 |
4621 |
486 |
0 |
0 |
| T23 |
1348 |
84 |
0 |
0 |
| T24 |
6780 |
265 |
0 |
0 |
| T25 |
12357 |
891 |
0 |
0 |
| T26 |
3128 |
223 |
0 |
0 |
| T27 |
1819 |
124 |
0 |
0 |
| T28 |
4000 |
866 |
0 |
0 |
| T29 |
2475 |
117 |
0 |
0 |
| T30 |
1690 |
79 |
0 |
0 |
reAfterRv
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
146622541 |
13237978 |
0 |
0 |
| T21 |
100452 |
5555 |
0 |
0 |
| T22 |
4621 |
486 |
0 |
0 |
| T23 |
1348 |
84 |
0 |
0 |
| T24 |
6780 |
265 |
0 |
0 |
| T25 |
12357 |
891 |
0 |
0 |
| T26 |
3128 |
223 |
0 |
0 |
| T27 |
1819 |
124 |
0 |
0 |
| T28 |
4000 |
866 |
0 |
0 |
| T29 |
2475 |
117 |
0 |
0 |
| T30 |
1690 |
79 |
0 |
0 |
rePulse
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
146622541 |
5888038 |
0 |
0 |
| T21 |
100452 |
4840 |
0 |
0 |
| T22 |
4621 |
96 |
0 |
0 |
| T23 |
1348 |
14 |
0 |
0 |
| T24 |
6780 |
31 |
0 |
0 |
| T25 |
12357 |
334 |
0 |
0 |
| T26 |
3128 |
109 |
0 |
0 |
| T27 |
1819 |
41 |
0 |
0 |
| T28 |
4000 |
648 |
0 |
0 |
| T29 |
2475 |
59 |
0 |
0 |
| T30 |
1690 |
36 |
0 |
0 |
wePulse
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
146622541 |
7349940 |
0 |
0 |
| T21 |
100452 |
715 |
0 |
0 |
| T22 |
4621 |
390 |
0 |
0 |
| T23 |
1348 |
70 |
0 |
0 |
| T24 |
6780 |
234 |
0 |
0 |
| T25 |
12357 |
557 |
0 |
0 |
| T26 |
3128 |
114 |
0 |
0 |
| T27 |
1819 |
83 |
0 |
0 |
| T28 |
4000 |
218 |
0 |
0 |
| T29 |
2475 |
58 |
0 |
0 |
| T30 |
1690 |
43 |
0 |
0 |