| GHDL PSL Functional coverage report |
|---|
| Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | tx_data_cache.vhd | 4 | 0 | 100.0% | 2 | 0 | 100.0% |
|---|
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| tx_data_cache_one_bit_on_fly_cov | Open collapsed tests | .tx_data_cache_one_bit_on_fly_cov | 218 | 3458115 | covered |
| tx_data_cache_two_bits_on_fly_cov | Open collapsed tests | .tx_data_cache_two_bits_on_fly_cov | 221 | 30344 | covered |
| tx_data_cache_three_bits_on_fly_cov | Open collapsed tests | .tx_data_cache_three_bits_on_fly_cov | 224 | 46886 | covered |
| tx_data_cache_four_bits_on_fly_cov | Open collapsed tests | .tx_data_cache_four_bits_on_fly_cov | 227 | 2160 | covered |
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| no_fifo_overflow_asrt | Open collapsed tests | .no_fifo_overflow_asrt | 206 | 0 | passed |
| no_empty_read | Open collapsed tests | .no_empty_read | 210 | 0 | passed |