| GHDL PSL Functional coverage report |
|---|
| Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | int_manager.vhd | 24 | 0 | 100.0% | 0 | 0 | NA |
|---|
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| rxi_set_cov | Open collapsed tests | .rxi_set_cov | 317 | 500 | covered |
| rxi_enable_cov | Open collapsed tests | .rxi_enable_cov | 320 | 232 | covered |
| txi_set_cov | Open collapsed tests | .txi_set_cov | 324 | 515 | covered |
| txi_enable_cov | Open collapsed tests | .txi_enable_cov | 327 | 150 | covered |
| ewli_int_set_cov | Open collapsed tests | .ewli_int_set_cov | 331 | 142 | covered |
| ewli_enable_cov | Open collapsed tests | .ewli_enable_cov | 334 | 18 | covered |
| doi_int_set_cov | Open collapsed tests | .doi_int_set_cov | 338 | 9 | covered |
| doi_enable_cov | Open collapsed tests | .doi_enable_cov | 341 | 1048 | covered |
| fcsi_int_set_cov | Open collapsed tests | .fcsi_int_set_cov | 345 | 1369 | covered |
| fcsi_enable_cov | Open collapsed tests | .fcsi_enable_cov | 348 | 975 | covered |
| ali_int_set_cov | Open collapsed tests | .ali_int_set_cov | 352 | 22 | covered |
| ali_enable_cov | Open collapsed tests | .ali_enable_cov | 355 | 2087 | covered |
| beu_int_set_cov | Open collapsed tests | .beu_int_set_cov | 359 | 526 | covered |
| bei_enable_cov | Open collapsed tests | .bei_enable_cov | 362 | 728 | covered |
| rxfi_int_set_cov | Open collapsed tests | .rxfi_int_set_cov | 366 | 4 | covered |
| rxfi_enable_cov | Open collapsed tests | .rxfi_enable_cov | 369 | 14 | covered |
| bsi_int_set_cov | Open collapsed tests | .bsi_int_set_cov | 373 | 646 | covered |
| bsi_enable_cov | Open collapsed tests | .bsi_enable_cov | 376 | 5366 | covered |
| rbnei_int_set_cov | Open collapsed tests | .rbnei_int_set_cov | 380 | 526 | covered |
| rbnei_enable_cov | Open collapsed tests | .rbnei_enable_cov | 383 | 4798 | covered |
| txbhci_int_set_cov | Open collapsed tests | .txbhci_int_set_cov | 387 | 622 | covered |
| txbhci_enable_cov | Open collapsed tests | .txbhci_enable_cov | 390 | 24822 | covered |
| ofi_int_set_cov | Open collapsed tests | .ofi_int_set_cov | 394 | 46 | covered |
| ofi_enable_cov | Open collapsed tests | .ofi_enable_cov | 397 | 686 | covered |
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|