GHDL PSL Functional coverage report
FilenameCoveredNot-CoveredFunctional coveragePassedFailedAssertions passed
TOP LEVEL1892289.6%500100.0%

File nameCoverageAsserts
control_registers_reg_map.vhd(70/70) 100.0%NA
rx_buffer_fsm.vhdNA(5/5) 100.0%
rx_buffer_pointers.vhd(6/6) 100.0%NA
rx_buffer.vhd(29/30) 96.7%(1/1) 100.0%
txt_buffer_fsm.vhd(9/9) 100.0%(3/3) 100.0%
txt_buffer.vhd(9/9) 100.0%NA
tx_arbitrator_fsm.vhd(2/6) 33.3%(2/2) 100.0%
tx_arbitrator.vhd(18/22) 81.8%(1/1) 100.0%
int_manager.vhd(24/24) 100.0%NA
protocol_control_fsm.vhd(15/27) 55.6%(4/4) 100.0%
retransmitt_counter.vhdNA(1/1) 100.0%
rx_shift_reg.vhdNA(2/2) 100.0%
protocol_control.vhdNA(6/6) 100.0%
operation_control.vhdNA(4/4) 100.0%
err_counters.vhdNA(2/2) 100.0%
fault_confinement.vhdNA(1/1) 100.0%
crc_calc.vhdNA(1/1) 100.0%
bit_destuffing.vhdNA(1/1) 100.0%
bus_traffic_counters.vhdNA(1/1) 100.0%
can_core.vhd(7/8) 87.5%(6/6) 100.0%
trigger_generator.vhdNA(1/1) 100.0%
ssp_generator.vhdNA(2/2) 100.0%
tx_data_cache.vhdNA(2/2) 100.0%
can_top_level.vhdNA(3/3) 100.0%
apb_ifc.vhdNA(1/1) 100.0%