| GHDL PSL Functional coverage report | | Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed |
|---|
bus_traffic_counters.vhd | 2 | 0 | 100.0% | 1 | 0 | 100.0% |
|---|
Cover Points| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|
| traffic_ctrs_tx_inc_cov | Open collapsed tests | .traffic_ctrs_tx_inc_cov | 266 | 6129 | covered |
| traffic_ctrs_rx_inc_cov | Open collapsed tests | .traffic_ctrs_rx_inc_cov | 269 | 6187 | covered |
Assertions| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|
| no_simul_inc_tx_rx_asrt | Open collapsed tests | .no_simul_inc_tx_rx_asrt | 262 | 0 | passed |