| GHDL PSL Functional coverage report |
|---|
| Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | synchronisation_checker.vhd | 6 | 0 | 100.0% | 0 | 0 | NA |
|---|
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| h_sync_ignored_due_to_previous_sync_cov | Open collapsed tests | .h_sync_ignored_due_to_previous_sync_cov | 216 | 8 | covered |
| re_sync_ignored_due_to_previous_sync_cov | Open collapsed tests | .re_sync_ignored_due_to_previous_sync_cov | 220 | 27 | covered |
| h_sync_in_tseg_1_cov | Open collapsed tests | .h_sync_in_tseg_1_cov | 224 | 11581 | covered |
| h_sync_in_tseg_2_cov | Open collapsed tests | .h_sync_in_tseg_2_cov | 228 | 1763 | covered |
| re_sync_in_tseg_1_cov | Open collapsed tests | .re_sync_in_tseg_1_cov | 233 | 210655 | covered |
| re_sync_in_tseg_2_cov | Open collapsed tests | .re_sync_in_tseg_2_cov | 236 | 15302 | covered |
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|