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
ASSERTIONS   CATEGORY   SEVERITY   ATTEMPTS   REAL SUCCESSES   FAILURES   INCOMPLETE   
tb.dut.u_s1n_28.gen_dfifo[11].fifo_d.rspfifo.DataKnown_A 00300575583308037800
tb.dut.u_s1n_28.gen_dfifo[11].fifo_d.rspfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[11].fifo_d.rspfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[11].fifo_d.rspfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[11].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[12].fifo_d.reqfifo.DataKnown_A 00300575583146483700
tb.dut.u_s1n_28.gen_dfifo[12].fifo_d.reqfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[12].fifo_d.reqfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[12].fifo_d.reqfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[12].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[12].fifo_d.rspfifo.DataKnown_A 00300575583388866500
tb.dut.u_s1n_28.gen_dfifo[12].fifo_d.rspfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[12].fifo_d.rspfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[12].fifo_d.rspfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[12].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[13].fifo_d.reqfifo.DataKnown_A 00300575583147748400
tb.dut.u_s1n_28.gen_dfifo[13].fifo_d.reqfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[13].fifo_d.reqfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[13].fifo_d.reqfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[13].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[13].fifo_d.rspfifo.DataKnown_A 00300575583315053000
tb.dut.u_s1n_28.gen_dfifo[13].fifo_d.rspfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[13].fifo_d.rspfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[13].fifo_d.rspfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[13].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[14].fifo_d.reqfifo.DataKnown_A 00300575583146504000
tb.dut.u_s1n_28.gen_dfifo[14].fifo_d.reqfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[14].fifo_d.reqfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[14].fifo_d.reqfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[14].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[14].fifo_d.rspfifo.DataKnown_A 00300575583262884900
tb.dut.u_s1n_28.gen_dfifo[14].fifo_d.rspfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[14].fifo_d.rspfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[14].fifo_d.rspfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[14].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[15].fifo_d.reqfifo.DataKnown_A 00300575583143795900
tb.dut.u_s1n_28.gen_dfifo[15].fifo_d.reqfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[15].fifo_d.reqfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[15].fifo_d.reqfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[15].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[15].fifo_d.rspfifo.DataKnown_A 00300575583334118700
tb.dut.u_s1n_28.gen_dfifo[15].fifo_d.rspfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[15].fifo_d.rspfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[15].fifo_d.rspfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[15].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[16].fifo_d.reqfifo.DataKnown_A 00300575583147720900
tb.dut.u_s1n_28.gen_dfifo[16].fifo_d.reqfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[16].fifo_d.reqfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[16].fifo_d.reqfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[16].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[16].fifo_d.rspfifo.DataKnown_A 00300575583320059000
tb.dut.u_s1n_28.gen_dfifo[16].fifo_d.rspfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[16].fifo_d.rspfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[16].fifo_d.rspfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[16].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[17].fifo_d.reqfifo.DataKnown_A 00300575583147089500
tb.dut.u_s1n_28.gen_dfifo[17].fifo_d.reqfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[17].fifo_d.reqfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[17].fifo_d.reqfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[17].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[17].fifo_d.rspfifo.DataKnown_A 00300575583266262500
tb.dut.u_s1n_28.gen_dfifo[17].fifo_d.rspfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[17].fifo_d.rspfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[17].fifo_d.rspfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[17].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[18].fifo_d.reqfifo.DataKnown_A 00300575583141018900
tb.dut.u_s1n_28.gen_dfifo[18].fifo_d.reqfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[18].fifo_d.reqfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[18].fifo_d.reqfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[18].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[18].fifo_d.rspfifo.DataKnown_A 00300575583291345500
tb.dut.u_s1n_28.gen_dfifo[18].fifo_d.rspfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[18].fifo_d.rspfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[18].fifo_d.rspfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[18].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[19].fifo_d.reqfifo.DataKnown_A 00300575583147601100
tb.dut.u_s1n_28.gen_dfifo[19].fifo_d.reqfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[19].fifo_d.reqfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[19].fifo_d.reqfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[19].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[19].fifo_d.rspfifo.DataKnown_A 00300575583280857300
tb.dut.u_s1n_28.gen_dfifo[19].fifo_d.rspfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[19].fifo_d.rspfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[19].fifo_d.rspfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[19].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 00300575583149751700
tb.dut.u_s1n_28.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 00300575583316654700
tb.dut.u_s1n_28.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[20].fifo_d.reqfifo.DataKnown_A 00300575583143333000
tb.dut.u_s1n_28.gen_dfifo[20].fifo_d.reqfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[20].fifo_d.reqfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[20].fifo_d.reqfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[20].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[20].fifo_d.rspfifo.DataKnown_A 00300575583278478100
tb.dut.u_s1n_28.gen_dfifo[20].fifo_d.rspfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[20].fifo_d.rspfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[20].fifo_d.rspfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[20].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[21].fifo_d.reqfifo.DataKnown_A 00300575583149742200
tb.dut.u_s1n_28.gen_dfifo[21].fifo_d.reqfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[21].fifo_d.reqfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[21].fifo_d.reqfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[21].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[21].fifo_d.rspfifo.DataKnown_A 00300575583320025500
tb.dut.u_s1n_28.gen_dfifo[21].fifo_d.rspfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[21].fifo_d.rspfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[21].fifo_d.rspfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[21].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[22].fifo_d.reqfifo.DataKnown_A 00300575583150078100
tb.dut.u_s1n_28.gen_dfifo[22].fifo_d.reqfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[22].fifo_d.reqfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[22].fifo_d.reqfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[22].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[22].fifo_d.rspfifo.DataKnown_A 00300575583362045400
tb.dut.u_s1n_28.gen_dfifo[22].fifo_d.rspfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[22].fifo_d.rspfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[22].fifo_d.rspfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[22].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[23].fifo_d.reqfifo.DataKnown_A 00300575583146172700
tb.dut.u_s1n_28.gen_dfifo[23].fifo_d.reqfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[23].fifo_d.reqfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[23].fifo_d.reqfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[23].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[23].fifo_d.rspfifo.DataKnown_A 00300575583310934700
tb.dut.u_s1n_28.gen_dfifo[23].fifo_d.rspfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[23].fifo_d.rspfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[23].fifo_d.rspfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[23].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[24].fifo_d.reqfifo.DataKnown_A 00300575583150161700
tb.dut.u_s1n_28.gen_dfifo[24].fifo_d.reqfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[24].fifo_d.reqfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[24].fifo_d.reqfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[24].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[24].fifo_d.rspfifo.DataKnown_A 00300575583340118500
tb.dut.u_s1n_28.gen_dfifo[24].fifo_d.rspfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[24].fifo_d.rspfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[24].fifo_d.rspfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[24].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[25].fifo_d.reqfifo.DataKnown_A 00300575583149708700
tb.dut.u_s1n_28.gen_dfifo[25].fifo_d.reqfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[25].fifo_d.reqfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[25].fifo_d.reqfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[25].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[25].fifo_d.rspfifo.DataKnown_A 00300575583305558800
tb.dut.u_s1n_28.gen_dfifo[25].fifo_d.rspfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[25].fifo_d.rspfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[25].fifo_d.rspfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[25].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[26].fifo_d.reqfifo.DataKnown_A 00300575583147435500
tb.dut.u_s1n_28.gen_dfifo[26].fifo_d.reqfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[26].fifo_d.reqfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[26].fifo_d.reqfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[26].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[26].fifo_d.rspfifo.DataKnown_A 00300575583340823400
tb.dut.u_s1n_28.gen_dfifo[26].fifo_d.rspfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[26].fifo_d.rspfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[26].fifo_d.rspfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[26].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[2].fifo_d.reqfifo.DataKnown_A 00300575583150763800
tb.dut.u_s1n_28.gen_dfifo[2].fifo_d.reqfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[2].fifo_d.reqfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[2].fifo_d.reqfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[2].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[2].fifo_d.rspfifo.DataKnown_A 00300575583304043000
tb.dut.u_s1n_28.gen_dfifo[2].fifo_d.rspfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[2].fifo_d.rspfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[2].fifo_d.rspfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[2].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[3].fifo_d.reqfifo.DataKnown_A 00300575583147405000
tb.dut.u_s1n_28.gen_dfifo[3].fifo_d.reqfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[3].fifo_d.reqfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[3].fifo_d.reqfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[3].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[3].fifo_d.rspfifo.DataKnown_A 00300575583308977400
tb.dut.u_s1n_28.gen_dfifo[3].fifo_d.rspfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[3].fifo_d.rspfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[3].fifo_d.rspfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[3].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[4].fifo_d.reqfifo.DataKnown_A 00300575583149188100
tb.dut.u_s1n_28.gen_dfifo[4].fifo_d.reqfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[4].fifo_d.reqfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[4].fifo_d.reqfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[4].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[4].fifo_d.rspfifo.DataKnown_A 00300575583298173400
tb.dut.u_s1n_28.gen_dfifo[4].fifo_d.rspfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[4].fifo_d.rspfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[4].fifo_d.rspfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[4].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[5].fifo_d.reqfifo.DataKnown_A 00300575583147673700
tb.dut.u_s1n_28.gen_dfifo[5].fifo_d.reqfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[5].fifo_d.reqfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[5].fifo_d.reqfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[5].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[5].fifo_d.rspfifo.DataKnown_A 00300575583310602300
tb.dut.u_s1n_28.gen_dfifo[5].fifo_d.rspfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[5].fifo_d.rspfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[5].fifo_d.rspfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[5].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[6].fifo_d.reqfifo.DataKnown_A 00300575583144259800
tb.dut.u_s1n_28.gen_dfifo[6].fifo_d.reqfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[6].fifo_d.reqfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[6].fifo_d.reqfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[6].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[6].fifo_d.rspfifo.DataKnown_A 00300575583311407100
tb.dut.u_s1n_28.gen_dfifo[6].fifo_d.rspfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[6].fifo_d.rspfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[6].fifo_d.rspfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[6].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[7].fifo_d.reqfifo.DataKnown_A 00300575583150119700
tb.dut.u_s1n_28.gen_dfifo[7].fifo_d.reqfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[7].fifo_d.reqfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[7].fifo_d.reqfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[7].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[7].fifo_d.rspfifo.DataKnown_A 00300575583329450300
tb.dut.u_s1n_28.gen_dfifo[7].fifo_d.rspfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[7].fifo_d.rspfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[7].fifo_d.rspfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[7].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[8].fifo_d.reqfifo.DataKnown_A 00300575583150382000
tb.dut.u_s1n_28.gen_dfifo[8].fifo_d.reqfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[8].fifo_d.reqfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[8].fifo_d.reqfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[8].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[8].fifo_d.rspfifo.DataKnown_A 00300575583321250500
tb.dut.u_s1n_28.gen_dfifo[8].fifo_d.rspfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[8].fifo_d.rspfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[8].fifo_d.rspfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[8].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[9].fifo_d.reqfifo.DataKnown_A 00300575583151242200
tb.dut.u_s1n_28.gen_dfifo[9].fifo_d.reqfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[9].fifo_d.reqfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[9].fifo_d.reqfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[9].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_dfifo[9].fifo_d.rspfifo.DataKnown_A 00300575583279344800
tb.dut.u_s1n_28.gen_dfifo[9].fifo_d.rspfifo.DepthKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[9].fifo_d.rspfifo.RvalidKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[9].fifo_d.rspfifo.WreadyKnown_A 0030057558330044614600
tb.dut.u_s1n_28.gen_dfifo[9].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_s1n_28.gen_err_resp.err_resp.u_intg_gen.DataWidthCheck_A 0090090000
tb.dut.u_s1n_28.gen_err_resp.err_resp.u_intg_gen.PayLoadWidthCheck 0090090000
tb.dut.u_s1n_28.maxN 0090090000


