GHDL PSL Functional coverage report
FilenameCoveredNot-CoveredFunctional coveragePassedFailedAssertions passed
TOP LEVEL378897.9%720100.0%

File nameCoverageAsserts
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.vhdNA(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(27/30) 90.0%(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(22/23) 95.7%(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.vhdNA(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.vhdNA(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%(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.vhdNA(2/2) 100.0%