GHDL PSL Functional coverage report
FilenameCoveredNot-CoveredFunctional coveragePassedFailedAssertions passed
TOP LEVEL2791295.9%560100.0%

File nameCoverageAsserts
control_registers_reg_map.vhd(71/71) 100.0%NA
rx_buffer_fsm.vhdNA(4/4) 100.0%
rx_buffer_pointers.vhd(6/6) 100.0%NA
rx_buffer.vhd(29/30) 96.7%(2/2) 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(16/16) 100.0%(2/2) 100.0%
tx_arbitrator.vhd(22/22) 100.0%(1/1) 100.0%
int_manager.vhd(24/24) 100.0%NA
protocol_control_fsm.vhd(32/35) 91.4%(9/9) 100.0%
retransmitt_counter.vhdNA(1/1) 100.0%
err_detector.vhd(6/6) 100.0%NA
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%
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(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/3) 66.7%NA
trigger_generator.vhd(1/1) 100.0%(1/1) 100.0%
prescaler.vhd(14/18) 77.8%NA
trv_delay_meas.vhd(4/5) 80.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(3/4) 75.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.vhdNA(3/3) 100.0%
apb_ifc.vhdNA(1/1) 100.0%