| GHDL PSL Functional coverage report |
|---|
| Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | prescaler.vhd | 15 | 2 | 88.2% | 4 | 0 | 100.0% |
|---|
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| nominal_sample_cov | Open collapsed tests | .nominal_sample_cov | 510 | 121514152 | covered |
| data_sample_cov | Open collapsed tests | .data_sample_cov | 513 | 36852818 | covered |
| secondary_sample_cov | Open collapsed tests | .secondary_sample_cov | 516 | 6830741 | covered |
| minimal_bit_time_nbt_cov | Open collapsed tests | .minimal_bit_time_nbt_cov | 519 | 1379 | covered |
| minimal_bit_time_dbt_cov | Open collapsed tests | .minimal_bit_time_dbt_cov | 523 | 3530 | covered |
| brp_bin_1_1_cov | Open collapsed tests | .brp_bin_1_1_cov | 527 | 1374004 | covered |
| brp_bin_2_1_cov | Open collapsed tests | .brp_bin_2_1_cov | 530 | 85665339 | covered |
| brp_bin_3_1_cov | Open collapsed tests | .brp_bin_3_1_cov | 533 | 0 | not covered |
| brp_bin_4_1_cov | Open collapsed tests | .brp_bin_4_1_cov | 536 | 67348937 | covered |
| brp_bin_4_3_cov | Open collapsed tests | .brp_bin_4_3_cov | 539 | 928029 | covered |
| brp_bin_1_2_cov | Open collapsed tests | .brp_bin_1_2_cov | 542 | 0 | not covered |
| brp_nbt_max_cov | Open collapsed tests | .brp_nbt_max_cov | 545 | 7269568 | covered |
| brp_dbt_max_cov | Open collapsed tests | .brp_dbt_max_cov | 548 | 7269566 | covered |
| pos_resync_in_nominal_bit_rate_cov | Open collapsed tests | .pos_resync_in_nominal_bit_rate_cov | 552 | 129797 | covered |
| neg_resync_in_nominal_bit_rate_cov | Open collapsed tests | .neg_resync_in_nominal_bit_rate_cov | 556 | 8484 | covered |
| neg_resync_in_data_bit_rate_cov | Open collapsed tests | .neg_resync_in_data_bit_rate_cov | 560 | 6016 | covered |
| pos_resync_in_data_bit_rate_cov | Open collapsed tests | .pos_resync_in_data_bit_rate_cov | 564 | 186422 | covered |
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| min_lenght_ph1_nbt_asrt | Open collapsed tests | .min_lenght_ph1_nbt_asrt | 489 | 0 | passed |
| min_lenght_ph2_nbt_asrt | Open collapsed tests | .min_lenght_ph2_nbt_asrt | 494 | 0 | passed |
| min_lenght_ph1_dbt_asrt | Open collapsed tests | .min_lenght_ph1_dbt_asrt | 499 | 0 | passed |
| min_lenght_ph2_dbt_asrt | Open collapsed tests | .min_lenght_ph2_dbt_asrt | 504 | 0 | passed |