| GHDL PSL Functional coverage report |
|---|
| Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | can_top_level.vhd | 0 | 0 | NA | 2 | 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 |
|---|---|---|---|---|---|
| no_tx_dominant_when_disabled_asrt | Open collapsed tests | .no_tx_dominant_when_disabled_asrt | 1323 | 0 | passed |
| no_tx_dominant_when_bus_monitoring_asrt | Open collapsed tests | .no_tx_dominant_when_bus_monitoring_asrt | 1327 | 0 | passed |