GHDL PSL Functional coverage report |
---|
Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | bit_err_detector.vhd | 3 | 1 | 75.0% | 0 | 0 | NA |
---|
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|---|---|---|---|---|
bit_err_normal_cov | Open collapsed tests | .bit_err_normal_cov | 233 | 777719 | covered |
bit_err_secondary_cov | Open collapsed tests | .bit_err_secondary_cov | 236 | 21 | covered |
bit_err_secondary_capt_cov | Open collapsed tests | .bit_err_secondary_capt_cov | 239 | 21 | covered |
bit_err_secondary_direct_cov | Open collapsed tests | .bit_err_secondary_direct_cov | 242 | 0 | not covered |
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|