dashboard | hierarchy | modlist | groups | tests | asserts

Module Instance : tb.dut.top_earlgrey.u_rv_core_ibex.fifo_i.reqfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 fifo_i


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.top_earlgrey.u_rv_core_ibex.fifo_i.rspfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
75.00 50.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
75.00 50.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 fifo_i


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.top_earlgrey.u_rv_core_ibex.fifo_d.reqfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.top_earlgrey.u_rv_core_ibex.fifo_d.rspfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.top_earlgrey.u_rv_core_ibex.u_reg_cfg.u_socket.fifo_h.reqfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 fifo_h


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.top_earlgrey.u_rv_core_ibex.u_reg_cfg.u_socket.fifo_h.rspfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 fifo_h


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.top_earlgrey.u_rv_core_ibex.u_reg_cfg.u_socket.gen_dfifo[0].fifo_d.reqfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 gen_dfifo[0].fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.top_earlgrey.u_rv_core_ibex.u_reg_cfg.u_socket.gen_dfifo[0].fifo_d.rspfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 gen_dfifo[0].fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.top_earlgrey.u_rv_core_ibex.u_reg_cfg.u_socket.gen_dfifo[1].fifo_d.reqfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 gen_dfifo[1].fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.top_earlgrey.u_rv_core_ibex.u_reg_cfg.u_socket.gen_dfifo[1].fifo_d.rspfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 gen_dfifo[1].fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children

Go back
Module Instances:
tb.dut.top_earlgrey.u_rv_core_ibex.fifo_i.reqfifo
tb.dut.top_earlgrey.u_rv_core_ibex.fifo_i.rspfifo
tb.dut.top_earlgrey.u_rv_core_ibex.fifo_d.reqfifo
tb.dut.top_earlgrey.u_rv_core_ibex.fifo_d.rspfifo
tb.dut.top_earlgrey.u_rv_core_ibex.u_reg_cfg.u_socket.fifo_h.reqfifo
tb.dut.top_earlgrey.u_rv_core_ibex.u_reg_cfg.u_socket.fifo_h.rspfifo
tb.dut.top_earlgrey.u_rv_core_ibex.u_reg_cfg.u_socket.gen_dfifo[0].fifo_d.reqfifo
tb.dut.top_earlgrey.u_rv_core_ibex.u_reg_cfg.u_socket.gen_dfifo[0].fifo_d.rspfifo
tb.dut.top_earlgrey.u_rv_core_ibex.u_reg_cfg.u_socket.gen_dfifo[1].fifo_d.reqfifo
tb.dut.top_earlgrey.u_rv_core_ibex.u_reg_cfg.u_socket.gen_dfifo[1].fifo_d.rspfifo
Line Coverage for Instance : tb.dut.top_earlgrey.u_rv_core_ibex.fifo_i.reqfifo
Line No.TotalCoveredPercent
TOTAL44100.00
CONT_ASSIGN4411100.00
CONT_ASSIGN4511100.00
CONT_ASSIGN4811100.00
CONT_ASSIGN4911100.00
CONT_ASSIGN5300

43 // device facing 44 1/1 assign rvalid_o = wvalid_i; Tests: T1 T2 T3  45 1/1 assign rdata_o = wdata_i; Tests: T1 T2 T3  46 47 // host facing 48 1/1 assign wready_o = rready_i; Tests: T1 T2 T3  49 1/1 assign full_o = rready_i; Tests: T1 T2 T3  50 51 // this avoids lint warnings 52 logic unused_clr; 53 unreachable assign unused_clr = clr_i;

