| GHDL PSL Functional coverage report |
|---|
| Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | bit_segment_meter.vhd | 9 | 0 | 100.0% | 0 | 0 | NA |
|---|
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| pos_resync_e_less_than_sjw_cov | Open collapsed tests | .pos_resync_e_less_than_sjw_cov | 525 | 627252 | covered |
| pos_resync_e_more_than_sjw_cov | Open collapsed tests | .pos_resync_e_more_than_sjw_cov | 531 | 3105 | covered |
| pos_resync_e_equal_sjw_cov | Open collapsed tests | .pos_resync_e_equal_sjw_cov | 537 | 2081 | covered |
| neg_resync_e_less_than_sjw_cov | Open collapsed tests | .neg_resync_e_less_than_sjw_cov | 543 | 14209 | covered |
| neg_resync_e_more_than_sjw_cov | Open collapsed tests | .neg_resync_e_more_than_sjw_cov | 548 | 14550 | covered |
| neg_resync_e_equal_sjw_cov | Open collapsed tests | .neg_resync_e_equal_sjw_cov | 553 | 241 | covered |
| exit_segm_immediate_cov | Open collapsed tests | .exit_segm_immediate_cov | 557 | 14787 | covered |
| exit_segm_regular_tseg1_cov | Open collapsed tests | .exit_segm_regular_tseg1_cov | 560 | 7862815 | covered |
| exit_segm_regular_tseg2_cov | Open collapsed tests | .exit_segm_regular_tseg2_cov | 563 | 7389269 | covered |
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|