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 491226693 59413671 0 0
DataKnown_AKnownEnable 491226693 491122051 0 0
DepthKnown_A 491226693 491122051 0 0
RvalidKnown_A 491226693 491122051 0 0
WreadyKnown_A 491226693 491122051 0 0
gen_passthru_fifo.paramCheckPass 1010 1010 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 491226693 59413671 0 0
T1 42275 3485 0 0
T2 91152 9245 0 0
T3 115201 75597 0 0
T4 110863 12771 0 0
T5 83840 11232 0 0
T6 116117 12981 0 0
T30 92780 10482 0 0
T68 219320 24038 0 0
T104 98538 12006 0 0
T105 67890 6643 0 0

DataKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 491226693 491122051 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 491226693 491122051 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 491226693 491122051 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 491226693 491122051 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 1010 1010 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
T30 1 1 0 0
T68 1 1 0 0
T104 1 1 0 0
T105 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 491226693 44469775 0 0
DataKnown_AKnownEnable 491226693 491122051 0 0
DepthKnown_A 491226693 491122051 0 0
RvalidKnown_A 491226693 491122051 0 0
WreadyKnown_A 491226693 491122051 0 0
gen_passthru_fifo.paramCheckPass 1010 1010 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 491226693 44469775 0 0
T1 42275 1880 0 0
T2 91152 6267 0 0
T3 115201 37398 0 0
T4 110863 10340 0 0
T5 83840 7068 0 0
T6 116117 10439 0 0
T30 92780 8375 0 0
T68 219320 19696 0 0
T104 98538 9467 0 0
T105 67890 4973 0 0

DataKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 491226693 491122051 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 491226693 491122051 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 491226693 491122051 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 491226693 491122051 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 1010 1010 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
T30 1 1 0 0
T68 1 1 0 0
T104 1 1 0 0
T105 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 491226693 42947658 0 0
DataKnown_AKnownEnable 491226693 491122051 0 0
DepthKnown_A 491226693 491122051 0 0
RvalidKnown_A 491226693 491122051 0 0
WreadyKnown_A 491226693 491122051 0 0
gen_passthru_fifo.paramCheckPass 1010 1010 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 491226693 42947658 0 0
T1 42275 461 0 0
T2 91152 4463 0 0
T3 115201 7519 0 0
T4 110863 6711 0 0
T5 83840 4589 0 0
T6 116117 9987 0 0
T30 92780 6155 0 0
T68 219320 20838 0 0
T104 98538 8028 0 0
T105 67890 3996 0 0

DataKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 491226693 491122051 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 491226693 491122051 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 491226693 491122051 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 491226693 491122051 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 1010 1010 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
T30 1 1 0 0
T68 1 1 0 0
T104 1 1 0 0
T105 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: T35 T97 T98  49 1/1 assign full_o = rready_i; Tests: T35 T97 T98  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 491226693 35985095 0 0
DataKnown_AKnownEnable 491226693 491122051 0 0
DepthKnown_A 491226693 491122051 0 0
RvalidKnown_A 491226693 491122051 0 0
WreadyKnown_A 491226693 491122051 0 0
gen_passthru_fifo.paramCheckPass 1010 1010 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 491226693 35985095 0 0
T1 42275 353 0 0
T2 91152 4272 0 0
T3 115201 6898 0 0
T4 110863 6572 0 0
T5 83840 4354 0 0
T6 116117 9534 0 0
T30 92780 6027 0 0
T68 219320 20637 0 0
T104 98538 7853 0 0
T105 67890 3882 0 0

DataKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 491226693 491122051 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 491226693 491122051 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 491226693 491122051 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 491226693 491122051 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 1010 1010 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
T30 1 1 0 0
T68 1 1 0 0
T104 1 1 0 0
T105 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 564125052 94267 0 0
DataKnown_AKnownEnable 564125052 564004966 0 0
DepthKnown_A 564125052 564004966 0 0
RvalidKnown_A 564125052 564004966 0 0
WreadyKnown_A 564125052 564004966 0 0
gen_passthru_fifo.paramCheckPass 2918 2918 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 564125052 94267 0 0
T1 42275 8 0 0
T2 91152 27 0 0
T3 115201 34 0 0
T4 110863 13 0 0
T5 83840 25 0 0
T6 116117 208 0 0
T30 92780 13 0 0
T68 219320 53 0 0
T104 98538 24 0 0
T105 67890 13 0 0

DataKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 564125052 564004966 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 564125052 564004966 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 564125052 564004966 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 564125052 564004966 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 2918 2918 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
T30 1 1 0 0
T68 1 1 0 0
T104 1 1 0 0
T105 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 564125052 95779 0 0
DataKnown_AKnownEnable 564125052 564004966 0 0
DepthKnown_A 564125052 564004966 0 0
RvalidKnown_A 564125052 564004966 0 0
WreadyKnown_A 564125052 564004966 0 0
gen_passthru_fifo.paramCheckPass 2918 2918 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 564125052 95779 0 0
T1 42275 8 0 0
T2 91152 27 0 0
T3 115201 34 0 0
T4 110863 13 0 0
T5 83840 25 0 0
T6 116117 208 0 0
T30 92780 13 0 0
T68 219320 53 0 0
T104 98538 24 0 0
T105 67890 13 0 0

DataKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 564125052 564004966 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 564125052 564004966 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 564125052 564004966 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 564125052 564004966 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 2918 2918 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
T30 1 1 0 0
T68 1 1 0 0
T104 1 1 0 0
T105 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 564125052 51402 0 0
DataKnown_AKnownEnable 564125052 564004966 0 0
DepthKnown_A 564125052 564004966 0 0
RvalidKnown_A 564125052 564004966 0 0
WreadyKnown_A 564125052 564004966 0 0
gen_passthru_fifo.paramCheckPass 2918 2918 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 564125052 51402 0 0
T1 42275 8 0 0
T2 91152 24 0 0
T3 115201 31 0 0
T4 110863 12 0 0
T5 83840 22 0 0
T6 116117 205 0 0
T30 92780 12 0 0
T68 219320 52 0 0
T104 98538 23 0 0
T105 67890 12 0 0

DataKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 564125052 564004966 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 564125052 564004966 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 564125052 564004966 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 564125052 564004966 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 2918 2918 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
T30 1 1 0 0
T68 1 1 0 0
T104 1 1 0 0
T105 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 564125052 51402 0 0
DataKnown_AKnownEnable 564125052 564004966 0 0
DepthKnown_A 564125052 564004966 0 0
RvalidKnown_A 564125052 564004966 0 0
WreadyKnown_A 564125052 564004966 0 0
gen_passthru_fifo.paramCheckPass 2918 2918 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 564125052 51402 0 0
T1 42275 8 0 0
T2 91152 24 0 0
T3 115201 31 0 0
T4 110863 12 0 0
T5 83840 22 0 0
T6 116117 205 0 0
T30 92780 12 0 0
T68 219320 52 0 0
T104 98538 23 0 0
T105 67890 12 0 0

DataKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 564125052 564004966 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 564125052 564004966 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 564125052 564004966 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 564125052 564004966 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 2918 2918 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
T30 1 1 0 0
T68 1 1 0 0
T104 1 1 0 0
T105 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 564125052 42865 0 0
DataKnown_AKnownEnable 564125052 564004966 0 0
DepthKnown_A 564125052 564004966 0 0
RvalidKnown_A 564125052 564004966 0 0
WreadyKnown_A 564125052 564004966 0 0
gen_passthru_fifo.paramCheckPass 2918 2918 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 564125052 42865 0 0
T2 91152 3 0 0
T3 115201 3 0 0
T4 110863 1 0 0
T5 83840 3 0 0
T6 116117 3 0 0
T23 75281 3 0 0
T30 92780 1 0 0
T68 219320 1 0 0
T104 98538 1 0 0
T105 67890 1 0 0

DataKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 564125052 564004966 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 564125052 564004966 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 564125052 564004966 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 564125052 564004966 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 2918 2918 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
T30 1 1 0 0
T68 1 1 0 0
T104 1 1 0 0
T105 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 564125052 44377 0 0
DataKnown_AKnownEnable 564125052 564004966 0 0
DepthKnown_A 564125052 564004966 0 0
RvalidKnown_A 564125052 564004966 0 0
WreadyKnown_A 564125052 564004966 0 0
gen_passthru_fifo.paramCheckPass 2918 2918 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 564125052 44377 0 0
T2 91152 3 0 0
T3 115201 3 0 0
T4 110863 1 0 0
T5 83840 3 0 0
T6 116117 3 0 0
T23 75281 3 0 0
T30 92780 1 0 0
T68 219320 1 0 0
T104 98538 1 0 0
T105 67890 1 0 0

DataKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 564125052 564004966 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 564125052 564004966 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 564125052 564004966 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 564125052 564004966 0 0
T1 42275 42213 0 0
T2 91152 91094 0 0
T3 115201 115146 0 0
T4 110863 110808 0 0
T5 83840 83789 0 0
T6 116117 116059 0 0
T30 92780 92722 0 0
T68 219320 219269 0 0
T104 98538 98483 0 0
T105 67890 67832 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 2918 2918 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
T30 1 1 0 0
T68 1 1 0 0
T104 1 1 0 0
T105 1 1 0 0

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