Assert Coverage for Instance : tb.dut.top_earlgrey.u_rv_core_ibex.fifo_i.reqfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 6 6 100.00 6 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 6 6 100.00 6 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
DataKnown_A 514105209 62400993 0 0
DataKnown_AKnownEnable 514105209 513999283 0 0
DepthKnown_A 514105209 513999283 0 0
RvalidKnown_A 514105209 513999283 0 0
WreadyKnown_A 514105209 513999283 0 0
gen_passthru_fifo.paramCheckPass 1021 1021 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 514105209 62400993 0 0
T1 42217 3485 0 0
T2 107343 12100 0 0
T3 196310 22526 0 0
T4 80296 9699 0 0
T5 81563 11322 0 0
T6 90509 11139 0 0
T8 108887 12510 0 0
T65 87507 9843 0 0
T103 73424 7369 0 0
T104 59868 5604 0 0

DataKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 514105209 513999283 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 514105209 513999283 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 514105209 513999283 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 514105209 513999283 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 1021 1021 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T8 1 1 0 0
T65 1 1 0 0
T103 1 1 0 0
T104 1 1 0 0

Line Coverage for Instance : tb.dut.top_earlgrey.u_rv_core_ibex.fifo_i.rspfifo
Line No.TotalCoveredPercent
TOTAL4250.00
CONT_ASSIGN4411100.00
CONT_ASSIGN4511100.00
CONT_ASSIGN48100.00
CONT_ASSIGN49100.00
CONT_ASSIGN5300

43 // device facing 44 1/1 assign rvalid_o = wvalid_i; Tests: T1 T2 T3  45 1/1 assign rdata_o = wdata_i; Tests: T1 T2 T3  46 47 // host facing 48 0/1 ==> assign wready_o = rready_i; 49 0/1 ==> assign full_o = rready_i; 50 51 // this avoids lint warnings 52 logic unused_clr; 53 unreachable assign unused_clr = clr_i;

Assert Coverage for Instance : tb.dut.top_earlgrey.u_rv_core_ibex.fifo_i.rspfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 6 6 100.00 6 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 6 6 100.00 6 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
DataKnown_A 514105209 47303506 0 0
DataKnown_AKnownEnable 514105209 513999283 0 0
DepthKnown_A 514105209 513999283 0 0
RvalidKnown_A 514105209 513999283 0 0
WreadyKnown_A 514105209 513999283 0 0
gen_passthru_fifo.paramCheckPass 1021 1021 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 514105209 47303506 0 0
T1 42217 1880 0 0
T2 107343 9444 0 0
T3 196310 19660 0 0
T4 80296 6960 0 0
T5 81563 7080 0 0
T6 90509 8330 0 0
T8 108887 10089 0 0
T65 87507 7713 0 0
T103 73424 5699 0 0
T104 59868 3929 0 0

DataKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 514105209 513999283 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 514105209 513999283 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 514105209 513999283 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 514105209 513999283 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 1021 1021 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T8 1 1 0 0
T65 1 1 0 0
T103 1 1 0 0
T104 1 1 0 0

Line Coverage for Instance : tb.dut.top_earlgrey.u_rv_core_ibex.fifo_d.reqfifo
Line No.TotalCoveredPercent
TOTAL44100.00
CONT_ASSIGN4411100.00
CONT_ASSIGN4511100.00
CONT_ASSIGN4811100.00
CONT_ASSIGN4911100.00
CONT_ASSIGN5300

43 // device facing 44 1/1 assign rvalid_o = wvalid_i; Tests: T1 T2 T3  45 1/1 assign rdata_o = wdata_i; Tests: T1 T2 T3  46 47 // host facing 48 1/1 assign wready_o = rready_i; Tests: T1 T2 T3  49 1/1 assign full_o = rready_i; Tests: T1 T2 T3  50 51 // this avoids lint warnings 52 logic unused_clr; 53 unreachable assign unused_clr = clr_i;

