GHDL PSL Functional coverage report |
---|
Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | bit_destuffing.vhd | 4 | 0 | 100.0% | 0 | 0 | NA |
---|
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 | 459 | 6350 | covered |
bds_stuff_err_detect_cov | Open collapsed tests | .bds_stuff_err_detect_cov | 462 | 6674 | covered |
bds_stuff_lvl_reached_regular_cov | Open collapsed tests | .bds_stuff_lvl_reached_regular_cov | 465 | 9337144 | covered |
bds_stuff_lvl_reached_fixed_cov | Open collapsed tests | .bds_stuff_lvl_reached_fixed_cov | 468 | 1464560 | covered |
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|