| GHDL PSL Functional coverage report |
|---|
| Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | segment_end_detector.vhd | 2 | 0 | 100.0% | 1 | 0 | 100.0% |
|---|
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| segm_end_req_1_capt_cov | Open collapsed tests | .segm_end_req_1_capt_cov | 333 | 4322119 | covered |
| segm_end_req_2_capt_cov | Open collapsed tests | .segm_end_req_2_capt_cov | 336 | 1538480 | covered |
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| no_h_sync_not_in_time_quanta | Open collapsed tests | .no_h_sync_not_in_time_quanta | 330 | 0 | passed |