GHDL PSL Functional coverage report
FilenameCoveredNot-CoveredFunctional coveragePassedFailedAssertions passed
TOP LEVEL1432784.1%120100.0%

File nameCoverageAsserts
control_registers_reg_map.vhd(55/70) 78.6%NA
rx_buffer_pointers.vhd(6/6) 100.0%NA
rx_buffer.vhd(30/31) 96.8%NA
txt_buffer_fsm.vhd(8/8) 100.0%(3/3) 100.0%
txt_buffer.vhd(9/9) 100.0%NA
tx_arbitrator_fsm.vhd(1/1) 100.0%NA
tx_arbitrator.vhd(10/12) 83.3%(1/1) 100.0%
int_manager.vhd(24/24) 100.0%NA
trigger_generator.vhdNA(5/5) 100.0%
prescaler.vhdNA(2/2) 100.0%
apb_ifc.vhdNA(1/1) 100.0%
event_logger_reg_map.vhd(0/9) 0.0%NA