Assertions
dashboard | hierarchy | modlist | groups | tests | asserts
Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total80080226
Category 080080226

Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total80080226
Severity 080080226

Summary for Assertions
NUMBERPERCENT
Total Number8008100.00
Uncovered00.00
Success8008100.00
Failure00.00
Incomplete00.00
Without Attempts00.00

Summary for Cover Sequences
NUMBERPERCENT
Total Number226100.00
Uncovered00.00
All Matches226100.00
First Matches226100.00
Go previous page
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETE
tb.dut.tlul_assert_device_i2c1.gen_host_cov.d_sizeChangedNotAccepted_C 0030057609775750
tb.dut.tlul_assert_device_i2c1.gen_host_cov.d_sourceChangedNotAccepted_C 003005760971201200
tb.dut.tlul_assert_device_i2c2.gen_host_cov.b2bRsp_C 00300576097586758670
tb.dut.tlul_assert_device_i2c2.gen_host_cov.dValidNotAccepted_C 00300576097146314630
tb.dut.tlul_assert_device_i2c2.gen_host_cov.d_dataChangedNotAccepted_C 003005760974414410
tb.dut.tlul_assert_device_i2c2.gen_host_cov.d_errorChangedNotAccepted_C 003005760971371370
tb.dut.tlul_assert_device_i2c2.gen_host_cov.d_opcodeChangedNotAccepted_C 0030057609793930
tb.dut.tlul_assert_device_i2c2.gen_host_cov.d_sinkChangedNotAccepted_C 003005760972232230
tb.dut.tlul_assert_device_i2c2.gen_host_cov.d_sizeChangedNotAccepted_C 003005760971481480
tb.dut.tlul_assert_device_i2c2.gen_host_cov.d_sourceChangedNotAccepted_C 003005760971981980
tb.dut.tlul_assert_device_lc_ctrl.gen_host_cov.b2bRsp_C 00300576097700370030
tb.dut.tlul_assert_device_lc_ctrl.gen_host_cov.dValidNotAccepted_C 00300576097147214720
tb.dut.tlul_assert_device_lc_ctrl.gen_host_cov.d_dataChangedNotAccepted_C 003005760973763760
tb.dut.tlul_assert_device_lc_ctrl.gen_host_cov.d_errorChangedNotAccepted_C 003005760971331330
tb.dut.tlul_assert_device_lc_ctrl.gen_host_cov.d_opcodeChangedNotAccepted_C 0030057609760600
tb.dut.tlul_assert_device_lc_ctrl.gen_host_cov.d_sinkChangedNotAccepted_C 003005760971911910
tb.dut.tlul_assert_device_lc_ctrl.gen_host_cov.d_sizeChangedNotAccepted_C 0030057609782820
tb.dut.tlul_assert_device_lc_ctrl.gen_host_cov.d_sourceChangedNotAccepted_C 003005760971261260
tb.dut.tlul_assert_device_otp_ctrl__core.gen_host_cov.b2bRsp_C 00300576097477247720
tb.dut.tlul_assert_device_otp_ctrl__core.gen_host_cov.dValidNotAccepted_C 00300576097164716470
tb.dut.tlul_assert_device_otp_ctrl__core.gen_host_cov.d_dataChangedNotAccepted_C 003005760974234230
tb.dut.tlul_assert_device_otp_ctrl__core.gen_host_cov.d_errorChangedNotAccepted_C 003005760971901900
tb.dut.tlul_assert_device_otp_ctrl__core.gen_host_cov.d_opcodeChangedNotAccepted_C 0030057609786860
tb.dut.tlul_assert_device_otp_ctrl__core.gen_host_cov.d_sinkChangedNotAccepted_C 003005760972122120
tb.dut.tlul_assert_device_otp_ctrl__core.gen_host_cov.d_sizeChangedNotAccepted_C 003005760971251250
tb.dut.tlul_assert_device_otp_ctrl__core.gen_host_cov.d_sourceChangedNotAccepted_C 003005760971951950
tb.dut.tlul_assert_device_otp_ctrl__prim.gen_host_cov.b2bRsp_C 00300576097556055600
tb.dut.tlul_assert_device_otp_ctrl__prim.gen_host_cov.dValidNotAccepted_C 00300576097170617060
tb.dut.tlul_assert_device_otp_ctrl__prim.gen_host_cov.d_dataChangedNotAccepted_C 003005760974234230
tb.dut.tlul_assert_device_otp_ctrl__prim.gen_host_cov.d_errorChangedNotAccepted_C 003005760971401400
tb.dut.tlul_assert_device_otp_ctrl__prim.gen_host_cov.d_opcodeChangedNotAccepted_C 0030057609784840
tb.dut.tlul_assert_device_otp_ctrl__prim.gen_host_cov.d_sinkChangedNotAccepted_C 003005760972252250
tb.dut.tlul_assert_device_otp_ctrl__prim.gen_host_cov.d_sizeChangedNotAccepted_C 003005760971051050
tb.dut.tlul_assert_device_otp_ctrl__prim.gen_host_cov.d_sourceChangedNotAccepted_C 003005760971551550
tb.dut.tlul_assert_device_pattgen.gen_host_cov.b2bRsp_C 00300576097701370130
tb.dut.tlul_assert_device_pattgen.gen_host_cov.dValidNotAccepted_C 00300576097145114510
tb.dut.tlul_assert_device_pattgen.gen_host_cov.d_dataChangedNotAccepted_C 003005760973993990
tb.dut.tlul_assert_device_pattgen.gen_host_cov.d_errorChangedNotAccepted_C 003005760971471470
tb.dut.tlul_assert_device_pattgen.gen_host_cov.d_opcodeChangedNotAccepted_C 0030057609774740
tb.dut.tlul_assert_device_pattgen.gen_host_cov.d_sinkChangedNotAccepted_C 003005760971991990
tb.dut.tlul_assert_device_pattgen.gen_host_cov.d_sizeChangedNotAccepted_C 003005760971001000
tb.dut.tlul_assert_device_pattgen.gen_host_cov.d_sourceChangedNotAccepted_C 003005760971381380
tb.dut.tlul_assert_device_pinmux_aon.gen_host_cov.b2bRsp_C 00300576097655165510
tb.dut.tlul_assert_device_pinmux_aon.gen_host_cov.dValidNotAccepted_C 00300576097145914590
tb.dut.tlul_assert_device_pinmux_aon.gen_host_cov.d_dataChangedNotAccepted_C 003005760973983980
tb.dut.tlul_assert_device_pinmux_aon.gen_host_cov.d_errorChangedNotAccepted_C 003005760971511510
tb.dut.tlul_assert_device_pinmux_aon.gen_host_cov.d_opcodeChangedNotAccepted_C 0030057609736360
tb.dut.tlul_assert_device_pinmux_aon.gen_host_cov.d_sinkChangedNotAccepted_C 003005760971931930
tb.dut.tlul_assert_device_pinmux_aon.gen_host_cov.d_sizeChangedNotAccepted_C 0030057609760600
tb.dut.tlul_assert_device_pinmux_aon.gen_host_cov.d_sourceChangedNotAccepted_C 0030057609798980
tb.dut.tlul_assert_device_pwm_aon.gen_host_cov.b2bRsp_C 00300576097748774870
tb.dut.tlul_assert_device_pwm_aon.gen_host_cov.dValidNotAccepted_C 00300576097177917790
tb.dut.tlul_assert_device_pwm_aon.gen_host_cov.d_dataChangedNotAccepted_C 003005760973453450
tb.dut.tlul_assert_device_pwm_aon.gen_host_cov.d_errorChangedNotAccepted_C 003005760971491490
tb.dut.tlul_assert_device_pwm_aon.gen_host_cov.d_opcodeChangedNotAccepted_C 0030057609733330
tb.dut.tlul_assert_device_pwm_aon.gen_host_cov.d_sinkChangedNotAccepted_C 003005760971561560
tb.dut.tlul_assert_device_pwm_aon.gen_host_cov.d_sizeChangedNotAccepted_C 0030057609738380
tb.dut.tlul_assert_device_pwm_aon.gen_host_cov.d_sourceChangedNotAccepted_C 0030057609768680
tb.dut.tlul_assert_device_pwrmgr_aon.gen_host_cov.b2bRsp_C 00300576097628762870
tb.dut.tlul_assert_device_pwrmgr_aon.gen_host_cov.dValidNotAccepted_C 00300576097149114910
tb.dut.tlul_assert_device_pwrmgr_aon.gen_host_cov.d_dataChangedNotAccepted_C 003005760973743740
tb.dut.tlul_assert_device_pwrmgr_aon.gen_host_cov.d_errorChangedNotAccepted_C 003005760971371370
tb.dut.tlul_assert_device_pwrmgr_aon.gen_host_cov.d_opcodeChangedNotAccepted_C 0030057609738380
tb.dut.tlul_assert_device_pwrmgr_aon.gen_host_cov.d_sinkChangedNotAccepted_C 003005760971791790
tb.dut.tlul_assert_device_pwrmgr_aon.gen_host_cov.d_sizeChangedNotAccepted_C 0030057609755550
tb.dut.tlul_assert_device_pwrmgr_aon.gen_host_cov.d_sourceChangedNotAccepted_C 0030057609783830
tb.dut.tlul_assert_device_rstmgr_aon.gen_host_cov.b2bRsp_C 00300576097752875280
tb.dut.tlul_assert_device_rstmgr_aon.gen_host_cov.dValidNotAccepted_C 00300576097174217420
tb.dut.tlul_assert_device_rstmgr_aon.gen_host_cov.d_dataChangedNotAccepted_C 003005760973903900
tb.dut.tlul_assert_device_rstmgr_aon.gen_host_cov.d_errorChangedNotAccepted_C 003005760971511510
tb.dut.tlul_assert_device_rstmgr_aon.gen_host_cov.d_opcodeChangedNotAccepted_C 0030057609776760
tb.dut.tlul_assert_device_rstmgr_aon.gen_host_cov.d_sinkChangedNotAccepted_C 003005760971811810
tb.dut.tlul_assert_device_rstmgr_aon.gen_host_cov.d_sizeChangedNotAccepted_C 003005760971201200
tb.dut.tlul_assert_device_rstmgr_aon.gen_host_cov.d_sourceChangedNotAccepted_C 003005760971741740
tb.dut.tlul_assert_device_rv_timer.gen_host_cov.b2bRsp_C 00300576097580958090
tb.dut.tlul_assert_device_rv_timer.gen_host_cov.dValidNotAccepted_C 00300576097171317130
tb.dut.tlul_assert_device_rv_timer.gen_host_cov.d_dataChangedNotAccepted_C 003005760974754750
tb.dut.tlul_assert_device_rv_timer.gen_host_cov.d_errorChangedNotAccepted_C 003005760971751750
tb.dut.tlul_assert_device_rv_timer.gen_host_cov.d_opcodeChangedNotAccepted_C 0030057609790900
tb.dut.tlul_assert_device_rv_timer.gen_host_cov.d_sinkChangedNotAccepted_C 003005760972422420
tb.dut.tlul_assert_device_rv_timer.gen_host_cov.d_sizeChangedNotAccepted_C 003005760971251250
tb.dut.tlul_assert_device_rv_timer.gen_host_cov.d_sourceChangedNotAccepted_C 003005760971871870
tb.dut.tlul_assert_device_sensor_ctrl_aon.gen_host_cov.b2bRsp_C 00300576097537253720
tb.dut.tlul_assert_device_sensor_ctrl_aon.gen_host_cov.dValidNotAccepted_C 00300576097131213120
tb.dut.tlul_assert_device_sensor_ctrl_aon.gen_host_cov.d_dataChangedNotAccepted_C 003005760973773770
tb.dut.tlul_assert_device_sensor_ctrl_aon.gen_host_cov.d_errorChangedNotAccepted_C 003005760971381380
tb.dut.tlul_assert_device_sensor_ctrl_aon.gen_host_cov.d_opcodeChangedNotAccepted_C 0030057609761610
tb.dut.tlul_assert_device_sensor_ctrl_aon.gen_host_cov.d_sinkChangedNotAccepted_C 003005760971831830
tb.dut.tlul_assert_device_sensor_ctrl_aon.gen_host_cov.d_sizeChangedNotAccepted_C 003005760971041040
tb.dut.tlul_assert_device_sensor_ctrl_aon.gen_host_cov.d_sourceChangedNotAccepted_C 003005760971531530
tb.dut.tlul_assert_device_spi_device.gen_host_cov.b2bRsp_C 00300576097792979290
tb.dut.tlul_assert_device_spi_device.gen_host_cov.dValidNotAccepted_C 00300576097159315930
tb.dut.tlul_assert_device_spi_device.gen_host_cov.d_dataChangedNotAccepted_C 003005760973483480
tb.dut.tlul_assert_device_spi_device.gen_host_cov.d_errorChangedNotAccepted_C 003005760971231230
tb.dut.tlul_assert_device_spi_device.gen_host_cov.d_opcodeChangedNotAccepted_C 0030057609731310
tb.dut.tlul_assert_device_spi_device.gen_host_cov.d_sinkChangedNotAccepted_C 003005760971601600
tb.dut.tlul_assert_device_spi_device.gen_host_cov.d_sizeChangedNotAccepted_C 0030057609743430
tb.dut.tlul_assert_device_spi_device.gen_host_cov.d_sourceChangedNotAccepted_C 0030057609761610
tb.dut.tlul_assert_device_sram_ctrl_ret_aon__ram.gen_host_cov.b2bRsp_C 00300576097839783970
tb.dut.tlul_assert_device_sram_ctrl_ret_aon__ram.gen_host_cov.dValidNotAccepted_C 00300576097159815980
tb.dut.tlul_assert_device_sram_ctrl_ret_aon__ram.gen_host_cov.d_dataChangedNotAccepted_C 003005760973953950
tb.dut.tlul_assert_device_sram_ctrl_ret_aon__ram.gen_host_cov.d_errorChangedNotAccepted_C 003005760971261260
tb.dut.tlul_assert_device_sram_ctrl_ret_aon__ram.gen_host_cov.d_opcodeChangedNotAccepted_C 0030057609767670
tb.dut.tlul_assert_device_sram_ctrl_ret_aon__ram.gen_host_cov.d_sinkChangedNotAccepted_C 003005760971931930
tb.dut.tlul_assert_device_sram_ctrl_ret_aon__ram.gen_host_cov.d_sizeChangedNotAccepted_C 0030057609795950
tb.dut.tlul_assert_device_sram_ctrl_ret_aon__ram.gen_host_cov.d_sourceChangedNotAccepted_C 003005760971391390
tb.dut.tlul_assert_device_sram_ctrl_ret_aon__regs.gen_host_cov.b2bRsp_C 00300576097777077700
tb.dut.tlul_assert_device_sram_ctrl_ret_aon__regs.gen_host_cov.dValidNotAccepted_C 00300576097178117810
tb.dut.tlul_assert_device_sram_ctrl_ret_aon__regs.gen_host_cov.d_dataChangedNotAccepted_C 003005760975425420
tb.dut.tlul_assert_device_sram_ctrl_ret_aon__regs.gen_host_cov.d_errorChangedNotAccepted_C 003005760972382380
tb.dut.tlul_assert_device_sram_ctrl_ret_aon__regs.gen_host_cov.d_opcodeChangedNotAccepted_C 003005760971201200
tb.dut.tlul_assert_device_sram_ctrl_ret_aon__regs.gen_host_cov.d_sinkChangedNotAccepted_C 003005760972652650
tb.dut.tlul_assert_device_sram_ctrl_ret_aon__regs.gen_host_cov.d_sizeChangedNotAccepted_C 003005760971701700
tb.dut.tlul_assert_device_sram_ctrl_ret_aon__regs.gen_host_cov.d_sourceChangedNotAccepted_C 003005760972572570
tb.dut.tlul_assert_device_sysrst_ctrl_aon.gen_host_cov.b2bRsp_C 00300576097638663860
tb.dut.tlul_assert_device_sysrst_ctrl_aon.gen_host_cov.dValidNotAccepted_C 00300576097173317330
tb.dut.tlul_assert_device_sysrst_ctrl_aon.gen_host_cov.d_dataChangedNotAccepted_C 003005760973613610
tb.dut.tlul_assert_device_sysrst_ctrl_aon.gen_host_cov.d_errorChangedNotAccepted_C 003005760971551550
tb.dut.tlul_assert_device_sysrst_ctrl_aon.gen_host_cov.d_opcodeChangedNotAccepted_C 0030057609762620
tb.dut.tlul_assert_device_sysrst_ctrl_aon.gen_host_cov.d_sinkChangedNotAccepted_C 003005760971831830
tb.dut.tlul_assert_device_sysrst_ctrl_aon.gen_host_cov.d_sizeChangedNotAccepted_C 0030057609781810
tb.dut.tlul_assert_device_sysrst_ctrl_aon.gen_host_cov.d_sourceChangedNotAccepted_C 003005760971251250
tb.dut.tlul_assert_device_uart0.gen_host_cov.b2bRsp_C 00300576097610561050
tb.dut.tlul_assert_device_uart0.gen_host_cov.dValidNotAccepted_C 00300576097145714570
tb.dut.tlul_assert_device_uart0.gen_host_cov.d_dataChangedNotAccepted_C 003005760973173170
tb.dut.tlul_assert_device_uart0.gen_host_cov.d_errorChangedNotAccepted_C 003005760971241240
tb.dut.tlul_assert_device_uart0.gen_host_cov.d_opcodeChangedNotAccepted_C 0030057609725250
tb.dut.tlul_assert_device_uart0.gen_host_cov.d_sinkChangedNotAccepted_C 003005760971671670
tb.dut.tlul_assert_device_uart0.gen_host_cov.d_sizeChangedNotAccepted_C 0030057609726260
tb.dut.tlul_assert_device_uart0.gen_host_cov.d_sourceChangedNotAccepted_C 0030057609748480
tb.dut.tlul_assert_device_uart1.gen_host_cov.b2bRsp_C 00300576097562856280
tb.dut.tlul_assert_device_uart1.gen_host_cov.dValidNotAccepted_C 00300576097153915390
tb.dut.tlul_assert_device_uart1.gen_host_cov.d_dataChangedNotAccepted_C 003005760973803800
tb.dut.tlul_assert_device_uart1.gen_host_cov.d_errorChangedNotAccepted_C 003005760971211210
tb.dut.tlul_assert_device_uart1.gen_host_cov.d_opcodeChangedNotAccepted_C 0030057609748480
tb.dut.tlul_assert_device_uart1.gen_host_cov.d_sinkChangedNotAccepted_C 003005760972002000
tb.dut.tlul_assert_device_uart1.gen_host_cov.d_sizeChangedNotAccepted_C 0030057609771710
tb.dut.tlul_assert_device_uart1.gen_host_cov.d_sourceChangedNotAccepted_C 003005760971081080
tb.dut.tlul_assert_device_uart2.gen_host_cov.b2bRsp_C 00300576097608960890
tb.dut.tlul_assert_device_uart2.gen_host_cov.dValidNotAccepted_C 00300576097152715270
tb.dut.tlul_assert_device_uart2.gen_host_cov.d_dataChangedNotAccepted_C 003005760974104100
tb.dut.tlul_assert_device_uart2.gen_host_cov.d_errorChangedNotAccepted_C 003005760971641640
tb.dut.tlul_assert_device_uart2.gen_host_cov.d_opcodeChangedNotAccepted_C 0030057609751510
tb.dut.tlul_assert_device_uart2.gen_host_cov.d_sinkChangedNotAccepted_C 003005760971931930
tb.dut.tlul_assert_device_uart2.gen_host_cov.d_sizeChangedNotAccepted_C 0030057609793930
tb.dut.tlul_assert_device_uart2.gen_host_cov.d_sourceChangedNotAccepted_C 003005760971351350
tb.dut.tlul_assert_device_uart3.gen_host_cov.b2bRsp_C 00300576097764576450
tb.dut.tlul_assert_device_uart3.gen_host_cov.dValidNotAccepted_C 00300576097162416240
tb.dut.tlul_assert_device_uart3.gen_host_cov.d_dataChangedNotAccepted_C 003005760975745740
tb.dut.tlul_assert_device_uart3.gen_host_cov.d_errorChangedNotAccepted_C 003005760972152150
tb.dut.tlul_assert_device_uart3.gen_host_cov.d_opcodeChangedNotAccepted_C 003005760971331330
tb.dut.tlul_assert_device_uart3.gen_host_cov.d_sinkChangedNotAccepted_C 003005760972782780
tb.dut.tlul_assert_device_uart3.gen_host_cov.d_sizeChangedNotAccepted_C 003005760971871870
tb.dut.tlul_assert_device_uart3.gen_host_cov.d_sourceChangedNotAccepted_C 003005760973033030
tb.dut.tlul_assert_host_main.gen_device_cov.aValidNotAccepted_C 003005760971117071117070
tb.dut.tlul_assert_host_main.gen_device_cov.a_addressChangedNotAccepted_C 00300576097258882588811
tb.dut.tlul_assert_host_main.gen_device_cov.a_dataChangedNotAccepted_C 00300576097266972669711
tb.dut.tlul_assert_host_main.gen_device_cov.a_maskChangedNotAccepted_C 00300576097232842328411
tb.dut.tlul_assert_host_main.gen_device_cov.a_opcodeChangedNotAccepted_C 00300576097177441774411
tb.dut.tlul_assert_host_main.gen_device_cov.a_sizeChangedNotAccepted_C 00300576097177381773811
tb.dut.tlul_assert_host_main.gen_device_cov.a_sourceChangedNotAccepted_C 00300576097118531185311
tb.dut.tlul_assert_host_main.gen_device_cov.b2bReqWithSameAddr_C 0030057609723555235550
tb.dut.tlul_assert_host_main.gen_device_cov.b2bReq_C 003005760978009738009730
tb.dut.tlul_assert_host_main.gen_device_cov.b2bSameSource_C 00300576097150122150122621