Assert Coverage for Instance : tb.dut.top_earlgrey.u_rv_core_ibex.fifo_d.reqfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 6 6 100.00 6 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 6 6 100.00 6 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
DataKnown_A 514105209 44088107 0 0
DataKnown_AKnownEnable 514105209 513999283 0 0
DepthKnown_A 514105209 513999283 0 0
RvalidKnown_A 514105209 513999283 0 0
WreadyKnown_A 514105209 513999283 0 0
gen_passthru_fifo.paramCheckPass 1021 1021 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 514105209 44088107 0 0
T1 42217 461 0 0
T2 107343 9268 0 0
T3 196310 13629 0 0
T4 80296 6794 0 0
T5 81563 4583 0 0
T6 90509 5930 0 0
T8 108887 6522 0 0
T65 87507 5658 0 0
T103 73424 4524 0 0
T104 59868 3235 0 0

DataKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 514105209 513999283 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 514105209 513999283 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 514105209 513999283 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 514105209 513999283 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 1021 1021 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T8 1 1 0 0
T65 1 1 0 0
T103 1 1 0 0
T104 1 1 0 0

Line Coverage for Instance : tb.dut.top_earlgrey.u_rv_core_ibex.fifo_d.rspfifo
Line No.TotalCoveredPercent
TOTAL44100.00
CONT_ASSIGN4411100.00
CONT_ASSIGN4511100.00
CONT_ASSIGN4811100.00
CONT_ASSIGN4911100.00
CONT_ASSIGN5300

43 // device facing 44 1/1 assign rvalid_o = wvalid_i; Tests: T1 T2 T3  45 1/1 assign rdata_o = wdata_i; Tests: T1 T2 T3  46 47 // host facing 48 1/1 assign wready_o = rready_i; Tests: T36 T95 T96  49 1/1 assign full_o = rready_i; Tests: T36 T95 T96  50 51 // this avoids lint warnings 52 logic unused_clr; 53 unreachable assign unused_clr = clr_i;

Assert Coverage for Instance : tb.dut.top_earlgrey.u_rv_core_ibex.fifo_d.rspfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 6 6 100.00 6 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 6 6 100.00 6 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
DataKnown_A 514105209 36869525 0 0
DataKnown_AKnownEnable 514105209 513999283 0 0
DepthKnown_A 514105209 513999283 0 0
RvalidKnown_A 514105209 513999283 0 0
WreadyKnown_A 514105209 513999283 0 0
gen_passthru_fifo.paramCheckPass 1021 1021 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 514105209 36869525 0 0
T1 42217 353 0 0
T2 107343 8809 0 0
T3 196310 13499 0 0
T4 80296 6198 0 0
T5 81563 4333 0 0
T6 90509 5758 0 0
T8 108887 6388 0 0
T65 87507 5531 0 0
T103 73424 4410 0 0
T104 59868 3122 0 0

DataKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 514105209 513999283 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 514105209 513999283 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 514105209 513999283 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 514105209 513999283 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 1021 1021 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T8 1 1 0 0
T65 1 1 0 0
T103 1 1 0 0
T104 1 1 0 0

Line Coverage for Instance : tb.dut.top_earlgrey.u_rv_core_ibex.u_reg_cfg.u_socket.fifo_h.reqfifo
Line No.TotalCoveredPercent
TOTAL44100.00
CONT_ASSIGN4411100.00
CONT_ASSIGN4511100.00
CONT_ASSIGN4811100.00
CONT_ASSIGN4911100.00
CONT_ASSIGN5300

43 // device facing 44 1/1 assign rvalid_o = wvalid_i; Tests: T1 T2 T3  45 1/1 assign rdata_o = wdata_i; Tests: T1 T2 T3  46 47 // host facing 48 1/1 assign wready_o = rready_i; Tests: T1 T2 T3  49 1/1 assign full_o = rready_i; Tests: T1 T2 T3  50 51 // this avoids lint warnings 52 logic unused_clr; 53 unreachable assign unused_clr = clr_i;

