GHDL PSL Functional coverage report |
---|
Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | err_counters.vhd | 4 | 0 | 100.0% | 2 | 0 | 100.0% |
---|
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|---|---|---|---|---|
err_ctrs_inc_one_cov | Open collapsed tests | .err_ctrs_inc_one_cov | 432 | 3601 | covered |
err_ctrs_inc_eight_cov | Open collapsed tests | .err_ctrs_inc_eight_cov | 435 | 2836 | covered |
err_ctrs_dec_one_cov | Open collapsed tests | .err_ctrs_dec_one_cov | 438 | 8631 | covered |
err_ctrs_rec_saturation | Open collapsed tests | .err_ctrs_rec_saturation | 441 | 3 | covered |
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|---|---|---|---|---|
no_simul_inc_dec_asrt | Open collapsed tests | .no_simul_inc_dec_asrt | 422 | 0 | passed |
no_simul_transm_rec_asrt | Open collapsed tests | .no_simul_transm_rec_asrt | 428 | 0 | passed |