| 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 | 418387 | covered |
| pos_resync_e_more_than_sjw_cov | Open collapsed tests | .pos_resync_e_more_than_sjw_cov | 531 | 1046 | covered |
| pos_resync_e_equal_sjw_cov | Open collapsed tests | .pos_resync_e_equal_sjw_cov | 537 | 1877 | covered |
| neg_resync_e_less_than_sjw_cov | Open collapsed tests | .neg_resync_e_less_than_sjw_cov | 543 | 15087 | covered |
| neg_resync_e_more_than_sjw_cov | Open collapsed tests | .neg_resync_e_more_than_sjw_cov | 548 | 15308 | covered |
| neg_resync_e_equal_sjw_cov | Open collapsed tests | .neg_resync_e_equal_sjw_cov | 553 | 209 | covered |
| exit_segm_immediate_cov | Open collapsed tests | .exit_segm_immediate_cov | 557 | 15569 | covered |
| exit_segm_regular_tseg1_cov | Open collapsed tests | .exit_segm_regular_tseg1_cov | 560 | 6173754 | covered |
| exit_segm_regular_tseg2_cov | Open collapsed tests | .exit_segm_regular_tseg2_cov | 563 | 5679518 | covered |
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|