Assert Coverage for Instance : tb.dut.top_earlgrey.u_rv_core_ibex.u_reg_cfg.u_socket.fifo_h.reqfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 6 6 100.00 6 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 6 6 100.00 6 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
DataKnown_A 602190799 80778 0 0
DataKnown_AKnownEnable 602190799 602068654 0 0
DepthKnown_A 602190799 602068654 0 0
RvalidKnown_A 602190799 602068654 0 0
WreadyKnown_A 602190799 602068654 0 0
gen_passthru_fifo.paramCheckPass 2931 2931 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 602190799 80778 0 0
T1 42217 8 0 0
T2 107343 208 0 0
T3 196310 13 0 0
T4 80296 34 0 0
T5 81563 25 0 0
T6 90509 24 0 0
T8 108887 13 0 0
T65 87507 13 0 0
T103 73424 13 0 0
T104 59868 13 0 0

DataKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 602190799 602068654 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 602190799 602068654 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 602190799 602068654 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 602190799 602068654 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 2931 2931 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T8 1 1 0 0
T65 1 1 0 0
T103 1 1 0 0
T104 1 1 0 0

Line Coverage for Instance : tb.dut.top_earlgrey.u_rv_core_ibex.u_reg_cfg.u_socket.fifo_h.rspfifo
Line No.TotalCoveredPercent
TOTAL44100.00
CONT_ASSIGN4411100.00
CONT_ASSIGN4511100.00
CONT_ASSIGN4811100.00
CONT_ASSIGN4911100.00
CONT_ASSIGN5300

43 // device facing 44 1/1 assign rvalid_o = wvalid_i; Tests: T1 T2 T3  45 1/1 assign rdata_o = wdata_i; Tests: T1 T2 T3  46 47 // host facing 48 1/1 assign wready_o = rready_i; Tests: T1 T2 T3  49 1/1 assign full_o = rready_i; Tests: T1 T2 T3  50 51 // this avoids lint warnings 52 logic unused_clr; 53 unreachable assign unused_clr = clr_i;

Assert Coverage for Instance : tb.dut.top_earlgrey.u_rv_core_ibex.u_reg_cfg.u_socket.fifo_h.rspfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 6 6 100.00 6 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 6 6 100.00 6 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
DataKnown_A 602190799 82331 0 0
DataKnown_AKnownEnable 602190799 602068654 0 0
DepthKnown_A 602190799 602068654 0 0
RvalidKnown_A 602190799 602068654 0 0
WreadyKnown_A 602190799 602068654 0 0
gen_passthru_fifo.paramCheckPass 2931 2931 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 602190799 82331 0 0
T1 42217 8 0 0
T2 107343 208 0 0
T3 196310 13 0 0
T4 80296 34 0 0
T5 81563 25 0 0
T6 90509 24 0 0
T8 108887 13 0 0
T65 87507 13 0 0
T103 73424 13 0 0
T104 59868 13 0 0

DataKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 602190799 602068654 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 602190799 602068654 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 602190799 602068654 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 602190799 602068654 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 2931 2931 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T8 1 1 0 0
T65 1 1 0 0
T103 1 1 0 0
T104 1 1 0 0

Line Coverage for Instance : tb.dut.top_earlgrey.u_rv_core_ibex.u_reg_cfg.u_socket.gen_dfifo[0].fifo_d.reqfifo
Line No.TotalCoveredPercent
TOTAL44100.00
CONT_ASSIGN4411100.00
CONT_ASSIGN4511100.00
CONT_ASSIGN4811100.00
CONT_ASSIGN4911100.00
CONT_ASSIGN5300

43 // device facing 44 1/1 assign rvalid_o = wvalid_i; Tests: T1 T2 T3  45 1/1 assign rdata_o = wdata_i; Tests: T1 T2 T3  46 47 // host facing 48 1/1 assign wready_o = rready_i; Tests: T1 T2 T3  49 1/1 assign full_o = rready_i; Tests: T1 T2 T3  50 51 // this avoids lint warnings 52 logic unused_clr; 53 unreachable assign unused_clr = clr_i;

