GHDL PSL Functional coverage report |
---|
Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | retransmitt_counter.vhd | 0 | 0 | NA | 1 | 0 | 100.0% |
---|
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|---|---|---|---|---|
retr_ctr_simul_set_and_clear_asrt | Open collapsed tests | .retr_ctr_simul_set_and_clear_asrt | 184 | 0 | passed |