GHDL PSL Functional coverage report |
---|
Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | TOP LEVEL | 383 | 7 | 98.2% | 75 | 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 | (3/3) 100.0% | (5/5) 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 | (28/31) 90.3% | (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 | (10/10) 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% | NA |
bus_traffic_counters.vhd | (2/2) 100.0% | (1/1) 100.0% |
can_core.vhd | (8/8) 100.0% | (7/7) 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% |