Assert Coverage for Instance : tb.dut.top_earlgrey.u_rv_core_ibex.u_reg_cfg.u_socket.gen_dfifo[0].fifo_d.reqfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 6 6 100.00 6 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 6 6 100.00 6 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
DataKnown_A 602190799 50945 0 0
DataKnown_AKnownEnable 602190799 602068654 0 0
DepthKnown_A 602190799 602068654 0 0
RvalidKnown_A 602190799 602068654 0 0
WreadyKnown_A 602190799 602068654 0 0
gen_passthru_fifo.paramCheckPass 2931 2931 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 602190799 50945 0 0
T1 42217 8 0 0
T2 107343 205 0 0
T3 196310 12 0 0
T4 80296 33 0 0
T5 81563 22 0 0
T6 90509 21 0 0
T8 108887 12 0 0
T65 87507 12 0 0
T103 73424 12 0 0
T104 59868 12 0 0

DataKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 602190799 602068654 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 602190799 602068654 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 602190799 602068654 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 602190799 602068654 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 2931 2931 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T8 1 1 0 0
T65 1 1 0 0
T103 1 1 0 0
T104 1 1 0 0

Line Coverage for Instance : tb.dut.top_earlgrey.u_rv_core_ibex.u_reg_cfg.u_socket.gen_dfifo[0].fifo_d.rspfifo
Line No.TotalCoveredPercent
TOTAL44100.00
CONT_ASSIGN4411100.00
CONT_ASSIGN4511100.00
CONT_ASSIGN4811100.00
CONT_ASSIGN4911100.00
CONT_ASSIGN5300

43 // device facing 44 1/1 assign rvalid_o = wvalid_i; Tests: T1 T2 T3  45 1/1 assign rdata_o = wdata_i; Tests: T1 T2 T3  46 47 // host facing 48 1/1 assign wready_o = rready_i; Tests: T1 T2 T3  49 1/1 assign full_o = rready_i; Tests: T1 T2 T3  50 51 // this avoids lint warnings 52 logic unused_clr; 53 unreachable assign unused_clr = clr_i;

Assert Coverage for Instance : tb.dut.top_earlgrey.u_rv_core_ibex.u_reg_cfg.u_socket.gen_dfifo[0].fifo_d.rspfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 6 6 100.00 6 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 6 6 100.00 6 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
DataKnown_A 602190799 50943 0 0
DataKnown_AKnownEnable 602190799 602068654 0 0
DepthKnown_A 602190799 602068654 0 0
RvalidKnown_A 602190799 602068654 0 0
WreadyKnown_A 602190799 602068654 0 0
gen_passthru_fifo.paramCheckPass 2931 2931 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 602190799 50943 0 0
T1 42217 8 0 0
T2 107343 205 0 0
T3 196310 12 0 0
T4 80296 33 0 0
T5 81563 22 0 0
T6 90509 21 0 0
T8 108887 12 0 0
T65 87507 12 0 0
T103 73424 12 0 0
T104 59868 12 0 0

DataKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 602190799 602068654 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 602190799 602068654 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 602190799 602068654 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 602190799 602068654 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 2931 2931 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T8 1 1 0 0
T65 1 1 0 0
T103 1 1 0 0
T104 1 1 0 0

Line Coverage for Instance : tb.dut.top_earlgrey.u_rv_core_ibex.u_reg_cfg.u_socket.gen_dfifo[1].fifo_d.reqfifo
Line No.TotalCoveredPercent
TOTAL44100.00
CONT_ASSIGN4411100.00
CONT_ASSIGN4511100.00
CONT_ASSIGN4811100.00
CONT_ASSIGN4911100.00
CONT_ASSIGN5300

