| 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 | 14 | covered |
| re_sync_ignored_due_to_previous_sync_cov | Open collapsed tests | .re_sync_ignored_due_to_previous_sync_cov | 220 | 30 | covered |
| h_sync_in_tseg_1_cov | Open collapsed tests | .h_sync_in_tseg_1_cov | 224 | 17082 | covered |
| h_sync_in_tseg_2_cov | Open collapsed tests | .h_sync_in_tseg_2_cov | 228 | 2450 | covered |
| re_sync_in_tseg_1_cov | Open collapsed tests | .re_sync_in_tseg_1_cov | 233 | 316219 | covered |
| re_sync_in_tseg_2_cov | Open collapsed tests | .re_sync_in_tseg_2_cov | 236 | 14500 | covered |
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|