Unified Coverage Report

Go previous page

ASSERTIONS	CATEGORY	SEVERITY	ATTEMPTS	REAL SUCCESSES	FAILURES	INCOMPLETE
tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf.OtpSizeKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf.OtpWdataKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf.ReadLockPropagation_A	0	0	100520911	17729017	0	0
tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf.SizeMustBeBlockAligned_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf.TlulGntKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf.TlulRdataKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf.TlulReadOnReadLock_A	0	0	100520911	6350	0	0
tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf.TlulRerrorKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf.TlulRvalidKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf.WriteLockPropagation_A	0	0	100520911	1785343	0	0
tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf.gen_digest_write_lock.DigestWriteLocksPartition_A	0	0	100520911	18450498	0	0
tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf.gen_digest_write_lock.u_prim_mubi8_sender_write_lock.OutputsKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg.DataKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg.DataOutKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg.EccErrKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg.EccKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg.RDataOutKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg.WidthMustBe64bit_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf.u_prim_mubi8_sender_read_lock_pre.OutputsKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf.u_prim_mubi8_sender_write_lock_pre.OutputsKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf.u_state_regs.AssertConnected_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf.u_state_regs_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[3].gen_unbuffered.FpvSecCmCtrlPartUnbufFsmCheck_A	0	0	100520911	50	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.AccessKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.DigestKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.DigestOffsetMustBeRepresentable_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.EccErrorState_A	0	0	100520911	8759	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.ErrorKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.FsmStateKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.InitDoneKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.InitReadLocksPartition_A	0	0	100520911	16632604	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.InitWriteLocksPartition_A	0	0	100520911	16632604	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.OffsetMustBeBlockAligned_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.OtpAddrKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.OtpCmdKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.OtpErrorState_A	0	0	100520911	49	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.OtpReqKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.OtpSizeKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.OtpWdataKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.ReadLockPropagation_A	0	0	100520911	17127253	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.SizeMustBeBlockAligned_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.TlulGntKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.TlulRdataKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.TlulReadOnReadLock_A	0	0	100520911	6327	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.TlulRerrorKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.TlulRvalidKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.WriteLockPropagation_A	0	0	100520911	2825569	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.gen_digest_write_lock.DigestWriteLocksPartition_A	0	0	100520911	30356544	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.gen_digest_write_lock.u_prim_mubi8_sender_write_lock.OutputsKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg.DataKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg.DataOutKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg.EccErrKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg.EccKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg.RDataOutKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg.WidthMustBe64bit_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.u_prim_mubi8_sender_read_lock_pre.OutputsKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.u_prim_mubi8_sender_write_lock_pre.OutputsKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.u_state_regs.AssertConnected_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.u_state_regs_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[4].gen_unbuffered.FpvSecCmCtrlPartUnbufFsmCheck_A	0	0	100520911	50	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.AccessKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.DigestKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.DigestOffsetMustBeRepresentable_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.EccErrorState_A	0	0	100520911	15884	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.ErrorKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.FsmStateKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.InitDoneKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.InitReadLocksPartition_A	0	0	100520911	16805924	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.InitWriteLocksPartition_A	0	0	100520911	16805924	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.OffsetMustBeBlockAligned_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.OtpAddrKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.OtpCmdKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.OtpErrorState_A	0	0	100520911	43	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.OtpReqKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.OtpSizeKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.OtpWdataKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.ReadLockPropagation_A	0	0	100520911	17596761	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.SizeMustBeBlockAligned_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.TlulGntKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.TlulRdataKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.TlulReadOnReadLock_A	0	0	100520911	5896	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.TlulRerrorKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.TlulRvalidKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.WriteLockPropagation_A	0	0	100520911	1706533	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.gen_digest_write_lock.DigestWriteLocksPartition_A	0	0	100520911	17564480	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.gen_digest_write_lock.u_prim_mubi8_sender_write_lock.OutputsKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg.DataKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg.DataOutKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg.EccErrKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg.EccKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg.RDataOutKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg.WidthMustBe64bit_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.u_prim_mubi8_sender_read_lock_pre.OutputsKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.u_prim_mubi8_sender_write_lock_pre.OutputsKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.u_state_regs.AssertConnected_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.u_state_regs_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[5].gen_buffered.FpvSecCmCntPartBufCheck_A	0	0	100520911	50	0	0
tb.dut.gen_partitions[5].gen_buffered.FpvSecCmCtrlPartBufFsmCheck_A	0	0	100520911	50	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.AccessKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.BypassEnable1_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.CnstyChkAckKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.DataKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.DigestKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.DigestOffsetMustBeRepresentable_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.ErrorKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.InitDoneKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.InitReadLocksPartition_A	0	0	100520911	26260130	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.InitWriteLocksPartition_A	0	0	100520911	26260130	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.IntegChkAckKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.OffsetMustBeBlockAligned_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.OtpAddrKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.OtpCmdKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.OtpPartBufSize_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.OtpReqKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.OtpSizeKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.OtpWdataKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.ReadLockImpliesDigest_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.ScrmblCmdKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.ScrmblDataKnown_A	0	0	98612813	97813980	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.ScrmblModeKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.ScrmblMtxReqKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.ScrmblSelKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.ScrmblValidKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.SizeMustBeBlockAligned_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.WriteLockPropagation_A	0	0	100520911	1987319	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.gen_digest_write_lock.DigestWriteLocksPartition_A	0	0	100520911	31728943	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.gen_digest_write_lock.u_prim_mubi8_sender_write_lock.OutputsKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg.DataKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg.DataOutKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg.EccErrKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg.EccKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg.RDataOutKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg.WidthMustBe64bit_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.u_prim_mubi8_sender_read_lock_pre.OutputsKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.u_prim_mubi8_sender_write_lock_pre.OutputsKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.u_state_regs.AssertConnected_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.u_state_regs_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[6].gen_buffered.FpvSecCmCntPartBufCheck_A	0	0	100520911	50	0	0
tb.dut.gen_partitions[6].gen_buffered.FpvSecCmCtrlPartBufFsmCheck_A	0	0	100520911	50	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.AccessKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.BypassEnable1_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.CnstyChkAckKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.DataKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.DigestKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.DigestOffsetMustBeRepresentable_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.ErrorKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.InitDoneKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.InitReadLocksPartition_A	0	0	100520911	18981070	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.InitWriteLocksPartition_A	0	0	100520911	18981070	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.IntegChkAckKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.OffsetMustBeBlockAligned_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.OtpAddrKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.OtpCmdKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.OtpPartBufSize_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.OtpReqKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.OtpSizeKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.OtpWdataKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.ReadLockImpliesDigest_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.ScrmblCmdKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.ScrmblDataKnown_A	0	0	98612813	97813980	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.ScrmblModeKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.ScrmblMtxReqKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.ScrmblSelKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.ScrmblValidKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.SizeMustBeBlockAligned_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.WriteLockPropagation_A	0	0	100520911	3191450	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.gen_digest_write_lock.DigestWriteLocksPartition_A	0	0	100520911	35795562	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.gen_digest_write_lock.u_prim_mubi8_sender_write_lock.OutputsKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg.DataKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg.DataOutKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg.EccErrKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg.EccKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg.RDataOutKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg.WidthMustBe64bit_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.u_prim_mubi8_sender_read_lock_pre.OutputsKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.u_prim_mubi8_sender_write_lock_pre.OutputsKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.u_state_regs.AssertConnected_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.u_state_regs_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.FpvSecCmCntPartBufCheck_A	0	0	100520911	50	0	0
tb.dut.gen_partitions[7].gen_buffered.FpvSecCmCtrlPartBufFsmCheck_A	0	0	100520911	50	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.AccessKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.BypassEnable0_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.BypassEnable1_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.CnstyChkAckKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.DataKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.DigestKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.DigestOffsetMustBeRepresentable_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.ErrorKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.InitDoneKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.InitReadLocksPartition_A	0	0	100520911	24139136	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.InitWriteLocksPartition_A	0	0	100520911	24139136	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.IntegChkAckKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.OffsetMustBeBlockAligned_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.OtpAddrKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.OtpCmdKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.OtpPartBufSize_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.OtpReqKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.OtpSizeKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.OtpWdataKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.ReadLockImpliesDigest_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.ReadLockPropagation_A	0	0	100520911	2188502	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.ScrambledImpliesDigest_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.ScrmblCmdKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.ScrmblDataKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.ScrmblModeKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.ScrmblMtxReqKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.ScrmblSelKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.ScrmblValidKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.SizeMustBeBlockAligned_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.WriteLockImpliesDigest_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.WriteLockPropagation_A	0	0	100520911	3837487	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.gen_digest_read_lock.DigestReadLocksPartition_A	0	0	100520911	30570738	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.gen_digest_read_lock.u_prim_mubi8_sender_read_lock.OutputsKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.gen_digest_write_lock.DigestWriteLocksPartition_A	0	0	100520911	30570738	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.gen_digest_write_lock.u_prim_mubi8_sender_write_lock.OutputsKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg.DataKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg.DataOutKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg.EccErrKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg.EccKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg.RDataOutKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg.WidthMustBe64bit_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.u_prim_mubi8_sender_read_lock_pre.OutputsKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.u_prim_mubi8_sender_write_lock_pre.OutputsKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.u_state_regs.AssertConnected_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.u_state_regs_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[8].gen_buffered.FpvSecCmCntPartBufCheck_A	0	0	100520911	50	0	0
tb.dut.gen_partitions[8].gen_buffered.FpvSecCmCtrlPartBufFsmCheck_A	0	0	100520911	50	0	0
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.AccessKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.BypassEnable0_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.BypassEnable1_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.CnstyChkAckKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.DataKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.DigestKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.DigestOffsetMustBeRepresentable_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.ErrorKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.InitDoneKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.InitReadLocksPartition_A	0	0	100520911	33591683	0	0
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.InitWriteLocksPartition_A	0	0	100520911	33591683	0	0
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.IntegChkAckKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.OffsetMustBeBlockAligned_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.OtpAddrKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.OtpCmdKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.OtpPartBufSize_A	0	0	1122	1122	0	0
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.OtpReqKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.OtpSizeKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.OtpWdataKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.ReadLockImpliesDigest_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.ReadLockPropagation_A	0	0	100520911	2875680	0	0
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.ScrambledImpliesDigest_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.ScrmblCmdKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.ScrmblDataKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.ScrmblModeKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.ScrmblMtxReqKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.ScrmblSelKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.ScrmblValidKnown_A	0	0	100520911	99678943	0	0
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.SizeMustBeBlockAligned_A	0	0	1122	1122	0	0

Go next page

	ASSERT	PROPERTIES	SEQUENCES
Total	1457	0	20
Category 0	1457	0	20

	ASSERT	PROPERTIES	SEQUENCES
Total	1457	0	20
Severity 0	1457	0	20

	NUMBER	PERCENT
Total Number	1457	100.00
Uncovered	54	3.71
Success	1403	96.29
Failure	0	0.00
Incomplete	11	0.75
Without Attempts	5	0.34

	NUMBER	PERCENT
Total Number	20	100.00
Uncovered	0	0.00
All Matches	20	100.00
First Matches	20	100.00