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 | 777740 | covered |
err_detect_bit_err_arb_cov | Open collapsed tests | .err_detect_bit_err_arb_cov | 424 | 215 | covered |
err_detect_stuff_err_cov | Open collapsed tests | .err_detect_stuff_err_cov | 427 | 4525 | covered |
err_detect_form_err_cov | Open collapsed tests | .err_detect_form_err_cov | 430 | 530 | covered |
err_detect_ack_err_cov | Open collapsed tests | .err_detect_ack_err_cov | 433 | 249 | covered |
err_detect_crc_err_cov | Open collapsed tests | .err_detect_crc_err_cov | 436 | 194 | covered |
err_detect_parity_err_cov | Open collapsed tests | .err_detect_parity_err_cov | 439 | 91 | covered |
err_capt_q_form_err_cov | Open collapsed tests | .err_capt_q_form_err_cov | 442 | 5038853 | covered |
err_capt_q_bit_err_cov | Open collapsed tests | .err_capt_q_bit_err_cov | 445 | 99456031 | covered |
err_capt_q_crc_err_cov | Open collapsed tests | .err_capt_q_crc_err_cov | 448 | 793459 | covered |
err_capt_q_ack_err_cov | Open collapsed tests | .err_capt_q_ack_err_cov | 451 | 1274790 | covered |
err_capt_q_stuff_err_cov | Open collapsed tests | .err_capt_q_stuff_err_cov | 454 | 27305529 | covered |
err_capt_q_prt_err_cov | Open collapsed tests | .err_capt_q_prt_err_cov | 457 | 672737 | covered |
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|