| GHDL PSL Functional coverage report |
|---|
| Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | bit_destuffing.vhd | 4 | 0 | 100.0% | 1 | 0 | 100.0% |
|---|
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| bds_non_fix_to_fixed_change_cov | Open collapsed tests | .bds_non_fix_to_fixed_change_cov | 464 | 4525 | covered |
| bds_stuff_err_detect_cov | Open collapsed tests | .bds_stuff_err_detect_cov | 467 | 4525 | covered |
| bds_stuff_lvl_reached_regular_cov | Open collapsed tests | .bds_stuff_lvl_reached_regular_cov | 470 | 6975995 | covered |
| bds_stuff_lvl_reached_fixed_cov | Open collapsed tests | .bds_stuff_lvl_reached_fixed_cov | 473 | 1237577 | covered |
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| valid_stuff_length_setting_asrt | Open collapsed tests | .valid_stuff_length_setting_asrt | 460 | 0 | passed |