| GHDL PSL Functional coverage report |
|---|
| Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | TOP LEVEL | 379 | 10 | 97.4% | 73 | 0 | 100.0% |
|---|
| File name | Coverage | Asserts |
|---|---|---|
| control_registers_reg_map.vhd | (73/73) 100.0% | NA |
| test_registers_reg_map.vhd | (7/7) 100.0% | NA |
| memory_registers.vhd | (2/2) 100.0% | (4/4) 100.0% |
| rx_buffer_fsm.vhd | NA | (3/3) 100.0% |
| rx_buffer_pointers.vhd | (6/6) 100.0% | NA |
| rx_buffer_ram.vhd | (1/1) 100.0% | (2/2) 100.0% |
| rx_buffer.vhd | (26/32) 81.2% | (2/2) 100.0% |
| txt_buffer_ram.vhd | (8/8) 100.0% | NA |
| txt_buffer_fsm.vhd | (17/17) 100.0% | (4/4) 100.0% |
| txt_buffer.vhd | (11/11) 100.0% | NA |
| tx_arbitrator_fsm.vhd | (23/23) 100.0% | (2/2) 100.0% |
| tx_arbitrator.vhd | (26/26) 100.0% | (1/1) 100.0% |
| int_manager.vhd | (24/24) 100.0% | NA |
| protocol_control_fsm.vhd | (35/35) 100.0% | (9/9) 100.0% |
| reintegration_counter.vhd | (4/4) 100.0% | NA |
| retransmitt_counter.vhd | NA | (1/1) 100.0% |
| err_detector.vhd | (13/13) 100.0% | NA |
| tx_shift_reg.vhd | (12/12) 100.0% | (7/7) 100.0% |
| rx_shift_reg.vhd | (15/15) 100.0% | (2/2) 100.0% |
| protocol_control.vhd | NA | (6/6) 100.0% |
| operation_control.vhd | (2/2) 100.0% | (5/5) 100.0% |
| err_counters.vhd | (4/4) 100.0% | (2/2) 100.0% |
| fault_confinement_rules.vhd | (6/6) 100.0% | NA |
| crc_calc.vhd | (1/1) 100.0% | (1/1) 100.0% |
| bit_destuffing.vhd | (4/4) 100.0% | (1/1) 100.0% |
| bus_traffic_counters.vhd | (2/2) 100.0% | (1/1) 100.0% |
| can_core.vhd | (8/8) 100.0% | (6/6) 100.0% |
| synchronisation_checker.vhd | (6/6) 100.0% | NA |
| bit_segment_meter.vhd | (9/9) 100.0% | NA |
| segment_end_detector.vhd | (2/2) 100.0% | (1/1) 100.0% |
| trigger_generator.vhd | (0/1) 0.0% | (1/1) 100.0% |
| prescaler.vhd | (15/17) 88.2% | (4/4) 100.0% |
| trv_delay_meas.vhd | (5/5) 100.0% | (2/2) 100.0% |
| data_edge_detector.vhd | (2/2) 100.0% | NA |
| ssp_generator.vhd | (2/2) 100.0% | (2/2) 100.0% |
| tx_data_cache.vhd | (4/4) 100.0% | (2/2) 100.0% |
| bit_err_detector.vhd | (3/4) 75.0% | NA |
| bus_sampling.vhd | (1/1) 100.0% | NA |
| can_top_level.vhd | NA | (2/2) 100.0% |