Module Definition
dashboard | hierarchy | modlist | groups | tests | asserts

Module : rv_plic_reg_top
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.53 0.26 0.40 1.45 0.00

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_opentitan_top_earlgrey_rv_plic_0/rtl/rv_plic_reg_top.sv

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.top_earlgrey.u_rv_plic.u_reg 0.53 0.26 0.40 1.45 0.00

Line Coverage for Module : rv_plic_reg_top
Line No.TotalCoveredPercent
TOTAL155240.26
ALWAYS714375.00
CONT_ASSIGN80100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN93100.00
CONT_ASSIGN121100.00
CONT_ASSIGN122100.00
CONT_ASSIGN16494100.00
CONT_ASSIGN16508100.00
CONT_ASSIGN16542100.00
CONT_ASSIGN16556100.00
ALWAYS1656220200.00
CONT_ASSIGN16766100.00
ALWAYS16770100.00
CONT_ASSIGN16975100.00
CONT_ASSIGN16977100.00
CONT_ASSIGN16978100.00
CONT_ASSIGN16980100.00
CONT_ASSIGN16981100.00
CONT_ASSIGN16983100.00
CONT_ASSIGN16984100.00
CONT_ASSIGN16986100.00
CONT_ASSIGN16987100.00
CONT_ASSIGN16989100.00
CONT_ASSIGN16990100.00
CONT_ASSIGN16992100.00
CONT_ASSIGN16993100.00
CONT_ASSIGN16995100.00
CONT_ASSIGN16996100.00
CONT_ASSIGN16998100.00
CONT_ASSIGN16999100.00
CONT_ASSIGN17001100.00
CONT_ASSIGN17002100.00
CONT_ASSIGN17004100.00
CONT_ASSIGN17005100.00
CONT_ASSIGN17007100.00
CONT_ASSIGN17008100.00
CONT_ASSIGN17010100.00
CONT_ASSIGN17011100.00
CONT_ASSIGN17013100.00
CONT_ASSIGN17014100.00
CONT_ASSIGN17016100.00
CONT_ASSIGN17017100.00
CONT_ASSIGN17019100.00
CONT_ASSIGN17020100.00
CONT_ASSIGN17022100.00
CONT_ASSIGN17023100.00
CONT_ASSIGN17025100.00
CONT_ASSIGN17026100.00
CONT_ASSIGN17028100.00
CONT_ASSIGN17029100.00
CONT_ASSIGN17031100.00
CONT_ASSIGN17032100.00
CONT_ASSIGN17034100.00
CONT_ASSIGN17035100.00
CONT_ASSIGN17037100.00
CONT_ASSIGN17038100.00
CONT_ASSIGN17040100.00
CONT_ASSIGN17041100.00
CONT_ASSIGN17043100.00
CONT_ASSIGN17044100.00
CONT_ASSIGN17046100.00
CONT_ASSIGN17047100.00
CONT_ASSIGN17049100.00
CONT_ASSIGN17050100.00
CONT_ASSIGN17052100.00
CONT_ASSIGN17053100.00
CONT_ASSIGN17055100.00
CONT_ASSIGN17056100.00
CONT_ASSIGN17058100.00
CONT_ASSIGN17059100.00
CONT_ASSIGN17061100.00
CONT_ASSIGN17062100.00
CONT_ASSIGN17064100.00
CONT_ASSIGN17065100.00
CONT_ASSIGN17067100.00
CONT_ASSIGN17068100.00
CONT_ASSIGN17070100.00
CONT_ASSIGN17071100.00
CONT_ASSIGN17073100.00
CONT_ASSIGN17074100.00
CONT_ASSIGN17076100.00
CONT_ASSIGN17077100.00
CONT_ASSIGN17079100.00
CONT_ASSIGN17080100.00
CONT_ASSIGN17082100.00
CONT_ASSIGN17083100.00
CONT_ASSIGN17085100.00
CONT_ASSIGN17086100.00
CONT_ASSIGN17088100.00
CONT_ASSIGN17089100.00
CONT_ASSIGN17091100.00
CONT_ASSIGN17092100.00
CONT_ASSIGN17094100.00
CONT_ASSIGN17095100.00
CONT_ASSIGN17097100.00
CONT_ASSIGN17098100.00
CONT_ASSIGN17100100.00
CONT_ASSIGN17101100.00
CONT_ASSIGN17103100.00
CONT_ASSIGN17104100.00
CONT_ASSIGN17106100.00
CONT_ASSIGN17107100.00
CONT_ASSIGN17109100.00
CONT_ASSIGN17110100.00
CONT_ASSIGN17112100.00
CONT_ASSIGN17113100.00
CONT_ASSIGN17115100.00
CONT_ASSIGN17116100.00
CONT_ASSIGN17118100.00
CONT_ASSIGN17119100.00
CONT_ASSIGN17121100.00
CONT_ASSIGN17122100.00
CONT_ASSIGN17124100.00
CONT_ASSIGN17125100.00
CONT_ASSIGN17127100.00
CONT_ASSIGN17128100.00
CONT_ASSIGN17130100.00
CONT_ASSIGN17131100.00
CONT_ASSIGN17133100.00
CONT_ASSIGN17134100.00
CONT_ASSIGN17136100.00
CONT_ASSIGN17137100.00
CONT_ASSIGN17139100.00
CONT_ASSIGN17140100.00
CONT_ASSIGN17142100.00
CONT_ASSIGN17143100.00
CONT_ASSIGN17145100.00
CONT_ASSIGN17146100.00
CONT_ASSIGN17148100.00
CONT_ASSIGN17149100.00
CONT_ASSIGN17151100.00
CONT_ASSIGN17152100.00
CONT_ASSIGN17154100.00
CONT_ASSIGN17155100.00
CONT_ASSIGN17157100.00
CONT_ASSIGN17158100.00
CONT_ASSIGN17160100.00
CONT_ASSIGN17161100.00
CONT_ASSIGN17163100.00
CONT_ASSIGN17164100.00
CONT_ASSIGN17166100.00
CONT_ASSIGN17167100.00
CONT_ASSIGN17169100.00
CONT_ASSIGN17170100.00
CONT_ASSIGN17172100.00
CONT_ASSIGN17173100.00
CONT_ASSIGN17175100.00
CONT_ASSIGN17176100.00
CONT_ASSIGN17178100.00
CONT_ASSIGN17179100.00
CONT_ASSIGN17181100.00
CONT_ASSIGN17182100.00
CONT_ASSIGN17184100.00
CONT_ASSIGN17185100.00
CONT_ASSIGN17187100.00
CONT_ASSIGN17188100.00
CONT_ASSIGN17190100.00
CONT_ASSIGN17191100.00
CONT_ASSIGN17193100.00
CONT_ASSIGN17194100.00
CONT_ASSIGN17196100.00
CONT_ASSIGN17197100.00
CONT_ASSIGN17199100.00
CONT_ASSIGN17200100.00
CONT_ASSIGN17202100.00
CONT_ASSIGN17203100.00
CONT_ASSIGN17205100.00
CONT_ASSIGN17206100.00
CONT_ASSIGN17208100.00
CONT_ASSIGN17209100.00
CONT_ASSIGN17211100.00
CONT_ASSIGN17212100.00
CONT_ASSIGN17214100.00
CONT_ASSIGN17215100.00
CONT_ASSIGN17217100.00
CONT_ASSIGN17218100.00
CONT_ASSIGN17220100.00
CONT_ASSIGN17221100.00
CONT_ASSIGN17223100.00
CONT_ASSIGN17224100.00
CONT_ASSIGN17226100.00
CONT_ASSIGN17227100.00
CONT_ASSIGN17229100.00
CONT_ASSIGN17230100.00
CONT_ASSIGN17232100.00
CONT_ASSIGN17233100.00
CONT_ASSIGN17235100.00
CONT_ASSIGN17236100.00
CONT_ASSIGN17238100.00
CONT_ASSIGN17239100.00
CONT_ASSIGN17241100.00
CONT_ASSIGN17242100.00
CONT_ASSIGN17244100.00
CONT_ASSIGN17245100.00
CONT_ASSIGN17247100.00
CONT_ASSIGN17248100.00
CONT_ASSIGN17250100.00
CONT_ASSIGN17251100.00
CONT_ASSIGN17253100.00
CONT_ASSIGN17254100.00
CONT_ASSIGN17256100.00
CONT_ASSIGN17257100.00
CONT_ASSIGN17259100.00
CONT_ASSIGN17260100.00
CONT_ASSIGN17262100.00
CONT_ASSIGN17263100.00
CONT_ASSIGN17265100.00
CONT_ASSIGN17266100.00
CONT_ASSIGN17268100.00
CONT_ASSIGN17269100.00
CONT_ASSIGN17271100.00
CONT_ASSIGN17272100.00
CONT_ASSIGN17274100.00
CONT_ASSIGN17275100.00
CONT_ASSIGN17277100.00
CONT_ASSIGN17278100.00
CONT_ASSIGN17280100.00
CONT_ASSIGN17281100.00
CONT_ASSIGN17283100.00
CONT_ASSIGN17284100.00
CONT_ASSIGN17286100.00
CONT_ASSIGN17287100.00
CONT_ASSIGN17289100.00
CONT_ASSIGN17290100.00
CONT_ASSIGN17292100.00
CONT_ASSIGN17293100.00
CONT_ASSIGN17295100.00
CONT_ASSIGN17296100.00
CONT_ASSIGN17298100.00
CONT_ASSIGN17299100.00
CONT_ASSIGN17301100.00
CONT_ASSIGN17302100.00
CONT_ASSIGN17304100.00
CONT_ASSIGN17305100.00
CONT_ASSIGN17307100.00
CONT_ASSIGN17308100.00
CONT_ASSIGN17310100.00
CONT_ASSIGN17311100.00
CONT_ASSIGN17313100.00
CONT_ASSIGN17314100.00
CONT_ASSIGN17316100.00
CONT_ASSIGN17317100.00
CONT_ASSIGN17319100.00
CONT_ASSIGN17320100.00
CONT_ASSIGN17322100.00
CONT_ASSIGN17323100.00
CONT_ASSIGN17325100.00
CONT_ASSIGN17326100.00
CONT_ASSIGN17328100.00
CONT_ASSIGN17329100.00
CONT_ASSIGN17331100.00
CONT_ASSIGN17332100.00
CONT_ASSIGN17334100.00
CONT_ASSIGN17335100.00
CONT_ASSIGN17337100.00
CONT_ASSIGN17338100.00
CONT_ASSIGN17340100.00
CONT_ASSIGN17341100.00
CONT_ASSIGN17343100.00
CONT_ASSIGN17344100.00
CONT_ASSIGN17346100.00
CONT_ASSIGN17347100.00
CONT_ASSIGN17349100.00
CONT_ASSIGN17350100.00
CONT_ASSIGN17352100.00
CONT_ASSIGN17353100.00
CONT_ASSIGN17355100.00
CONT_ASSIGN17356100.00
CONT_ASSIGN17358100.00
CONT_ASSIGN17359100.00
CONT_ASSIGN17361100.00
CONT_ASSIGN17362100.00
CONT_ASSIGN17364100.00
CONT_ASSIGN17365100.00
CONT_ASSIGN17367100.00
CONT_ASSIGN17368100.00
CONT_ASSIGN17370100.00
CONT_ASSIGN17371100.00
CONT_ASSIGN17373100.00
CONT_ASSIGN17374100.00
CONT_ASSIGN17376100.00
CONT_ASSIGN17377100.00
CONT_ASSIGN17379100.00
CONT_ASSIGN17380100.00
CONT_ASSIGN17382100.00
CONT_ASSIGN17383100.00
CONT_ASSIGN17385100.00
CONT_ASSIGN17386100.00
CONT_ASSIGN17388100.00
CONT_ASSIGN17389100.00
CONT_ASSIGN17391100.00
CONT_ASSIGN17392100.00
CONT_ASSIGN17394100.00
CONT_ASSIGN17395100.00
CONT_ASSIGN17397100.00
CONT_ASSIGN17398100.00
CONT_ASSIGN17400100.00
CONT_ASSIGN17401100.00
CONT_ASSIGN17403100.00
CONT_ASSIGN17404100.00
CONT_ASSIGN17406100.00
CONT_ASSIGN17407100.00
CONT_ASSIGN17409100.00
CONT_ASSIGN17410100.00
CONT_ASSIGN17412100.00
CONT_ASSIGN17413100.00
CONT_ASSIGN17415100.00
CONT_ASSIGN17416100.00
CONT_ASSIGN17418100.00
CONT_ASSIGN17419100.00
CONT_ASSIGN17421100.00
CONT_ASSIGN17422100.00
CONT_ASSIGN17424100.00
CONT_ASSIGN17425100.00
CONT_ASSIGN17427100.00
CONT_ASSIGN17428100.00
CONT_ASSIGN17430100.00
CONT_ASSIGN17431100.00
CONT_ASSIGN17433100.00
CONT_ASSIGN17434100.00
CONT_ASSIGN17436100.00
CONT_ASSIGN17437100.00
CONT_ASSIGN17439100.00
CONT_ASSIGN17440100.00
CONT_ASSIGN17442100.00
CONT_ASSIGN17443100.00
CONT_ASSIGN17445100.00
CONT_ASSIGN17446100.00
CONT_ASSIGN17448100.00
CONT_ASSIGN17449100.00
CONT_ASSIGN17451100.00
CONT_ASSIGN17452100.00
CONT_ASSIGN17454100.00
CONT_ASSIGN17455100.00
CONT_ASSIGN17457100.00
CONT_ASSIGN17458100.00
CONT_ASSIGN17460100.00
CONT_ASSIGN17461100.00
CONT_ASSIGN17463100.00
CONT_ASSIGN17464100.00
CONT_ASSIGN17466100.00
CONT_ASSIGN17467100.00
CONT_ASSIGN17469100.00
CONT_ASSIGN17470100.00
CONT_ASSIGN17472100.00
CONT_ASSIGN17473100.00
CONT_ASSIGN17475100.00
CONT_ASSIGN17476100.00
CONT_ASSIGN17478100.00
CONT_ASSIGN17479100.00
CONT_ASSIGN17481100.00
CONT_ASSIGN17482100.00
CONT_ASSIGN17484100.00
CONT_ASSIGN17485100.00
CONT_ASSIGN17487100.00
CONT_ASSIGN17488100.00
CONT_ASSIGN17490100.00
CONT_ASSIGN17491100.00
CONT_ASSIGN17493100.00
CONT_ASSIGN17494100.00
CONT_ASSIGN17496100.00
CONT_ASSIGN17497100.00
CONT_ASSIGN17499100.00
CONT_ASSIGN17500100.00
CONT_ASSIGN17502100.00
CONT_ASSIGN17503100.00
CONT_ASSIGN17505100.00
CONT_ASSIGN17506100.00
CONT_ASSIGN17508100.00
CONT_ASSIGN17509100.00
CONT_ASSIGN17511100.00
CONT_ASSIGN17512100.00
CONT_ASSIGN17514100.00
CONT_ASSIGN17515100.00
CONT_ASSIGN17517100.00
CONT_ASSIGN17518100.00
CONT_ASSIGN17520100.00
CONT_ASSIGN17521100.00
CONT_ASSIGN17523100.00
CONT_ASSIGN17524100.00
CONT_ASSIGN17526100.00
CONT_ASSIGN17527100.00
CONT_ASSIGN17529100.00
CONT_ASSIGN17530100.00
CONT_ASSIGN17532100.00
CONT_ASSIGN17534100.00
CONT_ASSIGN17536100.00
CONT_ASSIGN17538100.00
CONT_ASSIGN17540100.00
CONT_ASSIGN17542100.00
CONT_ASSIGN17544100.00
CONT_ASSIGN17546100.00
CONT_ASSIGN17548100.00
CONT_ASSIGN17550100.00
CONT_ASSIGN17552100.00
CONT_ASSIGN17554100.00
CONT_ASSIGN17556100.00
CONT_ASSIGN17558100.00
CONT_ASSIGN17560100.00
CONT_ASSIGN17562100.00
CONT_ASSIGN17564100.00
CONT_ASSIGN17566100.00
CONT_ASSIGN17568100.00
CONT_ASSIGN17570100.00
CONT_ASSIGN17572100.00
CONT_ASSIGN17574100.00
CONT_ASSIGN17576100.00
CONT_ASSIGN17578100.00
CONT_ASSIGN17580100.00
CONT_ASSIGN17582100.00
CONT_ASSIGN17584100.00
CONT_ASSIGN17586100.00
CONT_ASSIGN17588100.00
CONT_ASSIGN17590100.00
CONT_ASSIGN17592100.00
CONT_ASSIGN17594100.00
CONT_ASSIGN17595100.00
CONT_ASSIGN17597100.00
CONT_ASSIGN17599100.00
CONT_ASSIGN17601100.00
CONT_ASSIGN17603100.00
CONT_ASSIGN17605100.00
CONT_ASSIGN17607100.00
CONT_ASSIGN17609100.00
CONT_ASSIGN17611100.00
CONT_ASSIGN17613100.00
CONT_ASSIGN17615100.00
CONT_ASSIGN17617100.00
CONT_ASSIGN17619100.00
CONT_ASSIGN17621100.00
CONT_ASSIGN17623100.00
CONT_ASSIGN17625100.00
CONT_ASSIGN17627100.00
CONT_ASSIGN17629100.00
CONT_ASSIGN17631100.00
CONT_ASSIGN17633100.00
CONT_ASSIGN17635100.00
CONT_ASSIGN17637100.00
CONT_ASSIGN17639100.00
CONT_ASSIGN17641100.00
CONT_ASSIGN17643100.00
CONT_ASSIGN17645100.00
CONT_ASSIGN17647100.00
CONT_ASSIGN17649100.00
CONT_ASSIGN17651100.00
CONT_ASSIGN17653100.00
CONT_ASSIGN17655100.00
CONT_ASSIGN17657100.00
CONT_ASSIGN17659100.00
CONT_ASSIGN17660100.00
CONT_ASSIGN17662100.00
CONT_ASSIGN17664100.00
CONT_ASSIGN17666100.00
CONT_ASSIGN17668100.00
CONT_ASSIGN17670100.00
CONT_ASSIGN17672100.00
CONT_ASSIGN17674100.00
CONT_ASSIGN17676100.00
CONT_ASSIGN17678100.00
CONT_ASSIGN17680100.00
CONT_ASSIGN17682100.00
CONT_ASSIGN17684100.00
CONT_ASSIGN17686100.00
CONT_ASSIGN17688100.00
CONT_ASSIGN17690100.00
CONT_ASSIGN17692100.00
CONT_ASSIGN17694100.00
CONT_ASSIGN17696100.00
CONT_ASSIGN17698100.00
CONT_ASSIGN17700100.00
CONT_ASSIGN17702100.00
CONT_ASSIGN17704100.00
CONT_ASSIGN17706100.00
CONT_ASSIGN17708100.00
CONT_ASSIGN17710100.00
CONT_ASSIGN17712100.00
CONT_ASSIGN17714100.00
CONT_ASSIGN17716100.00
CONT_ASSIGN17718100.00
CONT_ASSIGN17720100.00
CONT_ASSIGN17722100.00
CONT_ASSIGN17724100.00
CONT_ASSIGN17725100.00
CONT_ASSIGN17727100.00
CONT_ASSIGN17729100.00
CONT_ASSIGN17731100.00
CONT_ASSIGN17733100.00
CONT_ASSIGN17735100.00
CONT_ASSIGN17737100.00
CONT_ASSIGN17739100.00
CONT_ASSIGN17741100.00
CONT_ASSIGN17743100.00
CONT_ASSIGN17745100.00
CONT_ASSIGN17747100.00
CONT_ASSIGN17749100.00
CONT_ASSIGN17751100.00
CONT_ASSIGN17753100.00
CONT_ASSIGN17755100.00
CONT_ASSIGN17757100.00
CONT_ASSIGN17759100.00
CONT_ASSIGN17761100.00
CONT_ASSIGN17763100.00
CONT_ASSIGN17765100.00
CONT_ASSIGN17767100.00
CONT_ASSIGN17769100.00
CONT_ASSIGN17771100.00
CONT_ASSIGN17773100.00
CONT_ASSIGN17775100.00
CONT_ASSIGN17777100.00
CONT_ASSIGN17779100.00
CONT_ASSIGN17781100.00
CONT_ASSIGN17783100.00
CONT_ASSIGN17785100.00
CONT_ASSIGN17787100.00
CONT_ASSIGN17789100.00
CONT_ASSIGN17790100.00
CONT_ASSIGN17792100.00
CONT_ASSIGN17794100.00
CONT_ASSIGN17796100.00
CONT_ASSIGN17798100.00
CONT_ASSIGN17800100.00
CONT_ASSIGN17802100.00
CONT_ASSIGN17804100.00
CONT_ASSIGN17806100.00
CONT_ASSIGN17808100.00
CONT_ASSIGN17810100.00
CONT_ASSIGN17812100.00
CONT_ASSIGN17814100.00
CONT_ASSIGN17816100.00
CONT_ASSIGN17818100.00
CONT_ASSIGN17820100.00
CONT_ASSIGN17822100.00
CONT_ASSIGN17824100.00
CONT_ASSIGN17826100.00
CONT_ASSIGN17828100.00
CONT_ASSIGN17830100.00
CONT_ASSIGN17832100.00
CONT_ASSIGN17834100.00
CONT_ASSIGN17836100.00
CONT_ASSIGN17838100.00
CONT_ASSIGN17840100.00
CONT_ASSIGN17842100.00
CONT_ASSIGN17844100.00
CONT_ASSIGN17846100.00
CONT_ASSIGN17848100.00
CONT_ASSIGN17850100.00
CONT_ASSIGN17852100.00
CONT_ASSIGN17854100.00
CONT_ASSIGN17855100.00
CONT_ASSIGN17857100.00
CONT_ASSIGN17859100.00
CONT_ASSIGN17861100.00
CONT_ASSIGN17863100.00
CONT_ASSIGN17865100.00
CONT_ASSIGN17867100.00
CONT_ASSIGN17869100.00
CONT_ASSIGN17871100.00
CONT_ASSIGN17873100.00
CONT_ASSIGN17875100.00
CONT_ASSIGN17877100.00
CONT_ASSIGN17879100.00
CONT_ASSIGN17881100.00
CONT_ASSIGN17883100.00
CONT_ASSIGN17885100.00
CONT_ASSIGN17887100.00
CONT_ASSIGN17889100.00
CONT_ASSIGN17891100.00
CONT_ASSIGN17893100.00
CONT_ASSIGN17895100.00
CONT_ASSIGN17897100.00
CONT_ASSIGN17899100.00
CONT_ASSIGN17901100.00
CONT_ASSIGN17903100.00
CONT_ASSIGN17905100.00
CONT_ASSIGN17906100.00
CONT_ASSIGN17908100.00
CONT_ASSIGN17909100.00
CONT_ASSIGN17910100.00
CONT_ASSIGN17912100.00
CONT_ASSIGN17913100.00
CONT_ASSIGN17915100.00
CONT_ASSIGN17916100.00
CONT_ASSIGN17918100.00
ALWAYS1792220200.00
ALWAYS1812856100.00
CONT_ASSIGN1930300
CONT_ASSIGN19311100.00
CONT_ASSIGN19312100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_opentitan_top_earlgrey_rv_plic_0/rtl/rv_plic_reg_top.sv' or '../src/lowrisc_opentitan_top_earlgrey_rv_plic_0/rtl/rv_plic_reg_top.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
71 1 1
72 1 1
73 1 1
74 0 1
MISSING_ELSE
80 0 1
92 1 1
93 0 1
121 0 1
122 0 1
16494 0 1
16508 0 1
16542 0 1
16556 0 1
16562 0 1
16563 0 1
16564 0 1
16565 0 1
16566 0 1
16567 0 1
16568 0 1
16569 0 1
16570 0 1
16571 0 1
16572 0 1
16573 0 1
16574 0 1
16575 0 1
16576 0 1
16577 0 1
16578 0 1
16579 0 1
16580 0 1
16581 0 1
16582 0 1
16583 0 1
16584 0 1
16585 0 1
16586 0 1
16587 0 1
16588 0 1
16589 0 1
16590 0 1
16591 0 1
16592 0 1
16593 0 1
16594 0 1
16595 0 1
16596 0 1
16597 0 1
16598 0 1
16599 0 1
16600 0 1
16601 0 1
16602 0 1
16603 0 1
16604 0 1
16605 0 1
16606 0 1
16607 0 1
16608 0 1
16609 0 1
16610 0 1
16611 0 1
16612 0 1
16613 0 1
16614 0 1
16615 0 1
16616 0 1
16617 0 1
16618 0 1
16619 0 1
16620 0 1
16621 0 1
16622 0 1
16623 0 1
16624 0 1
16625 0 1
16626 0 1
16627 0 1
16628 0 1
16629 0 1
16630 0 1
16631 0 1
16632 0 1
16633 0 1
16634 0 1
16635 0 1
16636 0 1
16637 0 1
16638 0 1
16639 0 1
16640 0 1
16641 0 1
16642 0 1
16643 0 1
16644 0 1
16645 0 1
16646 0 1
16647 0 1
16648 0 1
16649 0 1
16650 0 1
16651 0 1
16652 0 1
16653 0 1
16654 0 1
16655 0 1
16656 0 1
16657 0 1
16658 0 1
16659 0 1
16660 0 1
16661 0 1
16662 0 1
16663 0 1
16664 0 1
16665 0 1
16666 0 1
16667 0 1
16668 0 1
16669 0 1
16670 0 1
16671 0 1
16672 0 1
16673 0 1
16674 0 1
16675 0 1
16676 0 1
16677 0 1
16678 0 1
16679 0 1
16680 0 1
16681 0 1
16682 0 1
16683 0 1
16684 0 1
16685 0 1
16686 0 1
16687 0 1
16688 0 1
16689 0 1
16690 0 1
16691 0 1
16692 0 1
16693 0 1
16694 0 1
16695 0 1
16696 0 1
16697 0 1
16698 0 1
16699 0 1
16700 0 1
16701 0 1
16702 0 1
16703 0 1
16704 0 1
16705 0 1
16706 0 1
16707 0 1
16708 0 1
16709 0 1
16710 0 1
16711 0 1
16712 0 1
16713 0 1
16714 0 1
16715 0 1
16716 0 1
16717 0 1
16718 0 1
16719 0 1
16720 0 1
16721 0 1
16722 0 1
16723 0 1
16724 0 1
16725 0 1
16726 0 1
16727 0 1
16728 0 1
16729 0 1
16730 0 1
16731 0 1
16732 0 1
16733 0 1
16734 0 1
16735 0 1
16736 0 1
16737 0 1
16738 0 1
16739 0 1
16740 0 1
16741 0 1
16742 0 1
16743 0 1
16744 0 1
16745 0 1
16746 0 1
16747 0 1
16748 0 1
16749 0 1
16750 0 1
16751 0 1
16752 0 1
16753 0 1
16754 0 1
16755 0 1
16756 0 1
16757 0 1
16758 0 1
16759 0 1
16760 0 1
16761 0 1
16762 0 1
16763 0 1
16766 0 1
16770 0 1
16975 0 1
16977 0 1
16978 0 1
16980 0 1
16981 0 1
16983 0 1
16984 0 1
16986 0 1
16987 0 1
16989 0 1
16990 0 1
16992 0 1
16993 0 1
16995 0 1
16996 0 1
16998 0 1
16999 0 1
17001 0 1
17002 0 1
17004 0 1
17005 0 1
17007 0 1
17008 0 1
17010 0 1
17011 0 1
17013 0 1
17014 0 1
17016 0 1
17017 0 1
17019 0 1
17020 0 1
17022 0 1
17023 0 1
17025 0 1
17026 0 1
17028 0 1
17029 0 1
17031 0 1
17032 0 1
17034 0 1
17035 0 1
17037 0 1
17038 0 1
17040 0 1
17041 0 1
17043 0 1
17044 0 1
17046 0 1
17047 0 1
17049 0 1
17050 0 1
17052 0 1
17053 0 1
17055 0 1
17056 0 1
17058 0 1
17059 0 1
17061 0 1
17062 0 1
17064 0 1
17065 0 1
17067 0 1
17068 0 1
17070 0 1
17071 0 1
17073 0 1
17074 0 1
17076 0 1
17077 0 1
17079 0 1
17080 0 1
17082 0 1
17083 0 1
17085 0 1
17086 0 1
17088 0 1
17089 0 1
17091 0 1
17092 0 1
17094 0 1
17095 0 1
17097 0 1
17098 0 1
17100 0 1
17101 0 1
17103 0 1
17104 0 1
17106 0 1
17107 0 1
17109 0 1
17110 0 1
17112 0 1
17113 0 1
17115 0 1
17116 0 1
17118 0 1
17119 0 1
17121 0 1
17122 0 1
17124 0 1
17125 0 1
17127 0 1
17128 0 1
17130 0 1
17131 0 1
17133 0 1
17134 0 1
17136 0 1
17137 0 1
17139 0 1
17140 0 1
17142 0 1
17143 0 1
17145 0 1
17146 0 1
17148 0 1
17149 0 1
17151 0 1
17152 0 1
17154 0 1
17155 0 1
17157 0 1
17158 0 1
17160 0 1
17161 0 1
17163 0 1
17164 0 1
17166 0 1
17167 0 1
17169 0 1
17170 0 1
17172 0 1
17173 0 1
17175 0 1
17176 0 1
17178 0 1
17179 0 1
17181 0 1
17182 0 1
17184 0 1
17185 0 1
17187 0 1
17188 0 1
17190 0 1
17191 0 1
17193 0 1
17194 0 1
17196 0 1
17197 0 1
17199 0 1
17200 0 1
17202 0 1
17203 0 1
17205 0 1
17206 0 1
17208 0 1
17209 0 1
17211 0 1
17212 0 1
17214 0 1
17215 0 1
17217 0 1
17218 0 1
17220 0 1
17221 0 1
17223 0 1
17224 0 1
17226 0 1
17227 0 1
17229 0 1
17230 0 1
17232 0 1
17233 0 1
17235 0 1
17236 0 1
17238 0 1
17239 0 1
17241 0 1
17242 0 1
17244 0 1
17245 0 1
17247 0 1
17248 0 1
17250 0 1
17251 0 1
17253 0 1
17254 0 1
17256 0 1
17257 0 1
17259 0 1
17260 0 1
17262 0 1
17263 0 1
17265 0 1
17266 0 1
17268 0 1
17269 0 1
17271 0 1
17272 0 1
17274 0 1
17275 0 1
17277 0 1
17278 0 1
17280 0 1
17281 0 1
17283 0 1
17284 0 1
17286 0 1
17287 0 1
17289 0 1
17290 0 1
17292 0 1
17293 0 1
17295 0 1
17296 0 1
17298 0 1
17299 0 1
17301 0 1
17302 0 1
17304 0 1
17305 0 1
17307 0 1
17308 0 1
17310 0 1
17311 0 1
17313 0 1
17314 0 1
17316 0 1
17317 0 1
17319 0 1
17320 0 1
17322 0 1
17323 0 1
17325 0 1
17326 0 1
17328 0 1
17329 0 1
17331 0 1
17332 0 1
17334 0 1
17335 0 1
17337 0 1
17338 0 1
17340 0 1
17341 0 1
17343 0 1
17344 0 1
17346 0 1
17347 0 1
17349 0 1
17350 0 1
17352 0 1
17353 0 1
17355 0 1
17356 0 1
17358 0 1
17359 0 1
17361 0 1
17362 0 1
17364 0 1
17365 0 1
17367 0 1
17368 0 1
17370 0 1
17371 0 1
17373 0 1
17374 0 1
17376 0 1
17377 0 1
17379 0 1
17380 0 1
17382 0 1
17383 0 1
17385 0 1
17386 0 1
17388 0 1
17389 0 1
17391 0 1
17392 0 1
17394 0 1
17395 0 1
17397 0 1
17398 0 1
17400 0 1
17401 0 1
17403 0 1
17404 0 1
17406 0 1
17407 0 1
17409 0 1
17410 0 1
17412 0 1
17413 0 1
17415 0 1
17416 0 1
17418 0 1
17419 0 1
17421 0 1
17422 0 1
17424 0 1
17425 0 1
17427 0 1
17428 0 1
17430 0 1
17431 0 1
17433 0 1
17434 0 1
17436 0 1
17437 0 1
17439 0 1
17440 0 1
17442 0 1
17443 0 1
17445 0 1
17446 0 1
17448 0 1
17449 0 1
17451 0 1
17452 0 1
17454 0 1
17455 0 1
17457 0 1
17458 0 1
17460 0 1
17461 0 1
17463 0 1
17464 0 1
17466 0 1
17467 0 1
17469 0 1
17470 0 1
17472 0 1
17473 0 1
17475 0 1
17476 0 1
17478 0 1
17479 0 1
17481 0 1
17482 0 1
17484 0 1
17485 0 1
17487 0 1
17488 0 1
17490 0 1
17491 0 1
17493 0 1
17494 0 1
17496 0 1
17497 0 1
17499 0 1
17500 0 1
17502 0 1
17503 0 1
17505 0 1
17506 0 1
17508 0 1
17509 0 1
17511 0 1
17512 0 1
17514 0 1
17515 0 1
17517 0 1
17518 0 1
17520 0 1
17521 0 1
17523 0 1
17524 0 1
17526 0 1
17527 0 1
17529 0 1
17530 0 1
17532 0 1
17534 0 1
17536 0 1
17538 0 1
17540 0 1
17542 0 1
17544 0 1
17546 0 1
17548 0 1
17550 0 1
17552 0 1
17554 0 1
17556 0 1
17558 0 1
17560 0 1
17562 0 1
17564 0 1
17566 0 1
17568 0 1
17570 0 1
17572 0 1
17574 0 1
17576 0 1
17578 0 1
17580 0 1
17582 0 1
17584 0 1
17586 0 1
17588 0 1
17590 0 1
17592 0 1
17594 0 1
17595 0 1
17597 0 1
17599 0 1
17601 0 1
17603 0 1
17605 0 1
17607 0 1
17609 0 1
17611 0 1
17613 0 1
17615 0 1
17617 0 1
17619 0 1
17621 0 1
17623 0 1
17625 0 1
17627 0 1
17629 0 1
17631 0 1
17633 0 1
17635 0 1
17637 0 1
17639 0 1
17641 0 1
17643 0 1
17645 0 1
17647 0 1
17649 0 1
17651 0 1
17653 0 1
17655 0 1
17657 0 1
17659 0 1
17660 0 1
17662 0 1
17664 0 1
17666 0 1
17668 0 1
17670 0 1
17672 0 1
17674 0 1
17676 0 1
17678 0 1
17680 0 1
17682 0 1
17684 0 1
17686 0 1
17688 0 1
17690 0 1
17692 0 1
17694 0 1
17696 0 1
17698 0 1
17700 0 1
17702 0 1
17704 0 1
17706 0 1
17708 0 1
17710 0 1
17712 0 1
17714 0 1
17716 0 1
17718 0 1
17720 0 1
17722 0 1
17724 0 1
17725 0 1
17727 0 1
17729 0 1
17731 0 1
17733 0 1
17735 0 1
17737 0 1
17739 0 1
17741 0 1
17743 0 1
17745 0 1
17747 0 1
17749 0 1
17751 0 1
17753 0 1
17755 0 1
17757 0 1
17759 0 1
17761 0 1
17763 0 1
17765 0 1
17767 0 1
17769 0 1
17771 0 1
17773 0 1
17775 0 1
17777 0 1
17779 0 1
17781 0 1
17783 0 1
17785 0 1
17787 0 1
17789 0 1
17790 0 1
17792 0 1
17794 0 1
17796 0 1
17798 0 1
17800 0 1
17802 0 1
17804 0 1
17806 0 1
17808 0 1
17810 0 1
17812 0 1
17814 0 1
17816 0 1
17818 0 1
17820 0 1
17822 0 1
17824 0 1
17826 0 1
17828 0 1
17830 0 1
17832 0 1
17834 0 1
17836 0 1
17838 0 1
17840 0 1
17842 0 1
17844 0 1
17846 0 1
17848 0 1
17850 0 1
17852 0 1
17854 0 1
17855 0 1
17857 0 1
17859 0 1
17861 0 1
17863 0 1
17865 0 1
17867 0 1
17869 0 1
17871 0 1
17873 0 1
17875 0 1
17877 0 1
17879 0 1
17881 0 1
17883 0 1
17885 0 1
17887 0 1
17889 0 1
17891 0 1
17893 0 1
17895 0 1
17897 0 1
17899 0 1
17901 0 1
17903 0 1
17905 0 1
17906 0 1
17908 0 1
17909 0 1
17910 0 1
17912 0 1
17913 0 1
17915 0 1
17916 0 1
17918 0 1
17922 0 1
17923 0 1
17924 0 1
17925 0 1
17926 0 1
17927 0 1
17928 0 1
17929 0 1
17930 0 1
17931 0 1
17932 0 1
17933 0 1
17934 0 1
17935 0 1
17936 0 1
17937 0 1
17938 0 1
17939 0 1
17940 0 1
17941 0 1
17942 0 1
17943 0 1
17944 0 1
17945 0 1
17946 0 1
17947 0 1
17948 0 1
17949 0 1
17950 0 1
17951 0 1
17952 0 1
17953 0 1
17954 0 1
17955 0 1
17956 0 1
17957 0 1
17958 0 1
17959 0 1
17960 0 1
17961 0 1
17962 0 1
17963 0 1
17964 0 1
17965 0 1
17966 0 1
17967 0 1
17968 0 1
17969 0 1
17970 0 1
17971 0 1
17972 0 1
17973 0 1
17974 0 1
17975 0 1
17976 0 1
17977 0 1
17978 0 1
17979 0 1
17980 0 1
17981 0 1
17982 0 1
17983 0 1
17984 0 1
17985 0 1
17986 0 1
17987 0 1
17988 0 1
17989 0 1
17990 0 1
17991 0 1
17992 0 1
17993 0 1
17994 0 1
17995 0 1
17996 0 1
17997 0 1
17998 0 1
17999 0 1
18000 0 1
18001 0 1
18002 0 1
18003 0 1
18004 0 1
18005 0 1
18006 0 1
18007 0 1
18008 0 1
18009 0 1
18010 0 1
18011 0 1
18012 0 1
18013 0 1
18014 0 1
18015 0 1
18016 0 1
18017 0 1
18018 0 1
18019 0 1
18020 0 1
18021 0 1
18022 0 1
18023 0 1
18024 0 1
18025 0 1
18026 0 1
18027 0 1
18028 0 1
18029 0 1
18030 0 1
18031 0 1
18032 0 1
18033 0 1
18034 0 1
18035 0 1
18036 0 1
18037 0 1
18038 0 1
18039 0 1
18040 0 1
18041 0 1
18042 0 1
18043 0 1
18044 0 1
18045 0 1
18046 0 1
18047 0 1
18048 0 1
18049 0 1
18050 0 1
18051 0 1
18052 0 1
18053 0 1
18054 0 1
18055 0 1
18056 0 1
18057 0 1
18058 0 1
18059 0 1
18060 0 1
18061 0 1
18062 0 1
18063 0 1
18064 0 1
18065 0 1
18066 0 1
18067 0 1
18068 0 1
18069 0 1
18070 0 1
18071 0 1
18072 0 1
18073 0 1
18074 0 1
18075 0 1
18076 0 1
18077 0 1
18078 0 1
18079 0 1
18080 0 1
18081 0 1
18082 0 1
18083 0 1
18084 0 1
18085 0 1
18086 0 1
18087 0 1
18088 0 1
18089 0 1
18090 0 1
18091 0 1
18092 0 1
18093 0 1
18094 0 1
18095 0 1
18096 0 1
18097 0 1
18098 0 1
18099 0 1
18100 0 1
18101 0 1
18102 0 1
18103 0 1
18104 0 1
18105 0 1
18106 0 1
18107 0 1
18108 0 1
18109 0 1
18110 0 1
18111 0 1
18112 0 1
18113 0 1
18114 0 1
18115 0 1
18116 0 1
18117 0 1
18118 0 1
18119 0 1
18120 0 1
18121 0 1
18122 0 1
18123 0 1
18128 0 1
18129 0 1
18131 0 1
18135 0 1
18139 0 1
18143 0 1
18147 0 1
18151 0 1
18155 0 1
18159 0 1
18163 0 1
18167 0 1
18171 0 1
18175 0 1
18179 0 1
18183 0 1
18187 0 1
18191 0 1
18195 0 1
18199 0 1
18203 0 1
18207 0 1
18211 0 1
18215 0 1
18219 0 1
18223 0 1
18227 0 1
18231 0 1
18235 0 1
18239 0 1
18243 0 1
18247 0 1
18251 0 1
18255 0 1
18259 0 1
18263 0 1
18267 0 1
18271 0 1
18275 0 1
18279 0 1
18283 0 1
18287 0 1
18291 0 1
18295 0 1
18299 0 1
18303 0 1
18307 0 1
18311 0 1
18315 0 1
18319 0 1
18323 0 1
18327 0 1
18331 0 1
18335 0 1
18339 0 1
18343 0 1
18347 0 1
18351 0 1
18355 0 1
18359 0 1
18363 0 1
18367 0 1
18371 0 1
18375 0 1
18379 0 1
18383 0 1
18387 0 1
18391 0 1
18395 0 1
18399 0 1
18403 0 1
18407 0 1
18411 0 1
18415 0 1
18419 0 1
18423 0 1
18427 0 1
18431 0 1
18435 0 1
18439 0 1
18443 0 1
18447 0 1
18451 0 1
18455 0 1
18459 0 1
18463 0 1
18467 0 1
18471 0 1
18475 0 1
18479 0 1
18483 0 1
18487 0 1
18491 0 1
18495 0 1
18499 0 1
18503 0 1
18507 0 1
18511 0 1
18515 0 1
18519 0 1
18523 0 1
18527 0 1
18531 0 1
18535 0 1
18539 0 1
18543 0 1
18547 0 1
18551 0 1
18555 0 1
18559 0 1
18563 0 1
18567 0 1
18571 0 1
18575 0 1
18579 0 1
18583 0 1
18587 0 1
18591 0 1
18595 0 1
18599 0 1
18603 0 1
18607 0 1
18611 0 1
18615 0 1
18619 0 1
18623 0 1
18627 0 1
18631 0 1
18635 0 1
18639 0 1
18643 0 1
18647 0 1
18651 0 1
18655 0 1
18659 0 1
18663 0 1
18667 0 1
18671 0 1
18675 0 1
18679 0 1
18683 0 1
18687 0 1
18691 0 1
18695 0 1
18699 0 1
18703 0 1
18707 0 1
18711 0 1
18715 0 1
18719 0 1
18723 0 1
18727 0 1
18731 0 1
18735 0 1
18739 0 1
18743 0 1
18747 0 1
18751 0 1
18755 0 1
18759 0 1
18763 0 1
18767 0 1
18771 0 1
18775 0 1
18779 0 1
18783 0 1
18787 0 1
18791 0 1
18795 0 1
18799 0 1
18803 0 1
18807 0 1
18811 0 1
18815 0 1
18819 0 1
18823 0 1
18827 0 1
18831 0 1
18835 0 1
18839 0 1
18843 0 1
18847 0 1
18851 0 1
18855 0 1
18859 0 1
18863 0 1
18867 0 1
18871 0 1
18872 0 1
18873 0 1
18874 0 1
18875 0 1
18876 0 1
18877 0 1
18878 0 1
18879 0 1
18880 0 1
18881 0 1
18882 0 1
18883 0 1
18884 0 1
18885 0 1
18886 0 1
18887 0 1
18888 0 1
18889 0 1
18890 0 1
18891 0 1
18892 0 1
18893 0 1
18894 0 1
18895 0 1
18896 0 1
18897 0 1
18898 0 1
18899 0 1
18900 0 1
18901 0 1
18902 0 1
18906 0 1
18907 0 1
18908 0 1
18909 0 1
18910 0 1
18911 0 1
18912 0 1
18913 0 1
18914 0 1
18915 0 1
18916 0 1
18917 0 1
18918 0 1
18919 0 1
18920 0 1
18921 0 1
18922 0 1
18923 0 1
18924 0 1
18925 0 1
18926 0 1
18927 0 1
18928 0 1
18929 0 1
18930 0 1
18931 0 1
18932 0 1
18933 0 1
18934 0 1
18935 0 1
18936 0 1
18937 0 1
18941 0 1
18942 0 1
18943 0 1
18944 0 1
18945 0 1
18946 0 1
18947 0 1
18948 0 1
18949 0 1
18950 0 1
18951 0 1
18952 0 1
18953 0 1
18954 0 1
18955 0 1
18956 0 1
18957 0 1
18958 0 1
18959 0 1
18960 0 1
18961 0 1
18962 0 1
18963 0 1
18964 0 1
18965 0 1
18966 0 1
18967 0 1
18968 0 1
18969 0 1
18970 0 1
18971 0 1
18972 0 1
18976 0 1
18977 0 1
18978 0 1
18979 0 1
18980 0 1
18981 0 1
18982 0 1
18983 0 1
18984 0 1
18985 0 1
18986 0 1
18987 0 1
18988 0 1
18989 0 1
18990 0 1
18991 0 1
18992 0 1
18993 0 1
18994 0 1
18995 0 1
18996 0 1
18997 0 1
18998 0 1
18999 0 1
19000 0 1
19001 0 1
19002 0 1
19003 0 1
19004 0 1
19005 0 1
19006 0 1
19007 0 1
19011 0 1
19012 0 1
19013 0 1
19014 0 1
19015 0 1
19016 0 1
19017 0 1
19018 0 1
19019 0 1
19020 0 1
19021 0 1
19022 0 1
19023 0 1
19024 0 1
19025 0 1
19026 0 1
19027 0 1
19028 0 1
19029 0 1
19030 0 1
19031 0 1
19032 0 1
19033 0 1
19034 0 1
19035 0 1
19036 0 1
19037 0 1
19038 0 1
19039 0 1
19040 0 1
19041 0 1
19042 0 1
19046 0 1
19047 0 1
19048 0 1
19049 0 1
19050 0 1
19051 0 1
19052 0 1
19053 0 1
19054 0 1
19055 0 1
19056 0 1
19057 0 1
19058 0 1
19059 0 1
19060 0 1
19061 0 1
19062 0 1
19063 0 1
19064 0 1
19065 0 1
19066 0 1
19067 0 1
19068 0 1
19069 0 1
19070 0 1
19074 0 1
19075 0 1
19076 0 1
19077 0 1
19078 0 1
19079 0 1
19080 0 1
19081 0 1
19082 0 1
19083 0 1
19084 0 1
19085 0 1
19086 0 1
19087 0 1
19088 0 1
19089 0 1
19090 0 1
19091 0 1
19092 0 1
19093 0 1
19094 0 1
19095 0 1
19096 0 1
19097 0 1
19098 0 1
19099 0 1
19100 0 1
19101 0 1
19102 0 1
19103 0 1
19104 0 1
19105 0 1
19109 0 1
19110 0 1
19111 0 1
19112 0 1
19113 0 1
19114 0 1
19115 0 1
19116 0 1
19117 0 1
19118 0 1
19119 0 1
19120 0 1
19121 0 1
19122 0 1
19123 0 1
19124 0 1
19125 0 1
19126 0 1
19127 0 1
19128 0 1
19129 0 1
19130 0 1
19131 0 1
19132 0 1
19133 0 1
19134 0 1
19135 0 1
19136 0 1
19137 0 1
19138 0 1
19139 0 1
19140 0 1
19144 0 1
19145 0 1
19146 0 1
19147 0 1
19148 0 1
19149 0 1
19150 0 1
19151 0 1
19152 0 1
19153 0 1
19154 0 1
19155 0 1
19156 0 1
19157 0 1
19158 0 1
19159 0 1
19160 0 1
19161 0 1
19162 0 1
19163 0 1
19164 0 1
19165 0 1
19166 0 1
19167 0 1
19168 0 1
19169 0 1
19170 0 1
19171 0 1
19172 0 1
19173 0 1
19174 0 1
19175 0 1
19179 0 1
19180 0 1
19181 0 1
19182 0 1
19183 0 1
19184 0 1
19185 0 1
19186 0 1
19187 0 1
19188 0 1
19189 0 1
19190 0 1
19191 0 1
19192 0 1
19193 0 1
19194 0 1
19195 0 1
19196 0 1
19197 0 1
19198 0 1
19199 0 1
19200 0 1
19201 0 1
19202 0 1
19203 0 1
19204 0 1
19205 0 1
19206 0 1
19207 0 1
19208 0 1
19209 0 1
19210 0 1
19214 0 1
19215 0 1
19216 0 1
19217 0 1
19218 0 1
19219 0 1
19220 0 1
19221 0 1
19222 0 1
19223 0 1
19224 0 1
19225 0 1
19226 0 1
19227 0 1
19228 0 1
19229 0 1
19230 0 1
19231 0 1
19232 0 1
19233 0 1
19234 0 1
19235 0 1
19236 0 1
19237 0 1
19238 0 1
19239 0 1
19240 0 1
19241 0 1
19242 0 1
19243 0 1
19244 0 1
19245 0 1
19249 0 1
19250 0 1
19251 0 1
19252 0 1
19253 0 1
19254 0 1
19255 0 1
19256 0 1
19257 0 1
19258 0 1
19259 0 1
19260 0 1
19261 0 1
19262 0 1
19263 0 1
19264 0 1
19265 0 1
19266 0 1
19267 0 1
19268 0 1
19269 0 1
19270 0 1
19271 0 1
19272 0 1
19273 0 1
19277 0 1
19281 0 1
19285 0 1
19289 0 1
19303 unreachable
19311 0 1
19312 0 1


