| 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 | 464 | covered |
| rxi_enable_cov | Open collapsed tests | .rxi_enable_cov | 320 | 230 | covered |
| txi_set_cov | Open collapsed tests | .txi_set_cov | 324 | 471 | covered |
| txi_enable_cov | Open collapsed tests | .txi_enable_cov | 327 | 147 | covered |
| ewli_int_set_cov | Open collapsed tests | .ewli_int_set_cov | 331 | 122 | 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 | 8 | covered |
| doi_enable_cov | Open collapsed tests | .doi_enable_cov | 341 | 1009 | covered |
| fcsi_int_set_cov | Open collapsed tests | .fcsi_int_set_cov | 345 | 1210 | 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 | 20 | covered |
| ali_enable_cov | Open collapsed tests | .ali_enable_cov | 355 | 3649 | covered |
| beu_int_set_cov | Open collapsed tests | .beu_int_set_cov | 359 | 440 | covered |
| bei_enable_cov | Open collapsed tests | .bei_enable_cov | 362 | 729 | covered |
| rxfi_int_set_cov | Open collapsed tests | .rxfi_int_set_cov | 366 | 5 | 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 | 565 | covered |
| bsi_enable_cov | Open collapsed tests | .bsi_enable_cov | 376 | 5370 | covered |
| rbnei_int_set_cov | Open collapsed tests | .rbnei_int_set_cov | 380 | 462 | covered |
| rbnei_enable_cov | Open collapsed tests | .rbnei_enable_cov | 383 | 6578 | covered |
| txbhci_int_set_cov | Open collapsed tests | .txbhci_int_set_cov | 387 | 543 | covered |
| txbhci_enable_cov | Open collapsed tests | .txbhci_enable_cov | 390 | 24370 | covered |
| ofi_int_set_cov | Open collapsed tests | .ofi_int_set_cov | 394 | 43 | covered |
| ofi_enable_cov | Open collapsed tests | .ofi_enable_cov | 397 | 686 | covered |
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|