Detail Report for Cover Sequences

Cover Sequences All Matches:
COVER SEQUENCES   CATEGORY   SEVERITY   ATTEMPTS   ALL MATCHES   FIRST MATCHES   INCOMPLETE   SRC   
tb.dut.tlul_assert_device_adc_ctrl_aon.gen_host_cov.b2bRsp_C 00300576097716371630
tb.dut.tlul_assert_device_adc_ctrl_aon.gen_host_cov.dValidNotAccepted_C 00300576097151815180
tb.dut.tlul_assert_device_adc_ctrl_aon.gen_host_cov.d_dataChangedNotAccepted_C 003005760973573570
tb.dut.tlul_assert_device_adc_ctrl_aon.gen_host_cov.d_errorChangedNotAccepted_C 003005760971261260
tb.dut.tlul_assert_device_adc_ctrl_aon.gen_host_cov.d_opcodeChangedNotAccepted_C 0030057609777770
tb.dut.tlul_assert_device_adc_ctrl_aon.gen_host_cov.d_sinkChangedNotAccepted_C 003005760971611610
tb.dut.tlul_assert_device_adc_ctrl_aon.gen_host_cov.d_sizeChangedNotAccepted_C 003005760971091090
tb.dut.tlul_assert_device_adc_ctrl_aon.gen_host_cov.d_sourceChangedNotAccepted_C 003005760971621620
tb.dut.tlul_assert_device_alert_handler.gen_host_cov.b2bRsp_C 00300576097671367130
tb.dut.tlul_assert_device_alert_handler.gen_host_cov.dValidNotAccepted_C 00300576097162416240
tb.dut.tlul_assert_device_alert_handler.gen_host_cov.d_dataChangedNotAccepted_C 003005760974594590
tb.dut.tlul_assert_device_alert_handler.gen_host_cov.d_errorChangedNotAccepted_C 003005760971781780
tb.dut.tlul_assert_device_alert_handler.gen_host_cov.d_opcodeChangedNotAccepted_C 003005760971361360
tb.dut.tlul_assert_device_alert_handler.gen_host_cov.d_sinkChangedNotAccepted_C 003005760972342340
tb.dut.tlul_assert_device_alert_handler.gen_host_cov.d_sizeChangedNotAccepted_C 003005760971821820
tb.dut.tlul_assert_device_alert_handler.gen_host_cov.d_sourceChangedNotAccepted_C 003005760972712710
tb.dut.tlul_assert_device_aon_timer_aon.gen_host_cov.b2bRsp_C 00300576097589858980
tb.dut.tlul_assert_device_aon_timer_aon.gen_host_cov.dValidNotAccepted_C 00300576097151115110
tb.dut.tlul_assert_device_aon_timer_aon.gen_host_cov.d_dataChangedNotAccepted_C 003005760975735730
tb.dut.tlul_assert_device_aon_timer_aon.gen_host_cov.d_errorChangedNotAccepted_C 003005760972032030
tb.dut.tlul_assert_device_aon_timer_aon.gen_host_cov.d_opcodeChangedNotAccepted_C 003005760971601600
tb.dut.tlul_assert_device_aon_timer_aon.gen_host_cov.d_sinkChangedNotAccepted_C 003005760972952950
tb.dut.tlul_assert_device_aon_timer_aon.gen_host_cov.d_sizeChangedNotAccepted_C 003005760972162160
tb.dut.tlul_assert_device_aon_timer_aon.gen_host_cov.d_sourceChangedNotAccepted_C 003005760973283280
Go next page