Assertions
dashboard | hierarchy | modlist | groups | tests | asserts
Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total95320222
Category 095320222

Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total95320222
Severity 095320222

Summary for Assertions
NUMBERPERCENT
Total Number9532100.00
Uncovered700.73
Success946299.27
Failure00.00
Incomplete240.25
Without Attempts00.00

Summary for Cover Sequences
NUMBERPERCENT
Total Number222100.00
Uncovered00.00
All Matches222100.00
First Matches222100.00
Go previous page
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETE
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.d_sizeChangedNotAccepted_C 0025962998640400
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.d_sourceChangedNotAccepted_C 0025962998662620
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.b2bRsp_C 0025962998675195751950
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.dValidNotAccepted_C 002596299867977970
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.d_dataChangedNotAccepted_C 002596299862472470
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.d_errorChangedNotAccepted_C 0025962998678780
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.d_opcodeChangedNotAccepted_C 0025962998629290
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.d_sinkChangedNotAccepted_C 002596299861341340
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.d_sizeChangedNotAccepted_C 0025962998648480
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.d_sourceChangedNotAccepted_C 0025962998673730
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.b2bRsp_C 002596299869549540
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.dValidNotAccepted_C 002596299862552550
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.d_dataChangedNotAccepted_C 0025962998692920
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.d_errorChangedNotAccepted_C 0025962998637370
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.d_opcodeChangedNotAccepted_C 0025962998640400
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.d_sinkChangedNotAccepted_C 0025962998645450
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.d_sizeChangedNotAccepted_C 0025962998653530
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.d_sourceChangedNotAccepted_C 0025962998678780
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.b2bRsp_C 00259629986204120410
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.dValidNotAccepted_C 002596299868708700
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.d_dataChangedNotAccepted_C 002596299861821820
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.d_errorChangedNotAccepted_C 0025962998655550
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.d_opcodeChangedNotAccepted_C 0025962998623230
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.d_sinkChangedNotAccepted_C 002596299861001000
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.d_sizeChangedNotAccepted_C 0025962998633330
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.d_sourceChangedNotAccepted_C 0025962998653530
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.b2bRsp_C 002596299867497490
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.dValidNotAccepted_C 002596299863303300
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_dataChangedNotAccepted_C 0025962998683830
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_errorChangedNotAccepted_C 0025962998627270
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_opcodeChangedNotAccepted_C 0025962998639390
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_sinkChangedNotAccepted_C 0025962998642420
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_sizeChangedNotAccepted_C 0025962998653530
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_sourceChangedNotAccepted_C 0025962998674740
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.b2bRsp_C 002596299868358350
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.dValidNotAccepted_C 002596299861771770
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_dataChangedNotAccepted_C 0025962998633330
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_errorChangedNotAccepted_C 0025962998613130
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_opcodeChangedNotAccepted_C 0025962998611110
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_sinkChangedNotAccepted_C 0025962998615150
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_sizeChangedNotAccepted_C 0025962998616160
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_sourceChangedNotAccepted_C 0025962998623230
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.b2bRsp_C 00325503392791579150
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.dValidNotAccepted_C 003255033928698690
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_dataChangedNotAccepted_C 003255033922652650
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_errorChangedNotAccepted_C 0032550339293930
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_opcodeChangedNotAccepted_C 0032550339266660
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_sinkChangedNotAccepted_C 003255033921291290
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_sizeChangedNotAccepted_C 003255033921061060
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_sourceChangedNotAccepted_C 003255033921771770
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.b2bRsp_C 00328993444742074200
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.dValidNotAccepted_C 00328993444101710170
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_dataChangedNotAccepted_C 003289934442532530
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_errorChangedNotAccepted_C 0032899344496960
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_opcodeChangedNotAccepted_C 0032899344470700
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_sinkChangedNotAccepted_C 003289934441211210
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_sizeChangedNotAccepted_C 003289934441251250
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_sourceChangedNotAccepted_C 003289934441811810
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.b2bRsp_C 0025962998667623676230
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.dValidNotAccepted_C 0025962998613259132590
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_dataChangedNotAccepted_C 00259629986272727270
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_errorChangedNotAccepted_C 002596299869469460
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_opcodeChangedNotAccepted_C 002596299862632630
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_sinkChangedNotAccepted_C 00259629986134613460
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_sizeChangedNotAccepted_C 002596299863813810
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_sourceChangedNotAccepted_C 002596299865735730
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.b2bRsp_C 002596299869759750
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.dValidNotAccepted_C 002596299862452450
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_dataChangedNotAccepted_C 0025962998639390
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_errorChangedNotAccepted_C 00259629986550
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_opcodeChangedNotAccepted_C 0025962998614140
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_sinkChangedNotAccepted_C 0025962998626260
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_sizeChangedNotAccepted_C 0025962998624240
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_sourceChangedNotAccepted_C 0025962998633330
tb.dut.tlul_assert_device_usbdev.gen_host_cov.b2bRsp_C 00311692689582958290
tb.dut.tlul_assert_device_usbdev.gen_host_cov.dValidNotAccepted_C 003116926896516510
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_dataChangedNotAccepted_C 003116926892062060
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_errorChangedNotAccepted_C 0031169268971710
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_opcodeChangedNotAccepted_C 0031169268983830
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_sinkChangedNotAccepted_C 003116926891061060
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_sizeChangedNotAccepted_C 003116926891031030
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_sourceChangedNotAccepted_C 003116926891641640
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.aValidNotAccepted_C 002596299861475541475540
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_addressChangedNotAccepted_C 00259629986288812888112
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_dataChangedNotAccepted_C 00259629986297992979912
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_maskChangedNotAccepted_C 00259629986259032590312
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_opcodeChangedNotAccepted_C 00259629986199661996612
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_sizeChangedNotAccepted_C 00259629986196981969812
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_sourceChangedNotAccepted_C 00259629986147331473312
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.b2bReqWithSameAddr_C 0025962998623738237380
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.b2bReq_C 002596299866930086930080
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.b2bSameSource_C 00259629986148388148388615
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.aValidNotAccepted_C 002596299861246021246020
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_addressChangedNotAccepted_C 0025962998624768247689
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_dataChangedNotAccepted_C 0025962998625674256749
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_maskChangedNotAccepted_C 0025962998621899218999
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_opcodeChangedNotAccepted_C 0025962998617095170959
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_sizeChangedNotAccepted_C 0025962998616873168739
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_sourceChangedNotAccepted_C 0025962998613169131699
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.b2bReqWithSameAddr_C 0025962998625890258900
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.b2bReq_C 002596299866946266946260
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.b2bSameSource_C 00259629986169310169310618
tb.dut.tlul_assert_host_rv_dm__sba.gen_device_cov.aValidNotAccepted_C 0025962998682885828850
tb.dut.tlul_assert_host_rv_dm__sba.gen_device_cov.a_addressChangedNotAccepted_C 0025962998619114191145
tb.dut.tlul_assert_host_rv_dm__sba.gen_device_cov.a_dataChangedNotAccepted_C 0025962998619865198655
tb.dut.tlul_assert_host_rv_dm__sba.gen_device_cov.a_maskChangedNotAccepted_C 0025962998617207172075
tb.dut.tlul_assert_host_rv_dm__sba.gen_device_cov.a_opcodeChangedNotAccepted_C 0025962998613239132395
tb.dut.tlul_assert_host_rv_dm__sba.gen_device_cov.a_sizeChangedNotAccepted_C 0025962998613240132405
tb.dut.tlul_assert_host_rv_dm__sba.gen_device_cov.a_sourceChangedNotAccepted_C 0025962998610719107195
tb.dut.tlul_assert_host_rv_dm__sba.gen_device_cov.b2bReqWithSameAddr_C 0025962998623121231210
tb.dut.tlul_assert_host_rv_dm__sba.gen_device_cov.b2bReq_C 002596299866618266618260
tb.dut.tlul_assert_host_rv_dm__sba.gen_device_cov.b2bSameSource_C 00259629986144925144925622