Cond Coverage for Module : rv_plic_reg_top
TotalCoveredPercent
Conditions201580.40
Logical201580.40
Non-Logical00
Event00

This module contains a very large number of conditions, so the report has been split into multiple pages, by source line number. Click on the line number range in the table below to see the condition coverage for that section of the module.
Line numbersPercent
61-167700.85
16770-174340.10
17437-179160.00

Branch Coverage for Module : rv_plic_reg_top
Line No.TotalCoveredPercent
Branches 207 3 1.45
TERNARY 16766 2 1 50.00
IF 71 3 2 66.67
CASE 18129 202 0 0.00

WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_opentitan_top_earlgrey_rv_plic_0/rtl/rv_plic_reg_top.sv' or '../src/lowrisc_opentitan_top_earlgrey_rv_plic_0/rtl/rv_plic_reg_top.sv was not found/opened, so annotated branch coverage report could not be generated.

LineNo. Expression -1-: 16766 ((reg_re || reg_we)) ?

Branches:
-1-StatusTests
1 Not Covered
0 Covered T1,T2,T3


LineNo. Expression -1-: 71 if ((!rst_ni)) -2-: 73 if ((intg_err || reg_we_err))

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Not Covered
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 18129 case (1'b1)

Branches:
-1-StatusTests
addr_hit[0] Not Covered
addr_hit[1] Not Covered
addr_hit[2] Not Covered
addr_hit[3] Not Covered
addr_hit[4] Not Covered
addr_hit[5] Not Covered
addr_hit[6] Not Covered
addr_hit[7] Not Covered
addr_hit[8] Not Covered
addr_hit[9] Not Covered
addr_hit[10] Not Covered
addr_hit[11] Not Covered
addr_hit[12] Not Covered
addr_hit[13] Not Covered
addr_hit[14] Not Covered
addr_hit[15] Not Covered
addr_hit[16] Not Covered
addr_hit[17] Not Covered
addr_hit[18] Not Covered
addr_hit[19] Not Covered
addr_hit[20] Not Covered
addr_hit[21] Not Covered
addr_hit[22] Not Covered
addr_hit[23] Not Covered
addr_hit[24] Not Covered
addr_hit[25] Not Covered
addr_hit[26] Not Covered
addr_hit[27] Not Covered
addr_hit[28] Not Covered
addr_hit[29] Not Covered
addr_hit[30] Not Covered
addr_hit[31] Not Covered
addr_hit[32] Not Covered
addr_hit[33] Not Covered
addr_hit[34] Not Covered
addr_hit[35] Not Covered
addr_hit[36] Not Covered
addr_hit[37] Not Covered
addr_hit[38] Not Covered
addr_hit[39] Not Covered
addr_hit[40] Not Covered
addr_hit[41] Not Covered
addr_hit[42] Not Covered
addr_hit[43] Not Covered
addr_hit[44] Not Covered
addr_hit[45] Not Covered
addr_hit[46] Not Covered
addr_hit[47] Not Covered
addr_hit[48] Not Covered
addr_hit[49] Not Covered
addr_hit[50] Not Covered
addr_hit[51] Not Covered
addr_hit[52] Not Covered
addr_hit[53] Not Covered
addr_hit[54] Not Covered
addr_hit[55] Not Covered
addr_hit[56] Not Covered
addr_hit[57] Not Covered
addr_hit[58] Not Covered
addr_hit[59] Not Covered
addr_hit[60] Not Covered
addr_hit[61] Not Covered
addr_hit[62] Not Covered
addr_hit[63] Not Covered
addr_hit[64] Not Covered
addr_hit[65] Not Covered
addr_hit[66] Not Covered
addr_hit[67] Not Covered
addr_hit[68] Not Covered
addr_hit[69] Not Covered
addr_hit[70] Not Covered
addr_hit[71] Not Covered
addr_hit[72] Not Covered
addr_hit[73] Not Covered
addr_hit[74] Not Covered
addr_hit[75] Not Covered
addr_hit[76] Not Covered
addr_hit[77] Not Covered
addr_hit[78] Not Covered
addr_hit[79] Not Covered
addr_hit[80] Not Covered
addr_hit[81] Not Covered
addr_hit[82] Not Covered
addr_hit[83] Not Covered
addr_hit[84] Not Covered
addr_hit[85] Not Covered
addr_hit[86] Not Covered
addr_hit[87] Not Covered
addr_hit[88] Not Covered
addr_hit[89] Not Covered
addr_hit[90] Not Covered
addr_hit[91] Not Covered
addr_hit[92] Not Covered
addr_hit[93] Not Covered
addr_hit[94] Not Covered
addr_hit[95] Not Covered
addr_hit[96] Not Covered
addr_hit[97] Not Covered
addr_hit[98] Not Covered
addr_hit[99] Not Covered
addr_hit[100] Not Covered
addr_hit[101] Not Covered
addr_hit[102] Not Covered
addr_hit[103] Not Covered
addr_hit[104] Not Covered
addr_hit[105] Not Covered
addr_hit[106] Not Covered
addr_hit[107] Not Covered
addr_hit[108] Not Covered
addr_hit[109] Not Covered
addr_hit[110] Not Covered
addr_hit[111] Not Covered
addr_hit[112] Not Covered
addr_hit[113] Not Covered
addr_hit[114] Not Covered
addr_hit[115] Not Covered
addr_hit[116] Not Covered
addr_hit[117] Not Covered
addr_hit[118] Not Covered
addr_hit[119] Not Covered
addr_hit[120] Not Covered
addr_hit[121] Not Covered
addr_hit[122] Not Covered
addr_hit[123] Not Covered
addr_hit[124] Not Covered
addr_hit[125] Not Covered
addr_hit[126] Not Covered
addr_hit[127] Not Covered
addr_hit[128] Not Covered
addr_hit[129] Not Covered
addr_hit[130] Not Covered
addr_hit[131] Not Covered
addr_hit[132] Not Covered
addr_hit[133] Not Covered
addr_hit[134] Not Covered
addr_hit[135] Not Covered
addr_hit[136] Not Covered
addr_hit[137] Not Covered
addr_hit[138] Not Covered
addr_hit[139] Not Covered
addr_hit[140] Not Covered
addr_hit[141] Not Covered
addr_hit[142] Not Covered
addr_hit[143] Not Covered
addr_hit[144] Not Covered
addr_hit[145] Not Covered
addr_hit[146] Not Covered
addr_hit[147] Not Covered
addr_hit[148] Not Covered
addr_hit[149] Not Covered
addr_hit[150] Not Covered
addr_hit[151] Not Covered
addr_hit[152] Not Covered
addr_hit[153] Not Covered
addr_hit[154] Not Covered
addr_hit[155] Not Covered
addr_hit[156] Not Covered
addr_hit[157] Not Covered
addr_hit[158] Not Covered
addr_hit[159] Not Covered
addr_hit[160] Not Covered
addr_hit[161] Not Covered
addr_hit[162] Not Covered
addr_hit[163] Not Covered
addr_hit[164] Not Covered
addr_hit[165] Not Covered
addr_hit[166] Not Covered
addr_hit[167] Not Covered
addr_hit[168] Not Covered
addr_hit[169] Not Covered
addr_hit[170] Not Covered
addr_hit[171] Not Covered
addr_hit[172] Not Covered
addr_hit[173] Not Covered
addr_hit[174] Not Covered
addr_hit[175] Not Covered
addr_hit[176] Not Covered
addr_hit[177] Not Covered
addr_hit[178] Not Covered
addr_hit[179] Not Covered
addr_hit[180] Not Covered
addr_hit[181] Not Covered
addr_hit[182] Not Covered
addr_hit[183] Not Covered
addr_hit[184] Not Covered
addr_hit[185] Not Covered
addr_hit[186] Not Covered
addr_hit[187] Not Covered
addr_hit[188] Not Covered
addr_hit[189] Not Covered
addr_hit[190] Not Covered
addr_hit[191] Not Covered
addr_hit[192] Not Covered
addr_hit[193] Not Covered
addr_hit[194] Not Covered
addr_hit[195] Not Covered
addr_hit[196] Not Covered
addr_hit[197] Not Covered
addr_hit[198] Not Covered
addr_hit[199] Not Covered
addr_hit[200] Not Covered
default Not Covered


Assert Coverage for Module : rv_plic_reg_top
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 0 0.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 0 0.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
en2addrHit 8439605 0 0 0
reAfterRv 8439605 0 0 0
rePulse 8439605 0 0 0
wePulse 8439605 0 0 0


en2addrHit
NameAttemptsReal SuccessesFailuresIncomplete
Total 8439605 0 0 0

reAfterRv
NameAttemptsReal SuccessesFailuresIncomplete
Total 8439605 0 0 0

rePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 8439605 0 0 0

wePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 8439605 0 0 0

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