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 | 519 | 99175545 | covered |
data_sample_cov | Open collapsed tests | .data_sample_cov | 522 | 29398099 | covered |
secondary_sample_cov | Open collapsed tests | .secondary_sample_cov | 525 | 5967755 | covered |
minimal_bit_time_nbt_cov | Open collapsed tests | .minimal_bit_time_nbt_cov | 528 | 1459 | covered |
minimal_bit_time_dbt_cov | Open collapsed tests | .minimal_bit_time_dbt_cov | 532 | 1459 | covered |
brp_bin_1_1_cov | Open collapsed tests | .brp_bin_1_1_cov | 536 | 1478 | covered |
brp_bin_2_1_cov | Open collapsed tests | .brp_bin_2_1_cov | 539 | 70019059 | covered |
brp_bin_3_1_cov | Open collapsed tests | .brp_bin_3_1_cov | 542 | 0 | not covered |
brp_bin_4_1_cov | Open collapsed tests | .brp_bin_4_1_cov | 545 | 55102164 | covered |
brp_bin_4_3_cov | Open collapsed tests | .brp_bin_4_3_cov | 548 | 901921 | covered |
brp_bin_1_2_cov | Open collapsed tests | .brp_bin_1_2_cov | 551 | 0 | not covered |
brp_nbt_max_cov | Open collapsed tests | .brp_nbt_max_cov | 554 | 7140028 | covered |
brp_dbt_max_cov | Open collapsed tests | .brp_dbt_max_cov | 557 | 7140026 | covered |
pos_resync_in_nominal_bit_rate_cov | Open collapsed tests | .pos_resync_in_nominal_bit_rate_cov | 561 | 76649 | covered |
neg_resync_in_nominal_bit_rate_cov | Open collapsed tests | .neg_resync_in_nominal_bit_rate_cov | 565 | 8594 | covered |
neg_resync_in_data_bit_rate_cov | Open collapsed tests | .neg_resync_in_data_bit_rate_cov | 569 | 6708 | covered |
pos_resync_in_data_bit_rate_cov | Open collapsed tests | .pos_resync_in_data_bit_rate_cov | 573 | 134006 | 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 | 498 | 0 | passed |
min_lenght_ph2_nbt_asrt | Open collapsed tests | .min_lenght_ph2_nbt_asrt | 503 | 0 | passed |
min_lenght_ph1_dbt_asrt | Open collapsed tests | .min_lenght_ph1_dbt_asrt | 508 | 0 | passed |
min_lenght_ph2_dbt_asrt | Open collapsed tests | .min_lenght_ph2_dbt_asrt | 513 | 0 | passed |