GHDL PSL Functional coverage report |
---|
Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | data_edge_detector.vhd | 2 | 0 | 100.0% | 0 | 0 | NA |
---|
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|---|---|---|---|---|
sync_edge_cov | Open collapsed tests | .sync_edge_cov | 224 | 445887 | covered |
sync_edge_but_prev_sample_the_same_cov | Open collapsed tests | .sync_edge_but_prev_sample_the_same_cov | 227 | 738 | covered |
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|