43 // device facing 44 1/1 assign rvalid_o = wvalid_i; Tests: T1 T2 T3  45 1/1 assign rdata_o = wdata_i; Tests: T1 T2 T3  46 47 // host facing 48 1/1 assign wready_o = rready_i; Tests: T2 T3 T4  49 1/1 assign full_o = rready_i; Tests: T2 T3 T4  50 51 // this avoids lint warnings 52 logic unused_clr; 53 unreachable assign unused_clr = clr_i;

Assert Coverage for Instance : tb.dut.top_earlgrey.u_rv_core_ibex.u_reg_cfg.u_socket.gen_dfifo[1].fifo_d.reqfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 6 6 100.00 6 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 6 6 100.00 6 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
DataKnown_A 602190799 29833 0 0
DataKnown_AKnownEnable 602190799 602068654 0 0
DepthKnown_A 602190799 602068654 0 0
RvalidKnown_A 602190799 602068654 0 0
WreadyKnown_A 602190799 602068654 0 0
gen_passthru_fifo.paramCheckPass 2931 2931 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 602190799 29833 0 0
T2 107343 3 0 0
T3 196310 1 0 0
T4 80296 1 0 0
T5 81563 3 0 0
T6 90509 3 0 0
T8 108887 1 0 0
T29 91829 3 0 0
T65 87507 1 0 0
T103 73424 1 0 0
T104 59868 1 0 0

DataKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 602190799 602068654 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 602190799 602068654 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 602190799 602068654 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 602190799 602068654 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 2931 2931 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T8 1 1 0 0
T65 1 1 0 0
T103 1 1 0 0
T104 1 1 0 0

Line Coverage for Instance : tb.dut.top_earlgrey.u_rv_core_ibex.u_reg_cfg.u_socket.gen_dfifo[1].fifo_d.rspfifo
Line No.TotalCoveredPercent
TOTAL44100.00
CONT_ASSIGN4411100.00
CONT_ASSIGN4511100.00
CONT_ASSIGN4811100.00
CONT_ASSIGN4911100.00
CONT_ASSIGN5300

43 // device facing 44 1/1 assign rvalid_o = wvalid_i; Tests: T2 T3 T4  45 1/1 assign rdata_o = wdata_i; Tests: T2 T3 T4  46 47 // host facing 48 1/1 assign wready_o = rready_i; Tests: T1 T2 T3  49 1/1 assign full_o = rready_i; Tests: T1 T2 T3  50 51 // this avoids lint warnings 52 logic unused_clr; 53 unreachable assign unused_clr = clr_i;

Assert Coverage for Instance : tb.dut.top_earlgrey.u_rv_core_ibex.u_reg_cfg.u_socket.gen_dfifo[1].fifo_d.rspfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 6 6 100.00 6 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 6 6 100.00 6 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
DataKnown_A 602190799 31388 0 0
DataKnown_AKnownEnable 602190799 602068654 0 0
DepthKnown_A 602190799 602068654 0 0
RvalidKnown_A 602190799 602068654 0 0
WreadyKnown_A 602190799 602068654 0 0
gen_passthru_fifo.paramCheckPass 2931 2931 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 602190799 31388 0 0
T2 107343 3 0 0
T3 196310 1 0 0
T4 80296 1 0 0
T5 81563 3 0 0
T6 90509 3 0 0
T8 108887 1 0 0
T29 91829 3 0 0
T65 87507 1 0 0
T103 73424 1 0 0
T104 59868 1 0 0

DataKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 602190799 602068654 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 602190799 602068654 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 602190799 602068654 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 602190799 602068654 0 0
T1 42217 42155 0 0
T2 107343 107288 0 0
T3 196310 196252 0 0
T4 80296 80245 0 0
T5 81563 81508 0 0
T6 90509 90447 0 0
T8 108887 108829 0 0
T65 87507 87445 0 0
T103 73424 73362 0 0
T104 59868 59806 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 2931 2931 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T8 1 1 0 0
T65 1 1 0 0
T103 1 1 0 0
T104 1 1 0 0

0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%