|
| /workspace/coverage/cover_reg_top/0.lc_ctrl_csr_bit_bash.1537002916 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_csr_hw_reset.3973616000 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_csr_mem_rw_with_rand_reset.285541408 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_csr_rw.1860695893 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_jtag_alert_test.1643315034 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_jtag_csr_aliasing.1207731366 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_jtag_csr_bit_bash.997670372 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_jtag_csr_hw_reset.3201613817 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_jtag_csr_mem_rw_with_rand_reset.1057950183 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_jtag_csr_rw.280834416 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_same_csr_outstanding.2341186815 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_tl_intg_err.2649619977 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_csr_aliasing.1470786830 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_csr_bit_bash.1453606734 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_csr_hw_reset.3046754709 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_csr_mem_rw_with_rand_reset.1340248631 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_csr_rw.1594620047 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_jtag_alert_test.4160228395 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_jtag_csr_aliasing.1169441194 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_jtag_csr_bit_bash.2786594977 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_jtag_csr_hw_reset.2386436483 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_jtag_csr_mem_rw_with_rand_reset.2482398020 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_jtag_csr_rw.2927830896 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_jtag_same_csr_outstanding.1776316358 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_same_csr_outstanding.234079907 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_tl_errors.1831167396 |
| /workspace/coverage/cover_reg_top/10.lc_ctrl_csr_mem_rw_with_rand_reset.138733690 |
| /workspace/coverage/cover_reg_top/10.lc_ctrl_csr_rw.855311824 |
| /workspace/coverage/cover_reg_top/10.lc_ctrl_same_csr_outstanding.2268554176 |
| /workspace/coverage/cover_reg_top/10.lc_ctrl_tl_errors.847017615 |
| /workspace/coverage/cover_reg_top/10.lc_ctrl_tl_intg_err.319935180 |
| /workspace/coverage/cover_reg_top/11.lc_ctrl_csr_mem_rw_with_rand_reset.2723958761 |
| /workspace/coverage/cover_reg_top/11.lc_ctrl_csr_rw.2663955044 |
| /workspace/coverage/cover_reg_top/11.lc_ctrl_same_csr_outstanding.1938014527 |
| /workspace/coverage/cover_reg_top/11.lc_ctrl_tl_intg_err.2043464864 |
| /workspace/coverage/cover_reg_top/12.lc_ctrl_csr_mem_rw_with_rand_reset.986688488 |
| /workspace/coverage/cover_reg_top/12.lc_ctrl_csr_rw.196916345 |
| /workspace/coverage/cover_reg_top/12.lc_ctrl_same_csr_outstanding.836742412 |
| /workspace/coverage/cover_reg_top/12.lc_ctrl_tl_errors.108576702 |
| /workspace/coverage/cover_reg_top/12.lc_ctrl_tl_intg_err.24421588 |
| /workspace/coverage/cover_reg_top/13.lc_ctrl_csr_mem_rw_with_rand_reset.4125573144 |
| /workspace/coverage/cover_reg_top/13.lc_ctrl_csr_rw.2839680313 |
| /workspace/coverage/cover_reg_top/13.lc_ctrl_same_csr_outstanding.3644531618 |
| /workspace/coverage/cover_reg_top/13.lc_ctrl_tl_errors.3639451998 |
| /workspace/coverage/cover_reg_top/13.lc_ctrl_tl_intg_err.1478769471 |
| /workspace/coverage/cover_reg_top/14.lc_ctrl_csr_mem_rw_with_rand_reset.1741887531 |
| /workspace/coverage/cover_reg_top/14.lc_ctrl_csr_rw.1011213509 |
| /workspace/coverage/cover_reg_top/14.lc_ctrl_same_csr_outstanding.672318853 |
| /workspace/coverage/cover_reg_top/14.lc_ctrl_tl_errors.305296141 |
| /workspace/coverage/cover_reg_top/15.lc_ctrl_csr_mem_rw_with_rand_reset.1820013140 |
| /workspace/coverage/cover_reg_top/15.lc_ctrl_csr_rw.4236413578 |
| /workspace/coverage/cover_reg_top/15.lc_ctrl_same_csr_outstanding.1787851956 |
| /workspace/coverage/cover_reg_top/15.lc_ctrl_tl_errors.3689035106 |
| /workspace/coverage/cover_reg_top/16.lc_ctrl_csr_mem_rw_with_rand_reset.4183677121 |
| /workspace/coverage/cover_reg_top/16.lc_ctrl_csr_rw.2067767453 |
| /workspace/coverage/cover_reg_top/16.lc_ctrl_same_csr_outstanding.1911681180 |
| /workspace/coverage/cover_reg_top/16.lc_ctrl_tl_errors.3515948251 |
| /workspace/coverage/cover_reg_top/16.lc_ctrl_tl_intg_err.1479624008 |
| /workspace/coverage/cover_reg_top/17.lc_ctrl_csr_mem_rw_with_rand_reset.3787056255 |
| /workspace/coverage/cover_reg_top/17.lc_ctrl_csr_rw.4199455965 |
| /workspace/coverage/cover_reg_top/17.lc_ctrl_same_csr_outstanding.279203155 |
| /workspace/coverage/cover_reg_top/17.lc_ctrl_tl_errors.1334217280 |
| /workspace/coverage/cover_reg_top/18.lc_ctrl_csr_mem_rw_with_rand_reset.2020368740 |
| /workspace/coverage/cover_reg_top/18.lc_ctrl_csr_rw.1324815392 |
| /workspace/coverage/cover_reg_top/18.lc_ctrl_same_csr_outstanding.2011266458 |
| /workspace/coverage/cover_reg_top/18.lc_ctrl_tl_errors.2669576810 |
| /workspace/coverage/cover_reg_top/18.lc_ctrl_tl_intg_err.1755821735 |
| /workspace/coverage/cover_reg_top/19.lc_ctrl_csr_mem_rw_with_rand_reset.2677434680 |
| /workspace/coverage/cover_reg_top/19.lc_ctrl_csr_rw.348330688 |
| /workspace/coverage/cover_reg_top/19.lc_ctrl_same_csr_outstanding.1402453504 |
| /workspace/coverage/cover_reg_top/19.lc_ctrl_tl_errors.3452613603 |
| /workspace/coverage/cover_reg_top/19.lc_ctrl_tl_intg_err.2996686627 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_csr_aliasing.3711240856 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_csr_bit_bash.1977773912 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_csr_hw_reset.2122696409 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_csr_mem_rw_with_rand_reset.2518527807 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_csr_rw.2433715056 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_jtag_alert_test.2847143625 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_jtag_csr_aliasing.2349218941 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_jtag_csr_bit_bash.1167279771 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_jtag_csr_hw_reset.180313222 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_jtag_csr_mem_rw_with_rand_reset.1047112990 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_jtag_csr_rw.3716834637 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_jtag_same_csr_outstanding.3211478697 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_same_csr_outstanding.1619930443 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_tl_errors.3577462096 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_tl_intg_err.2389491833 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_csr_aliasing.2530775449 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_csr_bit_bash.279775652 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_csr_hw_reset.575261021 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_csr_mem_rw_with_rand_reset.700675112 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_csr_rw.2731127144 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_jtag_alert_test.2301163535 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_jtag_csr_aliasing.838159698 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_jtag_csr_bit_bash.3035240454 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_jtag_csr_hw_reset.3096630024 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_jtag_csr_rw.2031902789 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_jtag_same_csr_outstanding.3863119728 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_same_csr_outstanding.3349939641 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_tl_errors.3112763972 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_csr_aliasing.2611869230 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_csr_bit_bash.2150262827 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_csr_hw_reset.910109181 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_csr_mem_rw_with_rand_reset.4037856706 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_csr_rw.3412031078 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_jtag_alert_test.3537290219 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_jtag_csr_aliasing.3193059407 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_jtag_csr_bit_bash.3932734301 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_jtag_csr_hw_reset.793909120 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_jtag_csr_mem_rw_with_rand_reset.339919486 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_jtag_csr_rw.663285836 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_jtag_same_csr_outstanding.2205496590 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_same_csr_outstanding.1096362353 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_tl_errors.1906913880 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_csr_mem_rw_with_rand_reset.1839301458 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_csr_rw.2095644347 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_jtag_alert_test.2237978813 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_jtag_csr_aliasing.1731953529 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_jtag_csr_bit_bash.2730419451 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_jtag_csr_hw_reset.3626140787 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_jtag_csr_mem_rw_with_rand_reset.2569779641 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_jtag_csr_rw.1146709970 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_jtag_same_csr_outstanding.2576492091 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_same_csr_outstanding.1620773102 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_tl_errors.2423428040 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_csr_mem_rw_with_rand_reset.4175237912 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_csr_rw.408609794 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_jtag_alert_test.2819584732 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_jtag_csr_aliasing.2844580942 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_jtag_csr_bit_bash.2909411328 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_jtag_csr_hw_reset.3727641916 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_jtag_csr_mem_rw_with_rand_reset.364340726 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_jtag_csr_rw.3506707410 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_jtag_same_csr_outstanding.1656121811 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_same_csr_outstanding.3117816762 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_tl_errors.1541382414 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_csr_mem_rw_with_rand_reset.3440930094 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_csr_rw.1813529738 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_jtag_alert_test.258901130 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_jtag_csr_aliasing.3033921706 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_jtag_csr_bit_bash.3752112860 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_jtag_csr_hw_reset.4127808149 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_jtag_csr_mem_rw_with_rand_reset.274503770 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_jtag_csr_rw.2048613786 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_jtag_same_csr_outstanding.1953104237 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_same_csr_outstanding.2891719320 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_tl_errors.1277937518 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_tl_intg_err.1153202657 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_csr_mem_rw_with_rand_reset.2718541024 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_csr_rw.2709896543 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_jtag_alert_test.2060756545 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_jtag_csr_aliasing.2641041700 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_jtag_csr_bit_bash.1279548507 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_jtag_csr_hw_reset.3999726792 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_jtag_csr_mem_rw_with_rand_reset.2539954881 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_jtag_csr_rw.4130083681 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_jtag_same_csr_outstanding.238896886 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_same_csr_outstanding.482328159 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_tl_errors.2252278691 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_csr_mem_rw_with_rand_reset.542224807 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_csr_rw.2896073017 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_jtag_alert_test.2598260831 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_jtag_csr_aliasing.3631038251 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_jtag_csr_bit_bash.4217364966 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_jtag_csr_hw_reset.786973541 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_jtag_csr_mem_rw_with_rand_reset.2804726929 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_jtag_csr_rw.4258176255 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_jtag_same_csr_outstanding.822857458 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_same_csr_outstanding.1500378639 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_tl_errors.2909880803 |
| /workspace/coverage/default/0.lc_ctrl_alert_test.2406648076 |
| /workspace/coverage/default/0.lc_ctrl_claim_transition_if.328715481 |
| /workspace/coverage/default/0.lc_ctrl_errors.16504872 |
| /workspace/coverage/default/0.lc_ctrl_jtag_access.2959582512 |
| /workspace/coverage/default/0.lc_ctrl_jtag_errors.3794609639 |
| /workspace/coverage/default/0.lc_ctrl_jtag_priority.4131281038 |
| /workspace/coverage/default/0.lc_ctrl_jtag_prog_failure.3327548857 |
| /workspace/coverage/default/0.lc_ctrl_jtag_regwen_during_op.3112666643 |
| /workspace/coverage/default/0.lc_ctrl_jtag_smoke.3132006085 |
| /workspace/coverage/default/0.lc_ctrl_jtag_state_failure.163980185 |
| /workspace/coverage/default/0.lc_ctrl_jtag_state_post_trans.4089754972 |
| /workspace/coverage/default/0.lc_ctrl_prog_failure.1413141959 |
| /workspace/coverage/default/0.lc_ctrl_regwen_during_op.470490614 |
| /workspace/coverage/default/0.lc_ctrl_sec_mubi.2907293801 |
| /workspace/coverage/default/0.lc_ctrl_sec_token_digest.2185612829 |
| /workspace/coverage/default/0.lc_ctrl_sec_token_mux.2256163924 |
| /workspace/coverage/default/0.lc_ctrl_smoke.4033137863 |
| /workspace/coverage/default/0.lc_ctrl_state_failure.3550904046 |
| /workspace/coverage/default/0.lc_ctrl_state_post_trans.1418371205 |
| /workspace/coverage/default/0.lc_ctrl_stress_all.1350031456 |
| /workspace/coverage/default/0.lc_ctrl_stress_all_with_rand_reset.2483944432 |
| /workspace/coverage/default/0.lc_ctrl_volatile_unlock_smoke.46136839 |
| /workspace/coverage/default/1.lc_ctrl_alert_test.2675245753 |
| /workspace/coverage/default/1.lc_ctrl_claim_transition_if.3845394647 |
| /workspace/coverage/default/1.lc_ctrl_errors.272439308 |
| /workspace/coverage/default/1.lc_ctrl_jtag_access.2848062047 |
| /workspace/coverage/default/1.lc_ctrl_jtag_errors.4017523873 |
| /workspace/coverage/default/1.lc_ctrl_jtag_priority.2670894459 |
| /workspace/coverage/default/1.lc_ctrl_jtag_prog_failure.2976606326 |
| /workspace/coverage/default/1.lc_ctrl_jtag_smoke.3092681255 |
| /workspace/coverage/default/1.lc_ctrl_jtag_state_failure.3563644658 |
| /workspace/coverage/default/1.lc_ctrl_jtag_state_post_trans.1242577390 |
| /workspace/coverage/default/1.lc_ctrl_prog_failure.2898356964 |
| /workspace/coverage/default/1.lc_ctrl_regwen_during_op.828296932 |
| /workspace/coverage/default/1.lc_ctrl_sec_cm.368481298 |
| /workspace/coverage/default/1.lc_ctrl_sec_mubi.765210616 |
| /workspace/coverage/default/1.lc_ctrl_sec_token_digest.3037012720 |
| /workspace/coverage/default/1.lc_ctrl_sec_token_mux.1063186873 |
| /workspace/coverage/default/1.lc_ctrl_security_escalation.3607864391 |
| /workspace/coverage/default/1.lc_ctrl_state_failure.956651328 |
| /workspace/coverage/default/1.lc_ctrl_state_post_trans.2061525236 |
| /workspace/coverage/default/1.lc_ctrl_stress_all.2887661732 |
| /workspace/coverage/default/1.lc_ctrl_stress_all_with_rand_reset.2095213791 |
| /workspace/coverage/default/1.lc_ctrl_volatile_unlock_smoke.205804760 |
| /workspace/coverage/default/10.lc_ctrl_alert_test.85259400 |
| /workspace/coverage/default/10.lc_ctrl_errors.161293900 |
| /workspace/coverage/default/10.lc_ctrl_jtag_access.3815922778 |
| /workspace/coverage/default/10.lc_ctrl_jtag_errors.3692358496 |
| /workspace/coverage/default/10.lc_ctrl_jtag_prog_failure.3118533518 |
| /workspace/coverage/default/10.lc_ctrl_jtag_smoke.1159592235 |
| /workspace/coverage/default/10.lc_ctrl_jtag_state_failure.3381161159 |
| /workspace/coverage/default/10.lc_ctrl_jtag_state_post_trans.3383663370 |
| /workspace/coverage/default/10.lc_ctrl_prog_failure.3369898266 |
| /workspace/coverage/default/10.lc_ctrl_sec_mubi.612582304 |
| /workspace/coverage/default/10.lc_ctrl_sec_token_digest.3959775237 |
| /workspace/coverage/default/10.lc_ctrl_sec_token_mux.2983722553 |
| /workspace/coverage/default/10.lc_ctrl_security_escalation.1285200723 |
| /workspace/coverage/default/10.lc_ctrl_smoke.4104145970 |
| /workspace/coverage/default/10.lc_ctrl_state_failure.2884849117 |
| /workspace/coverage/default/10.lc_ctrl_state_post_trans.3244564519 |
| /workspace/coverage/default/10.lc_ctrl_stress_all.1152940475 |
| /workspace/coverage/default/10.lc_ctrl_stress_all_with_rand_reset.2724675265 |
| /workspace/coverage/default/10.lc_ctrl_volatile_unlock_smoke.1905868147 |
| /workspace/coverage/default/11.lc_ctrl_alert_test.238614964 |
| /workspace/coverage/default/11.lc_ctrl_errors.2817852237 |
| /workspace/coverage/default/11.lc_ctrl_jtag_access.4222929392 |
| /workspace/coverage/default/11.lc_ctrl_jtag_errors.1719567665 |
| /workspace/coverage/default/11.lc_ctrl_jtag_prog_failure.2062719394 |
| /workspace/coverage/default/11.lc_ctrl_jtag_smoke.639953640 |
| /workspace/coverage/default/11.lc_ctrl_jtag_state_failure.2465082275 |
| /workspace/coverage/default/11.lc_ctrl_jtag_state_post_trans.2894389512 |
| /workspace/coverage/default/11.lc_ctrl_prog_failure.1808983212 |
| /workspace/coverage/default/11.lc_ctrl_sec_token_digest.990959058 |
| /workspace/coverage/default/11.lc_ctrl_sec_token_mux.634381565 |
| /workspace/coverage/default/11.lc_ctrl_security_escalation.2358618130 |
| /workspace/coverage/default/11.lc_ctrl_smoke.3923950031 |
| /workspace/coverage/default/11.lc_ctrl_state_failure.2225703585 |
| /workspace/coverage/default/11.lc_ctrl_state_post_trans.1055037039 |
| /workspace/coverage/default/11.lc_ctrl_stress_all.649977888 |
| /workspace/coverage/default/11.lc_ctrl_volatile_unlock_smoke.406403503 |
| /workspace/coverage/default/12.lc_ctrl_alert_test.1275418565 |
| /workspace/coverage/default/12.lc_ctrl_errors.1563622047 |
| /workspace/coverage/default/12.lc_ctrl_jtag_access.43713368 |
| /workspace/coverage/default/12.lc_ctrl_jtag_errors.3826088376 |
| /workspace/coverage/default/12.lc_ctrl_jtag_prog_failure.3995596809 |
| /workspace/coverage/default/12.lc_ctrl_jtag_smoke.1941431776 |
| /workspace/coverage/default/12.lc_ctrl_jtag_state_failure.803212965 |
| /workspace/coverage/default/12.lc_ctrl_jtag_state_post_trans.3745693988 |
| /workspace/coverage/default/12.lc_ctrl_prog_failure.2838227342 |
| /workspace/coverage/default/12.lc_ctrl_sec_mubi.1315253608 |
| /workspace/coverage/default/12.lc_ctrl_sec_token_digest.2251182835 |
| /workspace/coverage/default/12.lc_ctrl_sec_token_mux.1470697242 |
| /workspace/coverage/default/12.lc_ctrl_security_escalation.1050009591 |
| /workspace/coverage/default/12.lc_ctrl_smoke.855152699 |
| /workspace/coverage/default/12.lc_ctrl_state_failure.3934821689 |
| /workspace/coverage/default/12.lc_ctrl_state_post_trans.1317950009 |
| /workspace/coverage/default/12.lc_ctrl_stress_all.2721933349 |
| /workspace/coverage/default/12.lc_ctrl_stress_all_with_rand_reset.2897714349 |
| /workspace/coverage/default/12.lc_ctrl_volatile_unlock_smoke.1901461851 |
| /workspace/coverage/default/13.lc_ctrl_errors.2106179505 |
| /workspace/coverage/default/13.lc_ctrl_jtag_access.3922673080 |
| /workspace/coverage/default/13.lc_ctrl_jtag_errors.1739497094 |
| /workspace/coverage/default/13.lc_ctrl_jtag_prog_failure.3149177510 |
| /workspace/coverage/default/13.lc_ctrl_jtag_smoke.1628305159 |
| /workspace/coverage/default/13.lc_ctrl_jtag_state_failure.19090074 |
| /workspace/coverage/default/13.lc_ctrl_jtag_state_post_trans.1055390335 |
| /workspace/coverage/default/13.lc_ctrl_prog_failure.1225800290 |
| /workspace/coverage/default/13.lc_ctrl_sec_mubi.1616733500 |
| /workspace/coverage/default/13.lc_ctrl_sec_token_digest.525125326 |
| /workspace/coverage/default/13.lc_ctrl_sec_token_mux.1744056054 |
| /workspace/coverage/default/13.lc_ctrl_security_escalation.2998565684 |
| /workspace/coverage/default/13.lc_ctrl_smoke.1807733411 |
| /workspace/coverage/default/13.lc_ctrl_state_failure.2037068524 |
| /workspace/coverage/default/13.lc_ctrl_state_post_trans.2255077972 |
| /workspace/coverage/default/13.lc_ctrl_stress_all.3827687002 |
| /workspace/coverage/default/13.lc_ctrl_stress_all_with_rand_reset.3658054847 |
| /workspace/coverage/default/13.lc_ctrl_volatile_unlock_smoke.129374756 |
| /workspace/coverage/default/14.lc_ctrl_alert_test.3585046245 |
| /workspace/coverage/default/14.lc_ctrl_errors.2865091703 |
| /workspace/coverage/default/14.lc_ctrl_jtag_errors.2007593476 |
| /workspace/coverage/default/14.lc_ctrl_jtag_prog_failure.1154344501 |
| /workspace/coverage/default/14.lc_ctrl_jtag_smoke.1584113603 |
| /workspace/coverage/default/14.lc_ctrl_jtag_state_failure.91856275 |
| /workspace/coverage/default/14.lc_ctrl_jtag_state_post_trans.2809127851 |
| /workspace/coverage/default/14.lc_ctrl_prog_failure.2224591539 |
| /workspace/coverage/default/14.lc_ctrl_sec_mubi.2513629371 |
| /workspace/coverage/default/14.lc_ctrl_sec_token_digest.478243190 |
| /workspace/coverage/default/14.lc_ctrl_security_escalation.3793866110 |
| /workspace/coverage/default/14.lc_ctrl_smoke.2713172223 |
| /workspace/coverage/default/14.lc_ctrl_state_failure.1770639206 |
| /workspace/coverage/default/14.lc_ctrl_state_post_trans.1989155714 |
| /workspace/coverage/default/14.lc_ctrl_stress_all.3389604928 |
| /workspace/coverage/default/14.lc_ctrl_volatile_unlock_smoke.4019427117 |
| /workspace/coverage/default/15.lc_ctrl_alert_test.3005209226 |
| /workspace/coverage/default/15.lc_ctrl_errors.3073286222 |
| /workspace/coverage/default/15.lc_ctrl_jtag_access.3911443798 |
| /workspace/coverage/default/15.lc_ctrl_jtag_errors.2247220000 |
| /workspace/coverage/default/15.lc_ctrl_jtag_prog_failure.4224893831 |
| /workspace/coverage/default/15.lc_ctrl_jtag_smoke.4175012173 |
| /workspace/coverage/default/15.lc_ctrl_jtag_state_failure.1651583276 |
| /workspace/coverage/default/15.lc_ctrl_jtag_state_post_trans.1330701933 |
| /workspace/coverage/default/15.lc_ctrl_prog_failure.3475996696 |
| /workspace/coverage/default/15.lc_ctrl_sec_mubi.155909411 |
| /workspace/coverage/default/15.lc_ctrl_sec_token_digest.1221874468 |
| /workspace/coverage/default/15.lc_ctrl_sec_token_mux.3720148620 |
| /workspace/coverage/default/15.lc_ctrl_security_escalation.3555839782 |
| /workspace/coverage/default/15.lc_ctrl_smoke.2527681645 |
| /workspace/coverage/default/15.lc_ctrl_state_failure.3921911819 |
| /workspace/coverage/default/15.lc_ctrl_state_post_trans.459549212 |
| /workspace/coverage/default/15.lc_ctrl_stress_all.2669860075 |
| /workspace/coverage/default/15.lc_ctrl_volatile_unlock_smoke.1781770556 |
| /workspace/coverage/default/16.lc_ctrl_alert_test.1105234768 |
| /workspace/coverage/default/16.lc_ctrl_errors.3040674879 |
| /workspace/coverage/default/16.lc_ctrl_jtag_access.741453658 |
| /workspace/coverage/default/16.lc_ctrl_jtag_errors.3756643347 |
| /workspace/coverage/default/16.lc_ctrl_jtag_prog_failure.1535849206 |
| /workspace/coverage/default/16.lc_ctrl_jtag_smoke.3095144505 |
| /workspace/coverage/default/16.lc_ctrl_jtag_state_failure.398804006 |
| /workspace/coverage/default/16.lc_ctrl_jtag_state_post_trans.2998498257 |
| /workspace/coverage/default/16.lc_ctrl_prog_failure.2433689082 |
| /workspace/coverage/default/16.lc_ctrl_sec_mubi.3209820605 |
| /workspace/coverage/default/16.lc_ctrl_sec_token_digest.2561434772 |
| /workspace/coverage/default/16.lc_ctrl_sec_token_mux.3229602836 |
| /workspace/coverage/default/16.lc_ctrl_security_escalation.992355715 |
| /workspace/coverage/default/16.lc_ctrl_smoke.393049028 |
| /workspace/coverage/default/16.lc_ctrl_state_failure.2834291317 |
| /workspace/coverage/default/16.lc_ctrl_state_post_trans.1676365041 |
| /workspace/coverage/default/16.lc_ctrl_volatile_unlock_smoke.3148866192 |
| /workspace/coverage/default/17.lc_ctrl_alert_test.3210747208 |
| /workspace/coverage/default/17.lc_ctrl_errors.3952725102 |
| /workspace/coverage/default/17.lc_ctrl_jtag_access.1134872942 |
| /workspace/coverage/default/17.lc_ctrl_jtag_errors.2946121233 |
| /workspace/coverage/default/17.lc_ctrl_jtag_prog_failure.2216988835 |
| /workspace/coverage/default/17.lc_ctrl_jtag_smoke.2989491551 |
| /workspace/coverage/default/17.lc_ctrl_jtag_state_failure.1895532835 |
| /workspace/coverage/default/17.lc_ctrl_jtag_state_post_trans.2755973827 |
| /workspace/coverage/default/17.lc_ctrl_prog_failure.158575360 |
| /workspace/coverage/default/17.lc_ctrl_sec_mubi.2460324250 |
| /workspace/coverage/default/17.lc_ctrl_sec_token_digest.2795701446 |
| /workspace/coverage/default/17.lc_ctrl_sec_token_mux.1591386187 |
| /workspace/coverage/default/17.lc_ctrl_security_escalation.265849686 |
| /workspace/coverage/default/17.lc_ctrl_smoke.3529545534 |
| /workspace/coverage/default/17.lc_ctrl_state_failure.1830575297 |
| /workspace/coverage/default/17.lc_ctrl_state_post_trans.905938256 |
| /workspace/coverage/default/17.lc_ctrl_stress_all.3794239299 |
| /workspace/coverage/default/17.lc_ctrl_stress_all_with_rand_reset.4079905829 |
| /workspace/coverage/default/17.lc_ctrl_volatile_unlock_smoke.2580734349 |
| /workspace/coverage/default/18.lc_ctrl_alert_test.1631516531 |
| /workspace/coverage/default/18.lc_ctrl_errors.3832195488 |
| /workspace/coverage/default/18.lc_ctrl_jtag_access.3659914903 |
| /workspace/coverage/default/18.lc_ctrl_jtag_errors.2290890768 |
| /workspace/coverage/default/18.lc_ctrl_jtag_prog_failure.4131761251 |
| /workspace/coverage/default/18.lc_ctrl_jtag_smoke.2765551544 |
| /workspace/coverage/default/18.lc_ctrl_jtag_state_failure.1410584413 |
| /workspace/coverage/default/18.lc_ctrl_jtag_state_post_trans.626931576 |
| /workspace/coverage/default/18.lc_ctrl_prog_failure.3419109407 |
| /workspace/coverage/default/18.lc_ctrl_sec_mubi.502999407 |
| /workspace/coverage/default/18.lc_ctrl_sec_token_mux.1976614063 |
| /workspace/coverage/default/18.lc_ctrl_security_escalation.3720531449 |
| /workspace/coverage/default/18.lc_ctrl_smoke.3818642470 |
| /workspace/coverage/default/18.lc_ctrl_state_failure.1320590334 |
| /workspace/coverage/default/18.lc_ctrl_state_post_trans.1049601794 |
| /workspace/coverage/default/18.lc_ctrl_stress_all.1001447692 |
| /workspace/coverage/default/18.lc_ctrl_volatile_unlock_smoke.3863675823 |
| /workspace/coverage/default/19.lc_ctrl_alert_test.263015846 |
| /workspace/coverage/default/19.lc_ctrl_errors.3237423716 |
| /workspace/coverage/default/19.lc_ctrl_jtag_access.30875257 |
| /workspace/coverage/default/19.lc_ctrl_jtag_errors.3487821765 |
| /workspace/coverage/default/19.lc_ctrl_jtag_prog_failure.3411591842 |
| /workspace/coverage/default/19.lc_ctrl_jtag_smoke.3662147358 |
| /workspace/coverage/default/19.lc_ctrl_jtag_state_failure.3406054975 |
| /workspace/coverage/default/19.lc_ctrl_jtag_state_post_trans.1176569781 |
| /workspace/coverage/default/19.lc_ctrl_prog_failure.755001902 |
| /workspace/coverage/default/19.lc_ctrl_sec_mubi.812974719 |
| /workspace/coverage/default/19.lc_ctrl_sec_token_digest.2650697498 |
| /workspace/coverage/default/19.lc_ctrl_sec_token_mux.1306422328 |
| /workspace/coverage/default/19.lc_ctrl_security_escalation.223715496 |
| /workspace/coverage/default/19.lc_ctrl_smoke.1976611248 |
| /workspace/coverage/default/19.lc_ctrl_state_failure.3161534960 |
| /workspace/coverage/default/19.lc_ctrl_state_post_trans.583924899 |
| /workspace/coverage/default/19.lc_ctrl_stress_all.2855043044 |
| /workspace/coverage/default/19.lc_ctrl_stress_all_with_rand_reset.3580941828 |
| /workspace/coverage/default/19.lc_ctrl_volatile_unlock_smoke.179642066 |
| /workspace/coverage/default/2.lc_ctrl_alert_test.85196337 |
| /workspace/coverage/default/2.lc_ctrl_claim_transition_if.1240007617 |
| /workspace/coverage/default/2.lc_ctrl_errors.1447326806 |
| /workspace/coverage/default/2.lc_ctrl_jtag_access.2423519031 |
| /workspace/coverage/default/2.lc_ctrl_jtag_errors.3052675121 |
| /workspace/coverage/default/2.lc_ctrl_jtag_priority.2086394708 |
| /workspace/coverage/default/2.lc_ctrl_jtag_prog_failure.4251913822 |
| /workspace/coverage/default/2.lc_ctrl_jtag_regwen_during_op.1548550076 |
| /workspace/coverage/default/2.lc_ctrl_jtag_smoke.1969325384 |
| /workspace/coverage/default/2.lc_ctrl_jtag_state_failure.3926926865 |
| /workspace/coverage/default/2.lc_ctrl_jtag_state_post_trans.1415779906 |
| /workspace/coverage/default/2.lc_ctrl_prog_failure.3319167179 |
| /workspace/coverage/default/2.lc_ctrl_regwen_during_op.1464718585 |
| /workspace/coverage/default/2.lc_ctrl_sec_cm.2568643385 |
| /workspace/coverage/default/2.lc_ctrl_sec_mubi.447468581 |
| /workspace/coverage/default/2.lc_ctrl_sec_token_digest.2191773218 |
| /workspace/coverage/default/2.lc_ctrl_sec_token_mux.134994239 |
| /workspace/coverage/default/2.lc_ctrl_security_escalation.3072438287 |
| /workspace/coverage/default/2.lc_ctrl_smoke.764215402 |
| /workspace/coverage/default/2.lc_ctrl_state_failure.721915901 |
| /workspace/coverage/default/2.lc_ctrl_state_post_trans.3211319025 |
| /workspace/coverage/default/2.lc_ctrl_stress_all.2144469877 |
| /workspace/coverage/default/2.lc_ctrl_volatile_unlock_smoke.3065360982 |
| /workspace/coverage/default/20.lc_ctrl_alert_test.1227690649 |
| /workspace/coverage/default/20.lc_ctrl_errors.448189878 |
| /workspace/coverage/default/20.lc_ctrl_jtag_access.674433943 |
| /workspace/coverage/default/20.lc_ctrl_prog_failure.1916246337 |
| /workspace/coverage/default/20.lc_ctrl_sec_mubi.4276386409 |
| /workspace/coverage/default/20.lc_ctrl_sec_token_digest.3426750339 |
| /workspace/coverage/default/20.lc_ctrl_sec_token_mux.1890052573 |
| /workspace/coverage/default/20.lc_ctrl_smoke.3643613865 |
| /workspace/coverage/default/20.lc_ctrl_state_failure.3170955473 |
| /workspace/coverage/default/20.lc_ctrl_state_post_trans.3587711988 |
| /workspace/coverage/default/20.lc_ctrl_stress_all.3209488904 |
| /workspace/coverage/default/20.lc_ctrl_volatile_unlock_smoke.2415402290 |
| /workspace/coverage/default/21.lc_ctrl_alert_test.2227409332 |
| /workspace/coverage/default/21.lc_ctrl_errors.1933036908 |
| /workspace/coverage/default/21.lc_ctrl_jtag_access.57321620 |
| /workspace/coverage/default/21.lc_ctrl_prog_failure.580787917 |
| /workspace/coverage/default/21.lc_ctrl_sec_mubi.3645081177 |
| /workspace/coverage/default/21.lc_ctrl_sec_token_digest.1251178446 |
| /workspace/coverage/default/21.lc_ctrl_sec_token_mux.2598433016 |
| /workspace/coverage/default/21.lc_ctrl_security_escalation.464798885 |
| /workspace/coverage/default/21.lc_ctrl_smoke.3236667329 |
| /workspace/coverage/default/21.lc_ctrl_state_failure.2174528601 |
| /workspace/coverage/default/21.lc_ctrl_state_post_trans.390891766 |
| /workspace/coverage/default/21.lc_ctrl_stress_all.3931502640 |
| /workspace/coverage/default/21.lc_ctrl_volatile_unlock_smoke.3146208329 |
| /workspace/coverage/default/22.lc_ctrl_alert_test.3087750372 |
| /workspace/coverage/default/22.lc_ctrl_errors.3182812863 |
| /workspace/coverage/default/22.lc_ctrl_jtag_access.1568212501 |
| /workspace/coverage/default/22.lc_ctrl_prog_failure.1602886469 |
| /workspace/coverage/default/22.lc_ctrl_sec_mubi.4283327082 |
| /workspace/coverage/default/22.lc_ctrl_sec_token_digest.717783970 |
| /workspace/coverage/default/22.lc_ctrl_sec_token_mux.3750178787 |
| /workspace/coverage/default/22.lc_ctrl_smoke.4263321990 |
| /workspace/coverage/default/22.lc_ctrl_state_failure.507111256 |
| /workspace/coverage/default/22.lc_ctrl_state_post_trans.565479654 |
| /workspace/coverage/default/22.lc_ctrl_stress_all.2887678330 |
| /workspace/coverage/default/22.lc_ctrl_volatile_unlock_smoke.3501403386 |
| /workspace/coverage/default/23.lc_ctrl_alert_test.1189282247 |
| /workspace/coverage/default/23.lc_ctrl_jtag_access.3117267343 |
| /workspace/coverage/default/23.lc_ctrl_prog_failure.477684946 |
| /workspace/coverage/default/23.lc_ctrl_sec_mubi.2922350466 |
| /workspace/coverage/default/23.lc_ctrl_sec_token_digest.605597497 |
| /workspace/coverage/default/23.lc_ctrl_sec_token_mux.1059094289 |
| /workspace/coverage/default/23.lc_ctrl_smoke.1839410691 |
| /workspace/coverage/default/23.lc_ctrl_state_failure.2916374149 |
| /workspace/coverage/default/23.lc_ctrl_state_post_trans.736509610 |
| /workspace/coverage/default/23.lc_ctrl_stress_all.2697348213 |
| /workspace/coverage/default/23.lc_ctrl_stress_all_with_rand_reset.714586139 |
| /workspace/coverage/default/23.lc_ctrl_volatile_unlock_smoke.3285131934 |
| /workspace/coverage/default/24.lc_ctrl_alert_test.3044208003 |
| /workspace/coverage/default/24.lc_ctrl_errors.1441388709 |
| /workspace/coverage/default/24.lc_ctrl_jtag_access.3711843473 |
| /workspace/coverage/default/24.lc_ctrl_prog_failure.3203228195 |
| /workspace/coverage/default/24.lc_ctrl_sec_mubi.1737189587 |
| /workspace/coverage/default/24.lc_ctrl_sec_token_digest.1126678866 |
| /workspace/coverage/default/24.lc_ctrl_sec_token_mux.3488302514 |
| /workspace/coverage/default/24.lc_ctrl_security_escalation.2744282717 |
| /workspace/coverage/default/24.lc_ctrl_smoke.2499091742 |
| /workspace/coverage/default/24.lc_ctrl_state_failure.3179845581 |
| /workspace/coverage/default/24.lc_ctrl_state_post_trans.2066472644 |
| /workspace/coverage/default/24.lc_ctrl_stress_all.3529797327 |
| /workspace/coverage/default/24.lc_ctrl_volatile_unlock_smoke.3627764313 |
| /workspace/coverage/default/25.lc_ctrl_alert_test.2505600683 |
| /workspace/coverage/default/25.lc_ctrl_errors.2212475612 |
| /workspace/coverage/default/25.lc_ctrl_jtag_access.2245220800 |
| /workspace/coverage/default/25.lc_ctrl_prog_failure.3424379264 |
| /workspace/coverage/default/25.lc_ctrl_sec_mubi.1180975865 |
| /workspace/coverage/default/25.lc_ctrl_sec_token_digest.3349368629 |
| /workspace/coverage/default/25.lc_ctrl_sec_token_mux.486639624 |
| /workspace/coverage/default/25.lc_ctrl_security_escalation.3719104878 |
| /workspace/coverage/default/25.lc_ctrl_smoke.3519757030 |
| /workspace/coverage/default/25.lc_ctrl_state_failure.3129963104 |
| /workspace/coverage/default/25.lc_ctrl_state_post_trans.869126395 |
| /workspace/coverage/default/25.lc_ctrl_stress_all.1139413623 |
| /workspace/coverage/default/25.lc_ctrl_volatile_unlock_smoke.2100653809 |
| /workspace/coverage/default/26.lc_ctrl_alert_test.2224578484 |
| /workspace/coverage/default/26.lc_ctrl_errors.3059926344 |
| /workspace/coverage/default/26.lc_ctrl_jtag_access.1849872505 |
| /workspace/coverage/default/26.lc_ctrl_prog_failure.3275158687 |
| /workspace/coverage/default/26.lc_ctrl_sec_mubi.4132515640 |
| /workspace/coverage/default/26.lc_ctrl_sec_token_digest.2392964644 |
| /workspace/coverage/default/26.lc_ctrl_sec_token_mux.1232052015 |
| /workspace/coverage/default/26.lc_ctrl_smoke.3236975461 |
| /workspace/coverage/default/26.lc_ctrl_state_failure.1949239579 |
| /workspace/coverage/default/26.lc_ctrl_state_post_trans.2464100019 |
| /workspace/coverage/default/26.lc_ctrl_stress_all.2139031503 |
| /workspace/coverage/default/26.lc_ctrl_volatile_unlock_smoke.1842826349 |
| /workspace/coverage/default/27.lc_ctrl_alert_test.657817218 |
| /workspace/coverage/default/27.lc_ctrl_errors.3761354149 |
| /workspace/coverage/default/27.lc_ctrl_jtag_access.2760391437 |
| /workspace/coverage/default/27.lc_ctrl_prog_failure.1339820279 |
| /workspace/coverage/default/27.lc_ctrl_sec_mubi.1834713271 |
| /workspace/coverage/default/27.lc_ctrl_sec_token_digest.925323944 |
| /workspace/coverage/default/27.lc_ctrl_sec_token_mux.1519303373 |
| /workspace/coverage/default/27.lc_ctrl_security_escalation.2088038751 |
| /workspace/coverage/default/27.lc_ctrl_smoke.1047035966 |
| /workspace/coverage/default/27.lc_ctrl_state_failure.3009888921 |
| /workspace/coverage/default/27.lc_ctrl_state_post_trans.2869225072 |
| /workspace/coverage/default/27.lc_ctrl_volatile_unlock_smoke.217162071 |
| /workspace/coverage/default/28.lc_ctrl_alert_test.401821236 |
| /workspace/coverage/default/28.lc_ctrl_errors.1170983653 |
| /workspace/coverage/default/28.lc_ctrl_jtag_access.4048905446 |
| /workspace/coverage/default/28.lc_ctrl_prog_failure.2912805924 |
| /workspace/coverage/default/28.lc_ctrl_sec_mubi.1880321834 |
| /workspace/coverage/default/28.lc_ctrl_sec_token_digest.1451887161 |
| /workspace/coverage/default/28.lc_ctrl_sec_token_mux.664334338 |
| /workspace/coverage/default/28.lc_ctrl_security_escalation.3470475914 |
| /workspace/coverage/default/28.lc_ctrl_smoke.45752035 |
| /workspace/coverage/default/28.lc_ctrl_state_failure.2302610969 |
| /workspace/coverage/default/28.lc_ctrl_state_post_trans.1157845181 |
| /workspace/coverage/default/28.lc_ctrl_stress_all.1108521424 |
| /workspace/coverage/default/28.lc_ctrl_stress_all_with_rand_reset.1116413714 |
| /workspace/coverage/default/28.lc_ctrl_volatile_unlock_smoke.304650005 |
| /workspace/coverage/default/29.lc_ctrl_alert_test.1665510902 |
| /workspace/coverage/default/29.lc_ctrl_errors.2792851688 |
| /workspace/coverage/default/29.lc_ctrl_jtag_access.3243909111 |
| /workspace/coverage/default/29.lc_ctrl_prog_failure.61657605 |
| /workspace/coverage/default/29.lc_ctrl_sec_mubi.299317125 |
| /workspace/coverage/default/29.lc_ctrl_sec_token_digest.771416555 |
| /workspace/coverage/default/29.lc_ctrl_sec_token_mux.1726663777 |
| /workspace/coverage/default/29.lc_ctrl_security_escalation.3157083794 |
| /workspace/coverage/default/29.lc_ctrl_smoke.1075278553 |
| /workspace/coverage/default/29.lc_ctrl_state_failure.527067904 |
| /workspace/coverage/default/29.lc_ctrl_state_post_trans.3973995498 |
| /workspace/coverage/default/29.lc_ctrl_stress_all.498044193 |
| /workspace/coverage/default/29.lc_ctrl_volatile_unlock_smoke.1274341054 |
| /workspace/coverage/default/3.lc_ctrl_alert_test.3155104337 |
| /workspace/coverage/default/3.lc_ctrl_claim_transition_if.3448565804 |
| /workspace/coverage/default/3.lc_ctrl_errors.2973426707 |
| /workspace/coverage/default/3.lc_ctrl_jtag_access.646257417 |
| /workspace/coverage/default/3.lc_ctrl_jtag_errors.4089688880 |
| /workspace/coverage/default/3.lc_ctrl_jtag_priority.3932981494 |
| /workspace/coverage/default/3.lc_ctrl_jtag_regwen_during_op.2498443612 |
| /workspace/coverage/default/3.lc_ctrl_jtag_smoke.1384856685 |
| /workspace/coverage/default/3.lc_ctrl_jtag_state_failure.1309418465 |
| /workspace/coverage/default/3.lc_ctrl_jtag_state_post_trans.764191756 |
| /workspace/coverage/default/3.lc_ctrl_prog_failure.2629118923 |
| /workspace/coverage/default/3.lc_ctrl_regwen_during_op.3691335497 |
| /workspace/coverage/default/3.lc_ctrl_sec_cm.2077006052 |
| /workspace/coverage/default/3.lc_ctrl_sec_mubi.4087961401 |
| /workspace/coverage/default/3.lc_ctrl_sec_token_digest.199115915 |
| /workspace/coverage/default/3.lc_ctrl_sec_token_mux.155469432 |
| /workspace/coverage/default/3.lc_ctrl_security_escalation.4181949146 |
| /workspace/coverage/default/3.lc_ctrl_smoke.1698004172 |
| /workspace/coverage/default/3.lc_ctrl_state_failure.3094938631 |
| /workspace/coverage/default/3.lc_ctrl_state_post_trans.3206715489 |
| /workspace/coverage/default/3.lc_ctrl_stress_all.3482483948 |
| /workspace/coverage/default/3.lc_ctrl_volatile_unlock_smoke.3918901397 |
| /workspace/coverage/default/30.lc_ctrl_alert_test.160156183 |
| /workspace/coverage/default/30.lc_ctrl_errors.4103276724 |
| /workspace/coverage/default/30.lc_ctrl_jtag_access.1162883044 |
| /workspace/coverage/default/30.lc_ctrl_prog_failure.2005816415 |
| /workspace/coverage/default/30.lc_ctrl_sec_mubi.3031683309 |
| /workspace/coverage/default/30.lc_ctrl_sec_token_digest.3653269758 |
| /workspace/coverage/default/30.lc_ctrl_sec_token_mux.3523768150 |
| /workspace/coverage/default/30.lc_ctrl_security_escalation.2624900976 |
| /workspace/coverage/default/30.lc_ctrl_smoke.2190793725 |
| /workspace/coverage/default/30.lc_ctrl_state_failure.1003643873 |
| /workspace/coverage/default/30.lc_ctrl_state_post_trans.304189103 |
| /workspace/coverage/default/30.lc_ctrl_stress_all.456938516 |
| /workspace/coverage/default/30.lc_ctrl_volatile_unlock_smoke.1865528892 |
| /workspace/coverage/default/31.lc_ctrl_alert_test.3485029903 |
| /workspace/coverage/default/31.lc_ctrl_errors.1947297180 |
| /workspace/coverage/default/31.lc_ctrl_jtag_access.269827364 |
| /workspace/coverage/default/31.lc_ctrl_prog_failure.2470508460 |
| /workspace/coverage/default/31.lc_ctrl_sec_mubi.3869589619 |
| /workspace/coverage/default/31.lc_ctrl_sec_token_digest.2874445726 |
| /workspace/coverage/default/31.lc_ctrl_sec_token_mux.3620948474 |
| /workspace/coverage/default/31.lc_ctrl_security_escalation.1727015326 |
| /workspace/coverage/default/31.lc_ctrl_smoke.1704315293 |
| /workspace/coverage/default/31.lc_ctrl_state_failure.751440221 |
| /workspace/coverage/default/31.lc_ctrl_stress_all.3106738437 |
| /workspace/coverage/default/31.lc_ctrl_stress_all_with_rand_reset.2308477391 |
| /workspace/coverage/default/31.lc_ctrl_volatile_unlock_smoke.1947185200 |
| /workspace/coverage/default/32.lc_ctrl_alert_test.3977647246 |
| /workspace/coverage/default/32.lc_ctrl_errors.1481161252 |
| /workspace/coverage/default/32.lc_ctrl_jtag_access.2318197135 |
| /workspace/coverage/default/32.lc_ctrl_prog_failure.2693669919 |
| /workspace/coverage/default/32.lc_ctrl_sec_mubi.4248308410 |
| /workspace/coverage/default/32.lc_ctrl_sec_token_digest.983102667 |
| /workspace/coverage/default/32.lc_ctrl_sec_token_mux.3487093878 |
| /workspace/coverage/default/32.lc_ctrl_security_escalation.1680791401 |
| /workspace/coverage/default/32.lc_ctrl_smoke.219032734 |
| /workspace/coverage/default/32.lc_ctrl_state_failure.3691564275 |
| /workspace/coverage/default/32.lc_ctrl_state_post_trans.294689496 |
| /workspace/coverage/default/32.lc_ctrl_stress_all.1402427414 |
| /workspace/coverage/default/32.lc_ctrl_stress_all_with_rand_reset.3939818304 |
| /workspace/coverage/default/32.lc_ctrl_volatile_unlock_smoke.4031778447 |
| /workspace/coverage/default/33.lc_ctrl_alert_test.2113579737 |
| /workspace/coverage/default/33.lc_ctrl_errors.3097019637 |
| /workspace/coverage/default/33.lc_ctrl_jtag_access.1139406943 |
| /workspace/coverage/default/33.lc_ctrl_prog_failure.356537944 |
| /workspace/coverage/default/33.lc_ctrl_sec_mubi.1316267696 |
| /workspace/coverage/default/33.lc_ctrl_sec_token_digest.495059822 |
| /workspace/coverage/default/33.lc_ctrl_sec_token_mux.1657897704 |
| /workspace/coverage/default/33.lc_ctrl_security_escalation.783199053 |
| /workspace/coverage/default/33.lc_ctrl_smoke.1558129759 |
| /workspace/coverage/default/33.lc_ctrl_state_failure.1738631517 |
| /workspace/coverage/default/33.lc_ctrl_state_post_trans.2284129537 |
| /workspace/coverage/default/33.lc_ctrl_stress_all.3925884686 |
| /workspace/coverage/default/33.lc_ctrl_volatile_unlock_smoke.1705229117 |
| /workspace/coverage/default/34.lc_ctrl_alert_test.3169877188 |
| /workspace/coverage/default/34.lc_ctrl_errors.4224603725 |
| /workspace/coverage/default/34.lc_ctrl_jtag_access.50384660 |
| /workspace/coverage/default/34.lc_ctrl_prog_failure.675993644 |
| /workspace/coverage/default/34.lc_ctrl_sec_mubi.452720312 |
| /workspace/coverage/default/34.lc_ctrl_sec_token_digest.3161244658 |
| /workspace/coverage/default/34.lc_ctrl_sec_token_mux.2401044181 |
| /workspace/coverage/default/34.lc_ctrl_security_escalation.2163427584 |
| /workspace/coverage/default/34.lc_ctrl_smoke.3393574962 |
| /workspace/coverage/default/34.lc_ctrl_state_failure.977922203 |
| /workspace/coverage/default/34.lc_ctrl_state_post_trans.3127002517 |
| /workspace/coverage/default/34.lc_ctrl_stress_all.232306962 |
| /workspace/coverage/default/34.lc_ctrl_stress_all_with_rand_reset.1727934424 |
| /workspace/coverage/default/35.lc_ctrl_alert_test.4087037344 |
| /workspace/coverage/default/35.lc_ctrl_errors.1803936204 |
| /workspace/coverage/default/35.lc_ctrl_jtag_access.2993328952 |
| /workspace/coverage/default/35.lc_ctrl_prog_failure.4087557559 |
| /workspace/coverage/default/35.lc_ctrl_sec_mubi.100468608 |
| /workspace/coverage/default/35.lc_ctrl_sec_token_digest.2565873584 |
| /workspace/coverage/default/35.lc_ctrl_sec_token_mux.3456627586 |
| /workspace/coverage/default/35.lc_ctrl_security_escalation.1980347777 |
| /workspace/coverage/default/35.lc_ctrl_smoke.598407858 |
| /workspace/coverage/default/35.lc_ctrl_state_failure.3429360140 |
| /workspace/coverage/default/35.lc_ctrl_state_post_trans.3092778981 |
| /workspace/coverage/default/35.lc_ctrl_stress_all.4132772565 |
| /workspace/coverage/default/35.lc_ctrl_volatile_unlock_smoke.1489884294 |
| /workspace/coverage/default/36.lc_ctrl_alert_test.3764103498 |
| /workspace/coverage/default/36.lc_ctrl_errors.965464 |
| /workspace/coverage/default/36.lc_ctrl_jtag_access.3938505146 |
| /workspace/coverage/default/36.lc_ctrl_prog_failure.2710834048 |
| /workspace/coverage/default/36.lc_ctrl_sec_mubi.3092027023 |
| /workspace/coverage/default/36.lc_ctrl_sec_token_digest.1145946426 |
| /workspace/coverage/default/36.lc_ctrl_sec_token_mux.751938158 |
| /workspace/coverage/default/36.lc_ctrl_security_escalation.941811049 |
| /workspace/coverage/default/36.lc_ctrl_smoke.366704193 |
| /workspace/coverage/default/36.lc_ctrl_state_failure.3388406821 |
| /workspace/coverage/default/36.lc_ctrl_state_post_trans.2089907195 |
| /workspace/coverage/default/36.lc_ctrl_stress_all.851006869 |
| /workspace/coverage/default/36.lc_ctrl_stress_all_with_rand_reset.605265911 |
| /workspace/coverage/default/36.lc_ctrl_volatile_unlock_smoke.2178515021 |
| /workspace/coverage/default/37.lc_ctrl_alert_test.1455282269 |
| /workspace/coverage/default/37.lc_ctrl_errors.235086792 |
| /workspace/coverage/default/37.lc_ctrl_jtag_access.1543025236 |
| /workspace/coverage/default/37.lc_ctrl_prog_failure.2263020412 |
| /workspace/coverage/default/37.lc_ctrl_sec_mubi.3274640273 |
| /workspace/coverage/default/37.lc_ctrl_sec_token_digest.2390751690 |
| /workspace/coverage/default/37.lc_ctrl_sec_token_mux.2300324625 |
| /workspace/coverage/default/37.lc_ctrl_security_escalation.3492891070 |
| /workspace/coverage/default/37.lc_ctrl_smoke.1113816876 |
| /workspace/coverage/default/37.lc_ctrl_state_failure.2977592523 |
| /workspace/coverage/default/37.lc_ctrl_state_post_trans.1907977036 |
| /workspace/coverage/default/37.lc_ctrl_stress_all.4238517750 |
| /workspace/coverage/default/37.lc_ctrl_volatile_unlock_smoke.263092799 |
| /workspace/coverage/default/38.lc_ctrl_alert_test.2322832019 |
| /workspace/coverage/default/38.lc_ctrl_errors.2019761745 |
| /workspace/coverage/default/38.lc_ctrl_jtag_access.4157344245 |
| /workspace/coverage/default/38.lc_ctrl_prog_failure.1825234296 |
| /workspace/coverage/default/38.lc_ctrl_sec_mubi.1526459540 |
| /workspace/coverage/default/38.lc_ctrl_sec_token_digest.4023863028 |
| /workspace/coverage/default/38.lc_ctrl_sec_token_mux.878318537 |
| /workspace/coverage/default/38.lc_ctrl_security_escalation.2869555960 |
| /workspace/coverage/default/38.lc_ctrl_smoke.2446837737 |
| /workspace/coverage/default/38.lc_ctrl_state_failure.3997471125 |
| /workspace/coverage/default/38.lc_ctrl_state_post_trans.1346715747 |
| /workspace/coverage/default/38.lc_ctrl_stress_all.3451167401 |
| /workspace/coverage/default/38.lc_ctrl_stress_all_with_rand_reset.1153752046 |
| /workspace/coverage/default/38.lc_ctrl_volatile_unlock_smoke.3767635079 |
| /workspace/coverage/default/39.lc_ctrl_alert_test.4174491756 |
| /workspace/coverage/default/39.lc_ctrl_errors.324974067 |
| /workspace/coverage/default/39.lc_ctrl_jtag_access.1443891990 |
| /workspace/coverage/default/39.lc_ctrl_prog_failure.3205118505 |
| /workspace/coverage/default/39.lc_ctrl_sec_mubi.2475889670 |
| /workspace/coverage/default/39.lc_ctrl_sec_token_digest.1488525282 |
| /workspace/coverage/default/39.lc_ctrl_sec_token_mux.3414947430 |
| /workspace/coverage/default/39.lc_ctrl_security_escalation.334551387 |
| /workspace/coverage/default/39.lc_ctrl_smoke.843977391 |
| /workspace/coverage/default/39.lc_ctrl_state_failure.1361725477 |
| /workspace/coverage/default/39.lc_ctrl_state_post_trans.4175983590 |
| /workspace/coverage/default/39.lc_ctrl_stress_all.162358551 |
| /workspace/coverage/default/39.lc_ctrl_stress_all_with_rand_reset.3217105398 |
| /workspace/coverage/default/39.lc_ctrl_volatile_unlock_smoke.1036446895 |
| /workspace/coverage/default/4.lc_ctrl_alert_test.3515214206 |
| /workspace/coverage/default/4.lc_ctrl_claim_transition_if.112569933 |
| /workspace/coverage/default/4.lc_ctrl_errors.4000954587 |
| /workspace/coverage/default/4.lc_ctrl_jtag_access.1977163806 |
| /workspace/coverage/default/4.lc_ctrl_jtag_errors.2509396069 |
| /workspace/coverage/default/4.lc_ctrl_jtag_priority.699400321 |
| /workspace/coverage/default/4.lc_ctrl_jtag_prog_failure.2770850314 |
| /workspace/coverage/default/4.lc_ctrl_jtag_regwen_during_op.4134000526 |
| /workspace/coverage/default/4.lc_ctrl_jtag_smoke.2681194409 |
| /workspace/coverage/default/4.lc_ctrl_jtag_state_failure.1098855751 |
| /workspace/coverage/default/4.lc_ctrl_jtag_state_post_trans.2087234879 |
| /workspace/coverage/default/4.lc_ctrl_prog_failure.148565517 |
| /workspace/coverage/default/4.lc_ctrl_regwen_during_op.3127412104 |
| /workspace/coverage/default/4.lc_ctrl_sec_cm.3528422224 |
| /workspace/coverage/default/4.lc_ctrl_sec_mubi.1622571515 |
| /workspace/coverage/default/4.lc_ctrl_sec_token_digest.3858542137 |
| /workspace/coverage/default/4.lc_ctrl_sec_token_mux.2325755226 |
| /workspace/coverage/default/4.lc_ctrl_security_escalation.2314111182 |
| /workspace/coverage/default/4.lc_ctrl_smoke.905511343 |
| /workspace/coverage/default/4.lc_ctrl_state_failure.2728612876 |
| /workspace/coverage/default/4.lc_ctrl_state_post_trans.2550780883 |
| /workspace/coverage/default/4.lc_ctrl_stress_all.1968148960 |
| /workspace/coverage/default/4.lc_ctrl_stress_all_with_rand_reset.772847103 |
| /workspace/coverage/default/4.lc_ctrl_volatile_unlock_smoke.978977613 |
| /workspace/coverage/default/40.lc_ctrl_alert_test.297820416 |
| /workspace/coverage/default/40.lc_ctrl_errors.3333889605 |
| /workspace/coverage/default/40.lc_ctrl_jtag_access.222267318 |
| /workspace/coverage/default/40.lc_ctrl_prog_failure.2929371710 |
| /workspace/coverage/default/40.lc_ctrl_sec_mubi.652178969 |
| /workspace/coverage/default/40.lc_ctrl_sec_token_digest.2514389025 |
| /workspace/coverage/default/40.lc_ctrl_sec_token_mux.535311554 |
| /workspace/coverage/default/40.lc_ctrl_security_escalation.3849360473 |
| /workspace/coverage/default/40.lc_ctrl_smoke.4013277816 |
| /workspace/coverage/default/40.lc_ctrl_state_failure.1713969917 |
| /workspace/coverage/default/40.lc_ctrl_state_post_trans.1348652289 |
| /workspace/coverage/default/40.lc_ctrl_stress_all.39317116 |
| /workspace/coverage/default/40.lc_ctrl_volatile_unlock_smoke.3897186440 |
| /workspace/coverage/default/41.lc_ctrl_alert_test.1685153731 |
| /workspace/coverage/default/41.lc_ctrl_errors.2374720684 |
| /workspace/coverage/default/41.lc_ctrl_jtag_access.2879662536 |
| /workspace/coverage/default/41.lc_ctrl_prog_failure.819483467 |
| /workspace/coverage/default/41.lc_ctrl_sec_mubi.109152167 |
| /workspace/coverage/default/41.lc_ctrl_sec_token_digest.3387000145 |
| /workspace/coverage/default/41.lc_ctrl_sec_token_mux.3956990315 |
| /workspace/coverage/default/41.lc_ctrl_security_escalation.1521030319 |
| /workspace/coverage/default/41.lc_ctrl_smoke.3822193802 |
| /workspace/coverage/default/41.lc_ctrl_state_failure.2985168365 |
| /workspace/coverage/default/41.lc_ctrl_state_post_trans.2365322808 |
| /workspace/coverage/default/41.lc_ctrl_stress_all.1406115380 |
| /workspace/coverage/default/41.lc_ctrl_volatile_unlock_smoke.4181266859 |
| /workspace/coverage/default/42.lc_ctrl_alert_test.1922816299 |
| /workspace/coverage/default/42.lc_ctrl_errors.2131571377 |
| /workspace/coverage/default/42.lc_ctrl_jtag_access.782439355 |
| /workspace/coverage/default/42.lc_ctrl_prog_failure.2433196082 |
| /workspace/coverage/default/42.lc_ctrl_sec_mubi.3468019169 |
| /workspace/coverage/default/42.lc_ctrl_sec_token_digest.25775908 |
| /workspace/coverage/default/42.lc_ctrl_sec_token_mux.2949541926 |
| /workspace/coverage/default/42.lc_ctrl_security_escalation.2058007460 |
| /workspace/coverage/default/42.lc_ctrl_smoke.2093737746 |
| /workspace/coverage/default/42.lc_ctrl_state_failure.2351609645 |
| /workspace/coverage/default/42.lc_ctrl_state_post_trans.4159678966 |
| /workspace/coverage/default/42.lc_ctrl_stress_all.107766017 |
| /workspace/coverage/default/42.lc_ctrl_stress_all_with_rand_reset.2207820094 |
| /workspace/coverage/default/42.lc_ctrl_volatile_unlock_smoke.3296610017 |
| /workspace/coverage/default/43.lc_ctrl_alert_test.2699253791 |
| /workspace/coverage/default/43.lc_ctrl_errors.3057242826 |
| /workspace/coverage/default/43.lc_ctrl_jtag_access.1878998652 |
| /workspace/coverage/default/43.lc_ctrl_prog_failure.2556846521 |
| /workspace/coverage/default/43.lc_ctrl_sec_mubi.3859871649 |
| /workspace/coverage/default/43.lc_ctrl_sec_token_digest.3712744948 |
| /workspace/coverage/default/43.lc_ctrl_sec_token_mux.3770575691 |
| /workspace/coverage/default/43.lc_ctrl_security_escalation.3428590177 |
| /workspace/coverage/default/43.lc_ctrl_smoke.857292014 |
| /workspace/coverage/default/43.lc_ctrl_state_failure.3823444093 |
| /workspace/coverage/default/43.lc_ctrl_state_post_trans.2076277923 |
| /workspace/coverage/default/43.lc_ctrl_stress_all.4180178150 |
| /workspace/coverage/default/43.lc_ctrl_volatile_unlock_smoke.1969986890 |
| /workspace/coverage/default/44.lc_ctrl_alert_test.779477385 |
| /workspace/coverage/default/44.lc_ctrl_errors.3693796166 |
| /workspace/coverage/default/44.lc_ctrl_jtag_access.2042477879 |
| /workspace/coverage/default/44.lc_ctrl_prog_failure.2411647581 |
| /workspace/coverage/default/44.lc_ctrl_sec_mubi.2852697164 |
| /workspace/coverage/default/44.lc_ctrl_sec_token_digest.2991524615 |
| /workspace/coverage/default/44.lc_ctrl_sec_token_mux.53252502 |
| /workspace/coverage/default/44.lc_ctrl_security_escalation.3521794986 |
| /workspace/coverage/default/44.lc_ctrl_smoke.2748429614 |
| /workspace/coverage/default/44.lc_ctrl_state_failure.254646606 |
| /workspace/coverage/default/44.lc_ctrl_state_post_trans.1013291526 |
| /workspace/coverage/default/44.lc_ctrl_stress_all.718163968 |
| /workspace/coverage/default/44.lc_ctrl_stress_all_with_rand_reset.1243355348 |
| /workspace/coverage/default/44.lc_ctrl_volatile_unlock_smoke.1310319165 |
| /workspace/coverage/default/45.lc_ctrl_alert_test.3324639154 |
| /workspace/coverage/default/45.lc_ctrl_errors.4190809904 |
| /workspace/coverage/default/45.lc_ctrl_jtag_access.1795398505 |
| /workspace/coverage/default/45.lc_ctrl_prog_failure.1461800822 |
| /workspace/coverage/default/45.lc_ctrl_sec_mubi.920427971 |
| /workspace/coverage/default/45.lc_ctrl_sec_token_digest.809388678 |
| /workspace/coverage/default/45.lc_ctrl_sec_token_mux.817520556 |
| /workspace/coverage/default/45.lc_ctrl_security_escalation.996717326 |
| /workspace/coverage/default/45.lc_ctrl_smoke.2507613300 |
| /workspace/coverage/default/45.lc_ctrl_state_failure.1710818135 |
| /workspace/coverage/default/45.lc_ctrl_state_post_trans.155771423 |
| /workspace/coverage/default/45.lc_ctrl_stress_all.1641008345 |
| /workspace/coverage/default/45.lc_ctrl_stress_all_with_rand_reset.3411428954 |
| /workspace/coverage/default/45.lc_ctrl_volatile_unlock_smoke.3858202376 |
| /workspace/coverage/default/46.lc_ctrl_alert_test.2544074636 |
| /workspace/coverage/default/46.lc_ctrl_errors.3895257090 |
| /workspace/coverage/default/46.lc_ctrl_jtag_access.365796640 |
| /workspace/coverage/default/46.lc_ctrl_prog_failure.1296988095 |
| /workspace/coverage/default/46.lc_ctrl_sec_mubi.1142203417 |
| /workspace/coverage/default/46.lc_ctrl_sec_token_digest.1332663097 |
| /workspace/coverage/default/46.lc_ctrl_sec_token_mux.2521709600 |
| /workspace/coverage/default/46.lc_ctrl_security_escalation.428076768 |
| /workspace/coverage/default/46.lc_ctrl_smoke.148077466 |
| /workspace/coverage/default/46.lc_ctrl_state_failure.798677263 |
| /workspace/coverage/default/46.lc_ctrl_state_post_trans.1041948416 |
| /workspace/coverage/default/46.lc_ctrl_stress_all.3279323881 |
| /workspace/coverage/default/46.lc_ctrl_volatile_unlock_smoke.202166907 |
| /workspace/coverage/default/47.lc_ctrl_alert_test.3344713437 |
| /workspace/coverage/default/47.lc_ctrl_errors.119187402 |
| /workspace/coverage/default/47.lc_ctrl_jtag_access.1799310209 |
| /workspace/coverage/default/47.lc_ctrl_prog_failure.58013258 |
| /workspace/coverage/default/47.lc_ctrl_sec_mubi.2873695677 |
| /workspace/coverage/default/47.lc_ctrl_sec_token_digest.2048671071 |
| /workspace/coverage/default/47.lc_ctrl_sec_token_mux.3849066640 |
| /workspace/coverage/default/47.lc_ctrl_security_escalation.344006758 |
| /workspace/coverage/default/47.lc_ctrl_smoke.2658536365 |
| /workspace/coverage/default/47.lc_ctrl_state_failure.226340851 |
| /workspace/coverage/default/47.lc_ctrl_state_post_trans.2914743625 |
| /workspace/coverage/default/47.lc_ctrl_stress_all.2869633120 |
| /workspace/coverage/default/47.lc_ctrl_stress_all_with_rand_reset.2602310122 |
| /workspace/coverage/default/47.lc_ctrl_volatile_unlock_smoke.3205450277 |
| /workspace/coverage/default/48.lc_ctrl_alert_test.1140785046 |
| /workspace/coverage/default/48.lc_ctrl_errors.3212930939 |
| /workspace/coverage/default/48.lc_ctrl_jtag_access.3658744970 |
| /workspace/coverage/default/48.lc_ctrl_prog_failure.2804428805 |
| /workspace/coverage/default/48.lc_ctrl_sec_mubi.1042967850 |
| /workspace/coverage/default/48.lc_ctrl_sec_token_digest.2156930817 |
| /workspace/coverage/default/48.lc_ctrl_sec_token_mux.3556436159 |
| /workspace/coverage/default/48.lc_ctrl_security_escalation.1999727108 |
| /workspace/coverage/default/48.lc_ctrl_smoke.3337288195 |
| /workspace/coverage/default/48.lc_ctrl_state_failure.1601430572 |
| /workspace/coverage/default/48.lc_ctrl_state_post_trans.503947381 |
| /workspace/coverage/default/48.lc_ctrl_stress_all.2610515439 |
| /workspace/coverage/default/48.lc_ctrl_volatile_unlock_smoke.124698282 |
| /workspace/coverage/default/49.lc_ctrl_alert_test.2011753402 |
| /workspace/coverage/default/49.lc_ctrl_errors.4117087486 |
| /workspace/coverage/default/49.lc_ctrl_jtag_access.3993304335 |
| /workspace/coverage/default/49.lc_ctrl_prog_failure.3011965735 |
| /workspace/coverage/default/49.lc_ctrl_sec_mubi.1901927061 |
| /workspace/coverage/default/49.lc_ctrl_sec_token_digest.828328910 |
| /workspace/coverage/default/49.lc_ctrl_sec_token_mux.1070332355 |
| /workspace/coverage/default/49.lc_ctrl_security_escalation.769009506 |
| /workspace/coverage/default/49.lc_ctrl_smoke.3449775483 |
| /workspace/coverage/default/49.lc_ctrl_state_failure.1532357240 |
| /workspace/coverage/default/49.lc_ctrl_state_post_trans.845393021 |
| /workspace/coverage/default/49.lc_ctrl_stress_all.3657345420 |
| /workspace/coverage/default/49.lc_ctrl_stress_all_with_rand_reset.346432120 |
| /workspace/coverage/default/49.lc_ctrl_volatile_unlock_smoke.2285572337 |
| /workspace/coverage/default/5.lc_ctrl_alert_test.2140777881 |
| /workspace/coverage/default/5.lc_ctrl_errors.2312090209 |
| /workspace/coverage/default/5.lc_ctrl_jtag_access.2342297433 |
| /workspace/coverage/default/5.lc_ctrl_jtag_errors.2052390042 |
| /workspace/coverage/default/5.lc_ctrl_jtag_priority.3890710710 |
| /workspace/coverage/default/5.lc_ctrl_jtag_prog_failure.3543495483 |
| /workspace/coverage/default/5.lc_ctrl_jtag_regwen_during_op.1567878010 |
| /workspace/coverage/default/5.lc_ctrl_jtag_smoke.1922869075 |
| /workspace/coverage/default/5.lc_ctrl_jtag_state_failure.833315883 |
| /workspace/coverage/default/5.lc_ctrl_jtag_state_post_trans.1447967517 |
| /workspace/coverage/default/5.lc_ctrl_prog_failure.3442143392 |
| /workspace/coverage/default/5.lc_ctrl_regwen_during_op.25664815 |
| /workspace/coverage/default/5.lc_ctrl_sec_mubi.2597974608 |
| /workspace/coverage/default/5.lc_ctrl_sec_token_digest.9079122 |
| /workspace/coverage/default/5.lc_ctrl_sec_token_mux.1077992541 |
| /workspace/coverage/default/5.lc_ctrl_security_escalation.1239797917 |
| /workspace/coverage/default/5.lc_ctrl_smoke.2525503157 |
| /workspace/coverage/default/5.lc_ctrl_state_failure.627339822 |
| /workspace/coverage/default/5.lc_ctrl_state_post_trans.1736371951 |
| /workspace/coverage/default/5.lc_ctrl_stress_all.1192343363 |
| /workspace/coverage/default/5.lc_ctrl_volatile_unlock_smoke.2652118480 |
| /workspace/coverage/default/6.lc_ctrl_alert_test.1449572835 |
| /workspace/coverage/default/6.lc_ctrl_errors.852128114 |
| /workspace/coverage/default/6.lc_ctrl_jtag_access.1703506161 |
| /workspace/coverage/default/6.lc_ctrl_jtag_errors.2862204436 |
| /workspace/coverage/default/6.lc_ctrl_jtag_priority.4092436301 |
| /workspace/coverage/default/6.lc_ctrl_jtag_prog_failure.2794744156 |
| /workspace/coverage/default/6.lc_ctrl_jtag_regwen_during_op.2821337537 |
| /workspace/coverage/default/6.lc_ctrl_jtag_smoke.13463445 |
| /workspace/coverage/default/6.lc_ctrl_jtag_state_failure.1835506663 |
| /workspace/coverage/default/6.lc_ctrl_jtag_state_post_trans.3123913020 |
| /workspace/coverage/default/6.lc_ctrl_prog_failure.4124444479 |
| /workspace/coverage/default/6.lc_ctrl_regwen_during_op.1914846854 |
| /workspace/coverage/default/6.lc_ctrl_sec_mubi.245158545 |
| /workspace/coverage/default/6.lc_ctrl_sec_token_digest.518731716 |
| /workspace/coverage/default/6.lc_ctrl_sec_token_mux.1145867984 |
| /workspace/coverage/default/6.lc_ctrl_security_escalation.4012155509 |
| /workspace/coverage/default/6.lc_ctrl_smoke.3349755695 |
| /workspace/coverage/default/6.lc_ctrl_state_failure.2870555313 |
| /workspace/coverage/default/6.lc_ctrl_state_post_trans.2451260767 |
| /workspace/coverage/default/6.lc_ctrl_stress_all.3873518398 |
| /workspace/coverage/default/6.lc_ctrl_volatile_unlock_smoke.4119854727 |
| /workspace/coverage/default/7.lc_ctrl_alert_test.1003538266 |
| /workspace/coverage/default/7.lc_ctrl_claim_transition_if.240201937 |
| /workspace/coverage/default/7.lc_ctrl_errors.3367799336 |
| /workspace/coverage/default/7.lc_ctrl_jtag_access.1063802711 |
| /workspace/coverage/default/7.lc_ctrl_jtag_errors.929890502 |
| /workspace/coverage/default/7.lc_ctrl_jtag_priority.2674189276 |
| /workspace/coverage/default/7.lc_ctrl_jtag_prog_failure.1944170863 |
| /workspace/coverage/default/7.lc_ctrl_jtag_regwen_during_op.1243850507 |
| /workspace/coverage/default/7.lc_ctrl_jtag_smoke.687935208 |
| /workspace/coverage/default/7.lc_ctrl_jtag_state_failure.2199033212 |
| /workspace/coverage/default/7.lc_ctrl_jtag_state_post_trans.2258902624 |
| /workspace/coverage/default/7.lc_ctrl_prog_failure.1352229691 |
| /workspace/coverage/default/7.lc_ctrl_regwen_during_op.541266997 |
| /workspace/coverage/default/7.lc_ctrl_sec_mubi.1068979001 |
| /workspace/coverage/default/7.lc_ctrl_sec_token_digest.1773336990 |
| /workspace/coverage/default/7.lc_ctrl_sec_token_mux.3567032076 |
| /workspace/coverage/default/7.lc_ctrl_security_escalation.3830416404 |
| /workspace/coverage/default/7.lc_ctrl_smoke.447799444 |
| /workspace/coverage/default/7.lc_ctrl_state_failure.2950776213 |
| /workspace/coverage/default/7.lc_ctrl_state_post_trans.1057795970 |
| /workspace/coverage/default/7.lc_ctrl_stress_all.2545411393 |
| /workspace/coverage/default/7.lc_ctrl_volatile_unlock_smoke.2694386945 |
| /workspace/coverage/default/8.lc_ctrl_alert_test.4064538832 |
| /workspace/coverage/default/8.lc_ctrl_claim_transition_if.753312004 |
| /workspace/coverage/default/8.lc_ctrl_errors.1393896215 |
| /workspace/coverage/default/8.lc_ctrl_jtag_access.3739209099 |
| /workspace/coverage/default/8.lc_ctrl_jtag_errors.1936742306 |
| /workspace/coverage/default/8.lc_ctrl_jtag_priority.1135679195 |
| /workspace/coverage/default/8.lc_ctrl_jtag_prog_failure.2241889932 |
| /workspace/coverage/default/8.lc_ctrl_jtag_regwen_during_op.2067139722 |
| /workspace/coverage/default/8.lc_ctrl_jtag_smoke.3981699788 |
| /workspace/coverage/default/8.lc_ctrl_jtag_state_failure.777094917 |
| /workspace/coverage/default/8.lc_ctrl_jtag_state_post_trans.1936470605 |
| /workspace/coverage/default/8.lc_ctrl_prog_failure.3695653071 |
| /workspace/coverage/default/8.lc_ctrl_regwen_during_op.2956115579 |
| /workspace/coverage/default/8.lc_ctrl_sec_mubi.2360252638 |
| /workspace/coverage/default/8.lc_ctrl_sec_token_digest.2564419846 |
| /workspace/coverage/default/8.lc_ctrl_sec_token_mux.1119233465 |
| /workspace/coverage/default/8.lc_ctrl_security_escalation.4094193795 |
| /workspace/coverage/default/8.lc_ctrl_smoke.908131845 |
| /workspace/coverage/default/8.lc_ctrl_state_failure.1690023489 |
| /workspace/coverage/default/8.lc_ctrl_state_post_trans.1457186540 |
| /workspace/coverage/default/8.lc_ctrl_stress_all.48123326 |
| /workspace/coverage/default/8.lc_ctrl_stress_all_with_rand_reset.4078663075 |
| /workspace/coverage/default/8.lc_ctrl_volatile_unlock_smoke.1012195585 |
| /workspace/coverage/default/9.lc_ctrl_alert_test.1880626410 |
| /workspace/coverage/default/9.lc_ctrl_claim_transition_if.4224355297 |
| /workspace/coverage/default/9.lc_ctrl_errors.3200688215 |
| /workspace/coverage/default/9.lc_ctrl_jtag_access.69829004 |
| /workspace/coverage/default/9.lc_ctrl_jtag_errors.2314029229 |
| /workspace/coverage/default/9.lc_ctrl_jtag_priority.770013890 |
| /workspace/coverage/default/9.lc_ctrl_jtag_prog_failure.595690849 |
| /workspace/coverage/default/9.lc_ctrl_jtag_regwen_during_op.33414684 |
| /workspace/coverage/default/9.lc_ctrl_jtag_smoke.3366947192 |
| /workspace/coverage/default/9.lc_ctrl_jtag_state_failure.1590825658 |
| /workspace/coverage/default/9.lc_ctrl_jtag_state_post_trans.3661410503 |
| /workspace/coverage/default/9.lc_ctrl_prog_failure.3005147771 |
| /workspace/coverage/default/9.lc_ctrl_regwen_during_op.1536768181 |
| /workspace/coverage/default/9.lc_ctrl_sec_mubi.4270757970 |
| /workspace/coverage/default/9.lc_ctrl_sec_token_digest.3575830169 |
| /workspace/coverage/default/9.lc_ctrl_sec_token_mux.3786591035 |
| /workspace/coverage/default/9.lc_ctrl_security_escalation.3579719327 |
| /workspace/coverage/default/9.lc_ctrl_smoke.2221790243 |
| /workspace/coverage/default/9.lc_ctrl_state_failure.711440583 |
| /workspace/coverage/default/9.lc_ctrl_state_post_trans.145983699 |
| /workspace/coverage/default/9.lc_ctrl_stress_all.2400359987 |
| /workspace/coverage/default/9.lc_ctrl_stress_all_with_rand_reset.4250563 |
| /workspace/coverage/default/9.lc_ctrl_volatile_unlock_smoke.556714324 |