| GHDL PSL Functional coverage report |
|---|
| Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | err_detector.vhd | 13 | 0 | 100.0% | 0 | 0 | NA |
|---|
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| err_detect_bit_err_cov | Open collapsed tests | .err_detect_bit_err_cov | 421 | 2215 | covered |
| err_detect_bit_err_arb_cov | Open collapsed tests | .err_detect_bit_err_arb_cov | 424 | 392 | covered |
| err_detect_stuff_err_cov | Open collapsed tests | .err_detect_stuff_err_cov | 427 | 6674 | covered |
| err_detect_form_err_cov | Open collapsed tests | .err_detect_form_err_cov | 430 | 1071 | covered |
| err_detect_ack_err_cov | Open collapsed tests | .err_detect_ack_err_cov | 433 | 637 | covered |
| err_detect_crc_err_cov | Open collapsed tests | .err_detect_crc_err_cov | 436 | 363 | covered |
| err_detect_parity_err_cov | Open collapsed tests | .err_detect_parity_err_cov | 439 | 90 | covered |
| err_capt_q_form_err_cov | Open collapsed tests | .err_capt_q_form_err_cov | 442 | 8035021 | covered |
| err_capt_q_bit_err_cov | Open collapsed tests | .err_capt_q_bit_err_cov | 445 | 111845156 | covered |
| err_capt_q_crc_err_cov | Open collapsed tests | .err_capt_q_crc_err_cov | 448 | 1248642 | covered |
| err_capt_q_ack_err_cov | Open collapsed tests | .err_capt_q_ack_err_cov | 451 | 2671089 | covered |
| err_capt_q_stuff_err_cov | Open collapsed tests | .err_capt_q_stuff_err_cov | 454 | 40799444 | covered |
| err_capt_q_prt_err_cov | Open collapsed tests | .err_capt_q_prt_err_cov | 457 | 598359 | covered |
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|