|
| /workspace/coverage/cover_reg_top/0.lc_ctrl_csr_bit_bash.3982009413 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_csr_hw_reset.415780298 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_csr_mem_rw_with_rand_reset.2779887636 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_csr_rw.2210170973 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_jtag_alert_test.1928972191 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_jtag_csr_aliasing.4131734802 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_jtag_csr_bit_bash.263300715 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_jtag_csr_hw_reset.317729752 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_jtag_csr_mem_rw_with_rand_reset.1940762806 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_same_csr_outstanding.3216363862 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_tl_intg_err.3886572111 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_csr_aliasing.486418900 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_csr_bit_bash.3850254505 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_csr_hw_reset.3735351261 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_csr_mem_rw_with_rand_reset.3424072107 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_csr_rw.1456954985 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_jtag_alert_test.1423626431 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_jtag_csr_aliasing.1761091666 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_jtag_csr_bit_bash.1778789217 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_jtag_csr_hw_reset.3995452621 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_jtag_csr_mem_rw_with_rand_reset.4019027937 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_jtag_csr_rw.3189479444 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_jtag_same_csr_outstanding.2124093693 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_same_csr_outstanding.3661226518 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_tl_errors.420476860 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_tl_intg_err.3747878140 |
| /workspace/coverage/cover_reg_top/10.lc_ctrl_csr_mem_rw_with_rand_reset.2319642455 |
| /workspace/coverage/cover_reg_top/10.lc_ctrl_csr_rw.1538912545 |
| /workspace/coverage/cover_reg_top/10.lc_ctrl_same_csr_outstanding.2588246092 |
| /workspace/coverage/cover_reg_top/10.lc_ctrl_tl_errors.489052772 |
| /workspace/coverage/cover_reg_top/10.lc_ctrl_tl_intg_err.2999724663 |
| /workspace/coverage/cover_reg_top/11.lc_ctrl_csr_mem_rw_with_rand_reset.954086460 |
| /workspace/coverage/cover_reg_top/11.lc_ctrl_csr_rw.864273644 |
| /workspace/coverage/cover_reg_top/11.lc_ctrl_same_csr_outstanding.3294343225 |
| /workspace/coverage/cover_reg_top/11.lc_ctrl_tl_errors.2604419931 |
| /workspace/coverage/cover_reg_top/11.lc_ctrl_tl_intg_err.3651220203 |
| /workspace/coverage/cover_reg_top/12.lc_ctrl_csr_mem_rw_with_rand_reset.1953105941 |
| /workspace/coverage/cover_reg_top/12.lc_ctrl_csr_rw.338949579 |
| /workspace/coverage/cover_reg_top/12.lc_ctrl_same_csr_outstanding.830226965 |
| /workspace/coverage/cover_reg_top/12.lc_ctrl_tl_errors.2264751475 |
| /workspace/coverage/cover_reg_top/13.lc_ctrl_csr_mem_rw_with_rand_reset.480396523 |
| /workspace/coverage/cover_reg_top/13.lc_ctrl_csr_rw.1165922712 |
| /workspace/coverage/cover_reg_top/13.lc_ctrl_same_csr_outstanding.2126409476 |
| /workspace/coverage/cover_reg_top/13.lc_ctrl_tl_errors.2712673070 |
| /workspace/coverage/cover_reg_top/13.lc_ctrl_tl_intg_err.2113166552 |
| /workspace/coverage/cover_reg_top/14.lc_ctrl_csr_mem_rw_with_rand_reset.1494649603 |
| /workspace/coverage/cover_reg_top/14.lc_ctrl_csr_rw.3979218932 |
| /workspace/coverage/cover_reg_top/14.lc_ctrl_same_csr_outstanding.1999046897 |
| /workspace/coverage/cover_reg_top/14.lc_ctrl_tl_errors.754671809 |
| /workspace/coverage/cover_reg_top/15.lc_ctrl_csr_mem_rw_with_rand_reset.1265805223 |
| /workspace/coverage/cover_reg_top/15.lc_ctrl_csr_rw.3451631269 |
| /workspace/coverage/cover_reg_top/15.lc_ctrl_same_csr_outstanding.273924569 |
| /workspace/coverage/cover_reg_top/15.lc_ctrl_tl_errors.502552428 |
| /workspace/coverage/cover_reg_top/16.lc_ctrl_csr_mem_rw_with_rand_reset.480158810 |
| /workspace/coverage/cover_reg_top/16.lc_ctrl_csr_rw.2989565819 |
| /workspace/coverage/cover_reg_top/16.lc_ctrl_same_csr_outstanding.1341837365 |
| /workspace/coverage/cover_reg_top/16.lc_ctrl_tl_errors.1433799577 |
| /workspace/coverage/cover_reg_top/17.lc_ctrl_csr_mem_rw_with_rand_reset.1683901366 |
| /workspace/coverage/cover_reg_top/17.lc_ctrl_csr_rw.3595378045 |
| /workspace/coverage/cover_reg_top/17.lc_ctrl_same_csr_outstanding.2062471301 |
| /workspace/coverage/cover_reg_top/17.lc_ctrl_tl_errors.612387056 |
| /workspace/coverage/cover_reg_top/18.lc_ctrl_csr_mem_rw_with_rand_reset.485462663 |
| /workspace/coverage/cover_reg_top/18.lc_ctrl_csr_rw.268396613 |
| /workspace/coverage/cover_reg_top/18.lc_ctrl_same_csr_outstanding.2141903586 |
| /workspace/coverage/cover_reg_top/18.lc_ctrl_tl_errors.159443950 |
| /workspace/coverage/cover_reg_top/19.lc_ctrl_csr_mem_rw_with_rand_reset.218396811 |
| /workspace/coverage/cover_reg_top/19.lc_ctrl_csr_rw.2813878126 |
| /workspace/coverage/cover_reg_top/19.lc_ctrl_same_csr_outstanding.410804976 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_csr_aliasing.4289740773 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_csr_bit_bash.1208717513 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_csr_hw_reset.2241467711 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_csr_mem_rw_with_rand_reset.3595983004 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_csr_rw.4166727533 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_jtag_alert_test.1054335228 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_jtag_csr_aliasing.951316622 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_jtag_csr_bit_bash.2357531993 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_jtag_csr_hw_reset.2825931408 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_jtag_csr_mem_rw_with_rand_reset.2800221889 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_jtag_csr_rw.3031585248 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_jtag_same_csr_outstanding.1431008965 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_same_csr_outstanding.4192784811 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_tl_errors.930275397 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_csr_aliasing.731926987 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_csr_bit_bash.2183038314 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_csr_hw_reset.3130988205 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_csr_mem_rw_with_rand_reset.4029562381 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_csr_rw.2749479305 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_jtag_alert_test.601277201 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_jtag_csr_aliasing.1729001179 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_jtag_csr_bit_bash.1661384709 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_jtag_csr_hw_reset.1768459706 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_jtag_csr_mem_rw_with_rand_reset.912111916 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_jtag_csr_rw.4146501590 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_jtag_same_csr_outstanding.2645006300 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_same_csr_outstanding.620676695 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_tl_errors.1897081853 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_csr_aliasing.1803976563 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_csr_bit_bash.2091965050 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_csr_hw_reset.823492308 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_csr_mem_rw_with_rand_reset.509149334 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_csr_rw.1371368812 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_jtag_alert_test.1649679692 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_jtag_csr_aliasing.4104490413 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_jtag_csr_bit_bash.939534333 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_jtag_csr_hw_reset.4063486366 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_jtag_csr_mem_rw_with_rand_reset.768658040 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_jtag_csr_rw.319034116 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_jtag_same_csr_outstanding.1317071132 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_same_csr_outstanding.1412892995 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_tl_errors.214632005 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_tl_intg_err.1806592638 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_csr_mem_rw_with_rand_reset.3516087795 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_csr_rw.2028323202 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_jtag_alert_test.3737806794 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_jtag_csr_aliasing.3929249207 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_jtag_csr_bit_bash.857377511 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_jtag_csr_hw_reset.1862422533 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_jtag_csr_mem_rw_with_rand_reset.3106049694 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_jtag_csr_rw.4290406519 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_jtag_same_csr_outstanding.3027148298 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_same_csr_outstanding.364784318 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_tl_errors.613334798 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_tl_intg_err.3968896771 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_csr_mem_rw_with_rand_reset.2191059895 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_csr_rw.4144680635 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_jtag_alert_test.2743956550 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_jtag_csr_aliasing.1633539939 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_jtag_csr_bit_bash.4264167165 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_jtag_csr_hw_reset.405902405 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_jtag_csr_mem_rw_with_rand_reset.3342123502 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_jtag_csr_rw.1125543395 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_jtag_same_csr_outstanding.2404367794 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_same_csr_outstanding.510385551 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_tl_errors.3560072835 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_csr_mem_rw_with_rand_reset.1489348196 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_csr_rw.2712385417 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_jtag_alert_test.4004896673 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_jtag_csr_aliasing.2949580098 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_jtag_csr_bit_bash.656007621 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_jtag_csr_hw_reset.745562950 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_jtag_csr_mem_rw_with_rand_reset.1926818326 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_jtag_csr_rw.2902839816 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_jtag_same_csr_outstanding.2962818864 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_same_csr_outstanding.41563976 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_tl_errors.1151570231 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_tl_intg_err.3117910285 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_csr_mem_rw_with_rand_reset.1122609214 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_csr_rw.2202625460 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_jtag_alert_test.3835619213 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_jtag_csr_aliasing.2907622022 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_jtag_csr_bit_bash.3986442454 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_jtag_csr_hw_reset.1258642940 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_jtag_csr_mem_rw_with_rand_reset.4214150537 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_jtag_csr_rw.3682615005 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_jtag_same_csr_outstanding.800113369 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_same_csr_outstanding.3421978665 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_tl_errors.3200550896 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_tl_intg_err.3948088530 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_csr_mem_rw_with_rand_reset.1315583394 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_csr_rw.3020663615 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_jtag_alert_test.2294409801 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_jtag_csr_aliasing.3949797486 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_jtag_csr_bit_bash.4268418580 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_jtag_csr_hw_reset.1846970514 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_jtag_csr_mem_rw_with_rand_reset.942495738 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_jtag_csr_rw.1489866686 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_jtag_same_csr_outstanding.3139638137 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_same_csr_outstanding.2643571276 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_tl_errors.1923443883 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_tl_intg_err.3906101669 |
| /workspace/coverage/default/0.lc_ctrl_alert_test.3887406110 |
| /workspace/coverage/default/0.lc_ctrl_claim_transition_if.541898351 |
| /workspace/coverage/default/0.lc_ctrl_errors.160771092 |
| /workspace/coverage/default/0.lc_ctrl_jtag_access.605006560 |
| /workspace/coverage/default/0.lc_ctrl_jtag_errors.5497767 |
| /workspace/coverage/default/0.lc_ctrl_jtag_priority.3733392686 |
| /workspace/coverage/default/0.lc_ctrl_jtag_prog_failure.2555769281 |
| /workspace/coverage/default/0.lc_ctrl_jtag_regwen_during_op.65566205 |
| /workspace/coverage/default/0.lc_ctrl_jtag_smoke.764110790 |
| /workspace/coverage/default/0.lc_ctrl_jtag_state_failure.1798492093 |
| /workspace/coverage/default/0.lc_ctrl_jtag_state_post_trans.494262119 |
| /workspace/coverage/default/0.lc_ctrl_prog_failure.608903983 |
| /workspace/coverage/default/0.lc_ctrl_regwen_during_op.3962824390 |
| /workspace/coverage/default/0.lc_ctrl_sec_cm.2741489339 |
| /workspace/coverage/default/0.lc_ctrl_sec_mubi.301939563 |
| /workspace/coverage/default/0.lc_ctrl_sec_token_digest.2584916689 |
| /workspace/coverage/default/0.lc_ctrl_sec_token_mux.3400820860 |
| /workspace/coverage/default/0.lc_ctrl_security_escalation.786388169 |
| /workspace/coverage/default/0.lc_ctrl_smoke.1527298812 |
| /workspace/coverage/default/0.lc_ctrl_state_failure.144595065 |
| /workspace/coverage/default/0.lc_ctrl_state_post_trans.2087907606 |
| /workspace/coverage/default/0.lc_ctrl_stress_all.1810420877 |
| /workspace/coverage/default/0.lc_ctrl_stress_all_with_rand_reset.698013464 |
| /workspace/coverage/default/1.lc_ctrl_alert_test.2376410477 |
| /workspace/coverage/default/1.lc_ctrl_errors.2323213415 |
| /workspace/coverage/default/1.lc_ctrl_jtag_access.2392764244 |
| /workspace/coverage/default/1.lc_ctrl_jtag_errors.2236362033 |
| /workspace/coverage/default/1.lc_ctrl_jtag_priority.1599428565 |
| /workspace/coverage/default/1.lc_ctrl_jtag_prog_failure.2565534223 |
| /workspace/coverage/default/1.lc_ctrl_jtag_regwen_during_op.3137637950 |
| /workspace/coverage/default/1.lc_ctrl_jtag_smoke.3760010012 |
| /workspace/coverage/default/1.lc_ctrl_jtag_state_failure.168233079 |
| /workspace/coverage/default/1.lc_ctrl_jtag_state_post_trans.4147346347 |
| /workspace/coverage/default/1.lc_ctrl_prog_failure.4059986310 |
| /workspace/coverage/default/1.lc_ctrl_regwen_during_op.2775909150 |
| /workspace/coverage/default/1.lc_ctrl_sec_cm.2968800642 |
| /workspace/coverage/default/1.lc_ctrl_sec_mubi.2625765826 |
| /workspace/coverage/default/1.lc_ctrl_sec_token_digest.2479138527 |
| /workspace/coverage/default/1.lc_ctrl_sec_token_mux.1714141279 |
| /workspace/coverage/default/1.lc_ctrl_security_escalation.4134304234 |
| /workspace/coverage/default/1.lc_ctrl_smoke.783395867 |
| /workspace/coverage/default/1.lc_ctrl_state_failure.3705348301 |
| /workspace/coverage/default/1.lc_ctrl_state_post_trans.199164233 |
| /workspace/coverage/default/1.lc_ctrl_stress_all.2677144484 |
| /workspace/coverage/default/1.lc_ctrl_stress_all_with_rand_reset.4103406933 |
| /workspace/coverage/default/1.lc_ctrl_volatile_unlock_smoke.3883410894 |
| /workspace/coverage/default/10.lc_ctrl_alert_test.674957570 |
| /workspace/coverage/default/10.lc_ctrl_errors.617998181 |
| /workspace/coverage/default/10.lc_ctrl_jtag_access.1742593641 |
| /workspace/coverage/default/10.lc_ctrl_jtag_errors.2169011666 |
| /workspace/coverage/default/10.lc_ctrl_jtag_prog_failure.2354677584 |
| /workspace/coverage/default/10.lc_ctrl_jtag_smoke.1159175095 |
| /workspace/coverage/default/10.lc_ctrl_jtag_state_failure.3381061339 |
| /workspace/coverage/default/10.lc_ctrl_jtag_state_post_trans.948051755 |
| /workspace/coverage/default/10.lc_ctrl_prog_failure.2656790665 |
| /workspace/coverage/default/10.lc_ctrl_sec_mubi.4009222887 |
| /workspace/coverage/default/10.lc_ctrl_sec_token_digest.3325422150 |
| /workspace/coverage/default/10.lc_ctrl_sec_token_mux.1587641418 |
| /workspace/coverage/default/10.lc_ctrl_security_escalation.2958148680 |
| /workspace/coverage/default/10.lc_ctrl_smoke.2731908618 |
| /workspace/coverage/default/10.lc_ctrl_state_failure.3382374306 |
| /workspace/coverage/default/10.lc_ctrl_state_post_trans.3034330085 |
| /workspace/coverage/default/10.lc_ctrl_stress_all_with_rand_reset.2507529027 |
| /workspace/coverage/default/10.lc_ctrl_volatile_unlock_smoke.3867524294 |
| /workspace/coverage/default/11.lc_ctrl_alert_test.3282525069 |
| /workspace/coverage/default/11.lc_ctrl_errors.1011606431 |
| /workspace/coverage/default/11.lc_ctrl_jtag_access.2093184552 |
| /workspace/coverage/default/11.lc_ctrl_jtag_errors.2686452670 |
| /workspace/coverage/default/11.lc_ctrl_jtag_prog_failure.1421694410 |
| /workspace/coverage/default/11.lc_ctrl_jtag_smoke.660074224 |
| /workspace/coverage/default/11.lc_ctrl_jtag_state_failure.2433976491 |
| /workspace/coverage/default/11.lc_ctrl_jtag_state_post_trans.3075530832 |
| /workspace/coverage/default/11.lc_ctrl_prog_failure.2597183870 |
| /workspace/coverage/default/11.lc_ctrl_sec_mubi.2982011319 |
| /workspace/coverage/default/11.lc_ctrl_sec_token_digest.2652295386 |
| /workspace/coverage/default/11.lc_ctrl_sec_token_mux.3710740347 |
| /workspace/coverage/default/11.lc_ctrl_security_escalation.3447023573 |
| /workspace/coverage/default/11.lc_ctrl_smoke.1039049537 |
| /workspace/coverage/default/11.lc_ctrl_state_failure.1753526808 |
| /workspace/coverage/default/11.lc_ctrl_state_post_trans.798845613 |
| /workspace/coverage/default/11.lc_ctrl_stress_all.609717923 |
| /workspace/coverage/default/11.lc_ctrl_volatile_unlock_smoke.572534556 |
| /workspace/coverage/default/12.lc_ctrl_alert_test.3964550529 |
| /workspace/coverage/default/12.lc_ctrl_errors.31566547 |
| /workspace/coverage/default/12.lc_ctrl_jtag_access.1054495351 |
| /workspace/coverage/default/12.lc_ctrl_jtag_errors.4202288693 |
| /workspace/coverage/default/12.lc_ctrl_jtag_prog_failure.834536063 |
| /workspace/coverage/default/12.lc_ctrl_jtag_smoke.2508704766 |
| /workspace/coverage/default/12.lc_ctrl_jtag_state_failure.1248961427 |
| /workspace/coverage/default/12.lc_ctrl_jtag_state_post_trans.2976227875 |
| /workspace/coverage/default/12.lc_ctrl_prog_failure.1244085004 |
| /workspace/coverage/default/12.lc_ctrl_sec_mubi.2951802162 |
| /workspace/coverage/default/12.lc_ctrl_sec_token_digest.2403366318 |
| /workspace/coverage/default/12.lc_ctrl_sec_token_mux.1312761616 |
| /workspace/coverage/default/12.lc_ctrl_security_escalation.3800386690 |
| /workspace/coverage/default/12.lc_ctrl_smoke.3967224969 |
| /workspace/coverage/default/12.lc_ctrl_state_failure.2167079700 |
| /workspace/coverage/default/12.lc_ctrl_state_post_trans.1581707202 |
| /workspace/coverage/default/12.lc_ctrl_volatile_unlock_smoke.1998775165 |
| /workspace/coverage/default/13.lc_ctrl_alert_test.374058289 |
| /workspace/coverage/default/13.lc_ctrl_errors.321734534 |
| /workspace/coverage/default/13.lc_ctrl_jtag_access.2027851352 |
| /workspace/coverage/default/13.lc_ctrl_jtag_errors.498587021 |
| /workspace/coverage/default/13.lc_ctrl_jtag_prog_failure.2345872796 |
| /workspace/coverage/default/13.lc_ctrl_jtag_smoke.3151717315 |
| /workspace/coverage/default/13.lc_ctrl_jtag_state_failure.4074071739 |
| /workspace/coverage/default/13.lc_ctrl_jtag_state_post_trans.2979761311 |
| /workspace/coverage/default/13.lc_ctrl_prog_failure.205966040 |
| /workspace/coverage/default/13.lc_ctrl_sec_mubi.2568657364 |
| /workspace/coverage/default/13.lc_ctrl_sec_token_digest.2143802831 |
| /workspace/coverage/default/13.lc_ctrl_sec_token_mux.2464952033 |
| /workspace/coverage/default/13.lc_ctrl_security_escalation.2452558440 |
| /workspace/coverage/default/13.lc_ctrl_smoke.519721002 |
| /workspace/coverage/default/13.lc_ctrl_state_failure.4021177131 |
| /workspace/coverage/default/13.lc_ctrl_state_post_trans.584798158 |
| /workspace/coverage/default/13.lc_ctrl_stress_all.2803826840 |
| /workspace/coverage/default/13.lc_ctrl_volatile_unlock_smoke.733635067 |
| /workspace/coverage/default/14.lc_ctrl_alert_test.856068746 |
| /workspace/coverage/default/14.lc_ctrl_errors.2904317375 |
| /workspace/coverage/default/14.lc_ctrl_jtag_access.2524097148 |
| /workspace/coverage/default/14.lc_ctrl_jtag_errors.1478557093 |
| /workspace/coverage/default/14.lc_ctrl_jtag_prog_failure.2289238160 |
| /workspace/coverage/default/14.lc_ctrl_jtag_smoke.1787760815 |
| /workspace/coverage/default/14.lc_ctrl_jtag_state_failure.3315180033 |
| /workspace/coverage/default/14.lc_ctrl_jtag_state_post_trans.995732046 |
| /workspace/coverage/default/14.lc_ctrl_prog_failure.2156548747 |
| /workspace/coverage/default/14.lc_ctrl_sec_mubi.759462852 |
| /workspace/coverage/default/14.lc_ctrl_sec_token_digest.1252567561 |
| /workspace/coverage/default/14.lc_ctrl_sec_token_mux.2236447024 |
| /workspace/coverage/default/14.lc_ctrl_smoke.1149585202 |
| /workspace/coverage/default/14.lc_ctrl_state_failure.2974069311 |
| /workspace/coverage/default/14.lc_ctrl_state_post_trans.655705817 |
| /workspace/coverage/default/14.lc_ctrl_stress_all.3147854207 |
| /workspace/coverage/default/14.lc_ctrl_stress_all_with_rand_reset.2741484267 |
| /workspace/coverage/default/14.lc_ctrl_volatile_unlock_smoke.3646880696 |
| /workspace/coverage/default/15.lc_ctrl_alert_test.3401703253 |
| /workspace/coverage/default/15.lc_ctrl_errors.3736733008 |
| /workspace/coverage/default/15.lc_ctrl_jtag_access.30312529 |
| /workspace/coverage/default/15.lc_ctrl_jtag_prog_failure.255058784 |
| /workspace/coverage/default/15.lc_ctrl_jtag_smoke.3186487699 |
| /workspace/coverage/default/15.lc_ctrl_jtag_state_failure.3070758781 |
| /workspace/coverage/default/15.lc_ctrl_prog_failure.1443554208 |
| /workspace/coverage/default/15.lc_ctrl_sec_mubi.2460696492 |
| /workspace/coverage/default/15.lc_ctrl_sec_token_digest.2418508076 |
| /workspace/coverage/default/15.lc_ctrl_sec_token_mux.3336090465 |
| /workspace/coverage/default/15.lc_ctrl_security_escalation.3580212847 |
| /workspace/coverage/default/15.lc_ctrl_smoke.3892058917 |
| /workspace/coverage/default/15.lc_ctrl_state_failure.3200445637 |
| /workspace/coverage/default/15.lc_ctrl_state_post_trans.1065410452 |
| /workspace/coverage/default/15.lc_ctrl_stress_all.623724023 |
| /workspace/coverage/default/15.lc_ctrl_volatile_unlock_smoke.1547531027 |
| /workspace/coverage/default/16.lc_ctrl_alert_test.3197495812 |
| /workspace/coverage/default/16.lc_ctrl_errors.3337172099 |
| /workspace/coverage/default/16.lc_ctrl_jtag_errors.267955416 |
| /workspace/coverage/default/16.lc_ctrl_jtag_prog_failure.1254135089 |
| /workspace/coverage/default/16.lc_ctrl_jtag_smoke.3914224353 |
| /workspace/coverage/default/16.lc_ctrl_jtag_state_failure.251084644 |
| /workspace/coverage/default/16.lc_ctrl_jtag_state_post_trans.3140098735 |
| /workspace/coverage/default/16.lc_ctrl_prog_failure.2721910962 |
| /workspace/coverage/default/16.lc_ctrl_sec_mubi.2224523512 |
| /workspace/coverage/default/16.lc_ctrl_sec_token_digest.779001961 |
| /workspace/coverage/default/16.lc_ctrl_sec_token_mux.3349215523 |
| /workspace/coverage/default/16.lc_ctrl_security_escalation.2075949808 |
| /workspace/coverage/default/16.lc_ctrl_smoke.2610663000 |
| /workspace/coverage/default/16.lc_ctrl_state_failure.851350018 |
| /workspace/coverage/default/16.lc_ctrl_state_post_trans.989567143 |
| /workspace/coverage/default/16.lc_ctrl_stress_all.2865667916 |
| /workspace/coverage/default/16.lc_ctrl_volatile_unlock_smoke.148183058 |
| /workspace/coverage/default/17.lc_ctrl_alert_test.1658546176 |
| /workspace/coverage/default/17.lc_ctrl_errors.3876780713 |
| /workspace/coverage/default/17.lc_ctrl_jtag_access.2889165203 |
| /workspace/coverage/default/17.lc_ctrl_jtag_errors.1719164751 |
| /workspace/coverage/default/17.lc_ctrl_jtag_prog_failure.1030688464 |
| /workspace/coverage/default/17.lc_ctrl_jtag_smoke.704376264 |
| /workspace/coverage/default/17.lc_ctrl_jtag_state_failure.369650532 |
| /workspace/coverage/default/17.lc_ctrl_jtag_state_post_trans.540669498 |
| /workspace/coverage/default/17.lc_ctrl_prog_failure.610146558 |
| /workspace/coverage/default/17.lc_ctrl_sec_mubi.345982906 |
| /workspace/coverage/default/17.lc_ctrl_sec_token_digest.3869328388 |
| /workspace/coverage/default/17.lc_ctrl_security_escalation.4002621710 |
| /workspace/coverage/default/17.lc_ctrl_smoke.2700378187 |
| /workspace/coverage/default/17.lc_ctrl_state_failure.3165068750 |
| /workspace/coverage/default/17.lc_ctrl_state_post_trans.3175177108 |
| /workspace/coverage/default/17.lc_ctrl_stress_all.3831656264 |
| /workspace/coverage/default/17.lc_ctrl_stress_all_with_rand_reset.4289420351 |
| /workspace/coverage/default/17.lc_ctrl_volatile_unlock_smoke.1903573851 |
| /workspace/coverage/default/18.lc_ctrl_alert_test.2910688048 |
| /workspace/coverage/default/18.lc_ctrl_errors.949362153 |
| /workspace/coverage/default/18.lc_ctrl_jtag_access.2411841195 |
| /workspace/coverage/default/18.lc_ctrl_jtag_errors.2468200602 |
| /workspace/coverage/default/18.lc_ctrl_jtag_prog_failure.3525822076 |
| /workspace/coverage/default/18.lc_ctrl_jtag_smoke.1353065410 |
| /workspace/coverage/default/18.lc_ctrl_jtag_state_failure.1626491489 |
| /workspace/coverage/default/18.lc_ctrl_jtag_state_post_trans.372191493 |
| /workspace/coverage/default/18.lc_ctrl_prog_failure.3174639658 |
| /workspace/coverage/default/18.lc_ctrl_sec_mubi.3473082999 |
| /workspace/coverage/default/18.lc_ctrl_sec_token_digest.2105870274 |
| /workspace/coverage/default/18.lc_ctrl_sec_token_mux.3043557241 |
| /workspace/coverage/default/18.lc_ctrl_security_escalation.4213421831 |
| /workspace/coverage/default/18.lc_ctrl_smoke.4091283386 |
| /workspace/coverage/default/18.lc_ctrl_state_failure.3543145422 |
| /workspace/coverage/default/18.lc_ctrl_state_post_trans.3244104951 |
| /workspace/coverage/default/18.lc_ctrl_stress_all.3440804307 |
| /workspace/coverage/default/18.lc_ctrl_volatile_unlock_smoke.1310247025 |
| /workspace/coverage/default/19.lc_ctrl_alert_test.44719483 |
| /workspace/coverage/default/19.lc_ctrl_errors.580087929 |
| /workspace/coverage/default/19.lc_ctrl_jtag_access.1239097714 |
| /workspace/coverage/default/19.lc_ctrl_jtag_errors.198700546 |
| /workspace/coverage/default/19.lc_ctrl_jtag_prog_failure.3187578222 |
| /workspace/coverage/default/19.lc_ctrl_jtag_smoke.1409751207 |
| /workspace/coverage/default/19.lc_ctrl_jtag_state_post_trans.1704078248 |
| /workspace/coverage/default/19.lc_ctrl_prog_failure.2005593981 |
| /workspace/coverage/default/19.lc_ctrl_sec_mubi.791390408 |
| /workspace/coverage/default/19.lc_ctrl_sec_token_digest.2062450780 |
| /workspace/coverage/default/19.lc_ctrl_sec_token_mux.2480732642 |
| /workspace/coverage/default/19.lc_ctrl_security_escalation.2178129294 |
| /workspace/coverage/default/19.lc_ctrl_smoke.626339780 |
| /workspace/coverage/default/19.lc_ctrl_state_failure.3850277847 |
| /workspace/coverage/default/19.lc_ctrl_state_post_trans.2876296675 |
| /workspace/coverage/default/19.lc_ctrl_stress_all.3757144709 |
| /workspace/coverage/default/19.lc_ctrl_volatile_unlock_smoke.2160042618 |
| /workspace/coverage/default/2.lc_ctrl_alert_test.914901254 |
| /workspace/coverage/default/2.lc_ctrl_claim_transition_if.2008970122 |
| /workspace/coverage/default/2.lc_ctrl_errors.588033916 |
| /workspace/coverage/default/2.lc_ctrl_jtag_access.1270117220 |
| /workspace/coverage/default/2.lc_ctrl_jtag_errors.3093113595 |
| /workspace/coverage/default/2.lc_ctrl_jtag_priority.2829198374 |
| /workspace/coverage/default/2.lc_ctrl_jtag_prog_failure.330319019 |
| /workspace/coverage/default/2.lc_ctrl_jtag_regwen_during_op.4034002596 |
| /workspace/coverage/default/2.lc_ctrl_jtag_smoke.4232056164 |
| /workspace/coverage/default/2.lc_ctrl_jtag_state_failure.66172651 |
| /workspace/coverage/default/2.lc_ctrl_jtag_state_post_trans.222645386 |
| /workspace/coverage/default/2.lc_ctrl_prog_failure.1656124268 |
| /workspace/coverage/default/2.lc_ctrl_regwen_during_op.3187388566 |
| /workspace/coverage/default/2.lc_ctrl_sec_mubi.3472696190 |
| /workspace/coverage/default/2.lc_ctrl_sec_token_digest.3034146790 |
| /workspace/coverage/default/2.lc_ctrl_sec_token_mux.3709559042 |
| /workspace/coverage/default/2.lc_ctrl_security_escalation.2135519736 |
| /workspace/coverage/default/2.lc_ctrl_smoke.4059093149 |
| /workspace/coverage/default/2.lc_ctrl_state_failure.1059592370 |
| /workspace/coverage/default/2.lc_ctrl_state_post_trans.629573075 |
| /workspace/coverage/default/2.lc_ctrl_stress_all.199717770 |
| /workspace/coverage/default/2.lc_ctrl_stress_all_with_rand_reset.1032327224 |
| /workspace/coverage/default/2.lc_ctrl_volatile_unlock_smoke.662264734 |
| /workspace/coverage/default/20.lc_ctrl_alert_test.2884418497 |
| /workspace/coverage/default/20.lc_ctrl_errors.3656180186 |
| /workspace/coverage/default/20.lc_ctrl_jtag_access.4253466324 |
| /workspace/coverage/default/20.lc_ctrl_prog_failure.1617342598 |
| /workspace/coverage/default/20.lc_ctrl_sec_mubi.1497053122 |
| /workspace/coverage/default/20.lc_ctrl_sec_token_digest.2007721830 |
| /workspace/coverage/default/20.lc_ctrl_sec_token_mux.3022125223 |
| /workspace/coverage/default/20.lc_ctrl_smoke.3150501125 |
| /workspace/coverage/default/20.lc_ctrl_state_failure.2649169110 |
| /workspace/coverage/default/20.lc_ctrl_state_post_trans.4065683948 |
| /workspace/coverage/default/20.lc_ctrl_stress_all.1627615218 |
| /workspace/coverage/default/20.lc_ctrl_volatile_unlock_smoke.3071801686 |
| /workspace/coverage/default/21.lc_ctrl_errors.3757072347 |
| /workspace/coverage/default/21.lc_ctrl_jtag_access.2251125726 |
| /workspace/coverage/default/21.lc_ctrl_prog_failure.4108364415 |
| /workspace/coverage/default/21.lc_ctrl_sec_mubi.1726914680 |
| /workspace/coverage/default/21.lc_ctrl_sec_token_digest.2795392502 |
| /workspace/coverage/default/21.lc_ctrl_sec_token_mux.570383789 |
| /workspace/coverage/default/21.lc_ctrl_security_escalation.2838576726 |
| /workspace/coverage/default/21.lc_ctrl_smoke.2630242660 |
| /workspace/coverage/default/21.lc_ctrl_state_failure.3550875461 |
| /workspace/coverage/default/21.lc_ctrl_state_post_trans.233453431 |
| /workspace/coverage/default/21.lc_ctrl_volatile_unlock_smoke.2922059748 |
| /workspace/coverage/default/22.lc_ctrl_alert_test.1197832731 |
| /workspace/coverage/default/22.lc_ctrl_errors.2333889432 |
| /workspace/coverage/default/22.lc_ctrl_jtag_access.3319136121 |
| /workspace/coverage/default/22.lc_ctrl_prog_failure.2270689928 |
| /workspace/coverage/default/22.lc_ctrl_sec_mubi.102762176 |
| /workspace/coverage/default/22.lc_ctrl_sec_token_digest.807971391 |
| /workspace/coverage/default/22.lc_ctrl_sec_token_mux.3271284579 |
| /workspace/coverage/default/22.lc_ctrl_security_escalation.2887087097 |
| /workspace/coverage/default/22.lc_ctrl_smoke.3892877969 |
| /workspace/coverage/default/22.lc_ctrl_state_failure.2025016323 |
| /workspace/coverage/default/22.lc_ctrl_state_post_trans.3040817158 |
| /workspace/coverage/default/22.lc_ctrl_stress_all.4143710622 |
| /workspace/coverage/default/22.lc_ctrl_volatile_unlock_smoke.214590999 |
| /workspace/coverage/default/23.lc_ctrl_alert_test.1485154468 |
| /workspace/coverage/default/23.lc_ctrl_errors.3002146746 |
| /workspace/coverage/default/23.lc_ctrl_jtag_access.2243128385 |
| /workspace/coverage/default/23.lc_ctrl_prog_failure.1006637272 |
| /workspace/coverage/default/23.lc_ctrl_sec_mubi.3906312077 |
| /workspace/coverage/default/23.lc_ctrl_sec_token_digest.1262522354 |
| /workspace/coverage/default/23.lc_ctrl_sec_token_mux.3912425648 |
| /workspace/coverage/default/23.lc_ctrl_smoke.1253236836 |
| /workspace/coverage/default/23.lc_ctrl_state_failure.347348189 |
| /workspace/coverage/default/23.lc_ctrl_state_post_trans.4098770834 |
| /workspace/coverage/default/23.lc_ctrl_stress_all.3612386520 |
| /workspace/coverage/default/23.lc_ctrl_volatile_unlock_smoke.2393798277 |
| /workspace/coverage/default/24.lc_ctrl_alert_test.3567265113 |
| /workspace/coverage/default/24.lc_ctrl_errors.2226090606 |
| /workspace/coverage/default/24.lc_ctrl_jtag_access.1249638440 |
| /workspace/coverage/default/24.lc_ctrl_prog_failure.1862749076 |
| /workspace/coverage/default/24.lc_ctrl_sec_mubi.2271200438 |
| /workspace/coverage/default/24.lc_ctrl_sec_token_digest.933662306 |
| /workspace/coverage/default/24.lc_ctrl_sec_token_mux.2047515690 |
| /workspace/coverage/default/24.lc_ctrl_security_escalation.350006492 |
| /workspace/coverage/default/24.lc_ctrl_smoke.4136771471 |
| /workspace/coverage/default/24.lc_ctrl_state_failure.2235994690 |
| /workspace/coverage/default/24.lc_ctrl_state_post_trans.208065819 |
| /workspace/coverage/default/24.lc_ctrl_volatile_unlock_smoke.1560655252 |
| /workspace/coverage/default/25.lc_ctrl_alert_test.756152823 |
| /workspace/coverage/default/25.lc_ctrl_errors.264431003 |
| /workspace/coverage/default/25.lc_ctrl_jtag_access.99717172 |
| /workspace/coverage/default/25.lc_ctrl_prog_failure.2653891192 |
| /workspace/coverage/default/25.lc_ctrl_sec_mubi.1330953325 |
| /workspace/coverage/default/25.lc_ctrl_sec_token_digest.97927132 |
| /workspace/coverage/default/25.lc_ctrl_sec_token_mux.427031380 |
| /workspace/coverage/default/25.lc_ctrl_security_escalation.1012670639 |
| /workspace/coverage/default/25.lc_ctrl_smoke.783465682 |
| /workspace/coverage/default/25.lc_ctrl_state_failure.2374365647 |
| /workspace/coverage/default/25.lc_ctrl_state_post_trans.2316381183 |
| /workspace/coverage/default/25.lc_ctrl_stress_all.2655863893 |
| /workspace/coverage/default/25.lc_ctrl_volatile_unlock_smoke.3096426375 |
| /workspace/coverage/default/26.lc_ctrl_alert_test.2485215957 |
| /workspace/coverage/default/26.lc_ctrl_errors.1731420093 |
| /workspace/coverage/default/26.lc_ctrl_jtag_access.1173927178 |
| /workspace/coverage/default/26.lc_ctrl_prog_failure.3267771713 |
| /workspace/coverage/default/26.lc_ctrl_sec_mubi.4095908893 |
| /workspace/coverage/default/26.lc_ctrl_sec_token_digest.610502968 |
| /workspace/coverage/default/26.lc_ctrl_sec_token_mux.480255362 |
| /workspace/coverage/default/26.lc_ctrl_security_escalation.1837187005 |
| /workspace/coverage/default/26.lc_ctrl_smoke.1581731484 |
| /workspace/coverage/default/26.lc_ctrl_state_failure.514028480 |
| /workspace/coverage/default/26.lc_ctrl_state_post_trans.3387563839 |
| /workspace/coverage/default/26.lc_ctrl_stress_all.1255794897 |
| /workspace/coverage/default/26.lc_ctrl_stress_all_with_rand_reset.4031734085 |
| /workspace/coverage/default/26.lc_ctrl_volatile_unlock_smoke.2696138605 |
| /workspace/coverage/default/27.lc_ctrl_alert_test.2596780725 |
| /workspace/coverage/default/27.lc_ctrl_errors.218548717 |
| /workspace/coverage/default/27.lc_ctrl_jtag_access.335210471 |
| /workspace/coverage/default/27.lc_ctrl_prog_failure.1672049429 |
| /workspace/coverage/default/27.lc_ctrl_sec_mubi.2663641513 |
| /workspace/coverage/default/27.lc_ctrl_sec_token_digest.2828762001 |
| /workspace/coverage/default/27.lc_ctrl_sec_token_mux.4277815803 |
| /workspace/coverage/default/27.lc_ctrl_security_escalation.3931732296 |
| /workspace/coverage/default/27.lc_ctrl_smoke.1339761249 |
| /workspace/coverage/default/27.lc_ctrl_state_failure.1977762288 |
| /workspace/coverage/default/27.lc_ctrl_state_post_trans.1956526386 |
| /workspace/coverage/default/27.lc_ctrl_volatile_unlock_smoke.633584013 |
| /workspace/coverage/default/28.lc_ctrl_alert_test.4070525973 |
| /workspace/coverage/default/28.lc_ctrl_errors.3504190814 |
| /workspace/coverage/default/28.lc_ctrl_jtag_access.4033957103 |
| /workspace/coverage/default/28.lc_ctrl_prog_failure.2365689589 |
| /workspace/coverage/default/28.lc_ctrl_sec_mubi.3930605908 |
| /workspace/coverage/default/28.lc_ctrl_sec_token_digest.631628762 |
| /workspace/coverage/default/28.lc_ctrl_sec_token_mux.1411776766 |
| /workspace/coverage/default/28.lc_ctrl_security_escalation.2533777370 |
| /workspace/coverage/default/28.lc_ctrl_smoke.526863337 |
| /workspace/coverage/default/28.lc_ctrl_state_post_trans.3948038456 |
| /workspace/coverage/default/28.lc_ctrl_stress_all.134409197 |
| /workspace/coverage/default/28.lc_ctrl_volatile_unlock_smoke.2900892643 |
| /workspace/coverage/default/29.lc_ctrl_alert_test.1632342977 |
| /workspace/coverage/default/29.lc_ctrl_errors.2537842594 |
| /workspace/coverage/default/29.lc_ctrl_jtag_access.2891449393 |
| /workspace/coverage/default/29.lc_ctrl_prog_failure.3737363619 |
| /workspace/coverage/default/29.lc_ctrl_sec_mubi.1353266362 |
| /workspace/coverage/default/29.lc_ctrl_sec_token_digest.3059074618 |
| /workspace/coverage/default/29.lc_ctrl_sec_token_mux.2334189960 |
| /workspace/coverage/default/29.lc_ctrl_security_escalation.2176858050 |
| /workspace/coverage/default/29.lc_ctrl_smoke.3422669467 |
| /workspace/coverage/default/29.lc_ctrl_state_failure.3043623591 |
| /workspace/coverage/default/29.lc_ctrl_state_post_trans.3535022937 |
| /workspace/coverage/default/29.lc_ctrl_stress_all.3215731464 |
| /workspace/coverage/default/29.lc_ctrl_volatile_unlock_smoke.290448221 |
| /workspace/coverage/default/3.lc_ctrl_alert_test.3880224211 |
| /workspace/coverage/default/3.lc_ctrl_claim_transition_if.3102456539 |
| /workspace/coverage/default/3.lc_ctrl_errors.2249659076 |
| /workspace/coverage/default/3.lc_ctrl_jtag_access.4060701950 |
| /workspace/coverage/default/3.lc_ctrl_jtag_errors.1632712679 |
| /workspace/coverage/default/3.lc_ctrl_jtag_prog_failure.598582810 |
| /workspace/coverage/default/3.lc_ctrl_jtag_regwen_during_op.2403465512 |
| /workspace/coverage/default/3.lc_ctrl_jtag_smoke.700622980 |
| /workspace/coverage/default/3.lc_ctrl_jtag_state_failure.2629851581 |
| /workspace/coverage/default/3.lc_ctrl_jtag_state_post_trans.2939865286 |
| /workspace/coverage/default/3.lc_ctrl_prog_failure.3464799637 |
| /workspace/coverage/default/3.lc_ctrl_regwen_during_op.1688728973 |
| /workspace/coverage/default/3.lc_ctrl_sec_cm.3591904821 |
| /workspace/coverage/default/3.lc_ctrl_sec_mubi.241574562 |
| /workspace/coverage/default/3.lc_ctrl_sec_token_digest.205259471 |
| /workspace/coverage/default/3.lc_ctrl_sec_token_mux.2162967421 |
| /workspace/coverage/default/3.lc_ctrl_security_escalation.2622310795 |
| /workspace/coverage/default/3.lc_ctrl_smoke.2976978691 |
| /workspace/coverage/default/3.lc_ctrl_state_failure.647304024 |
| /workspace/coverage/default/3.lc_ctrl_state_post_trans.1810581452 |
| /workspace/coverage/default/3.lc_ctrl_stress_all.3357110942 |
| /workspace/coverage/default/3.lc_ctrl_volatile_unlock_smoke.3232840275 |
| /workspace/coverage/default/30.lc_ctrl_alert_test.3483201822 |
| /workspace/coverage/default/30.lc_ctrl_errors.4058520183 |
| /workspace/coverage/default/30.lc_ctrl_jtag_access.24751847 |
| /workspace/coverage/default/30.lc_ctrl_prog_failure.3849113742 |
| /workspace/coverage/default/30.lc_ctrl_sec_mubi.1422619894 |
| /workspace/coverage/default/30.lc_ctrl_sec_token_digest.3186331966 |
| /workspace/coverage/default/30.lc_ctrl_sec_token_mux.335169032 |
| /workspace/coverage/default/30.lc_ctrl_security_escalation.2513394973 |
| /workspace/coverage/default/30.lc_ctrl_smoke.3089296030 |
| /workspace/coverage/default/30.lc_ctrl_state_failure.3162369406 |
| /workspace/coverage/default/30.lc_ctrl_state_post_trans.3398455834 |
| /workspace/coverage/default/30.lc_ctrl_stress_all.2755554858 |
| /workspace/coverage/default/30.lc_ctrl_stress_all_with_rand_reset.1239289505 |
| /workspace/coverage/default/30.lc_ctrl_volatile_unlock_smoke.1226543227 |
| /workspace/coverage/default/31.lc_ctrl_alert_test.1423017154 |
| /workspace/coverage/default/31.lc_ctrl_errors.346724207 |
| /workspace/coverage/default/31.lc_ctrl_jtag_access.3521263697 |
| /workspace/coverage/default/31.lc_ctrl_prog_failure.3636941066 |
| /workspace/coverage/default/31.lc_ctrl_sec_mubi.765142866 |
| /workspace/coverage/default/31.lc_ctrl_sec_token_digest.4182380955 |
| /workspace/coverage/default/31.lc_ctrl_sec_token_mux.2020423307 |
| /workspace/coverage/default/31.lc_ctrl_security_escalation.1210348698 |
| /workspace/coverage/default/31.lc_ctrl_smoke.3809233601 |
| /workspace/coverage/default/31.lc_ctrl_state_failure.581203335 |
| /workspace/coverage/default/31.lc_ctrl_state_post_trans.1792243245 |
| /workspace/coverage/default/31.lc_ctrl_stress_all.2193361431 |
| /workspace/coverage/default/31.lc_ctrl_volatile_unlock_smoke.3692869637 |
| /workspace/coverage/default/32.lc_ctrl_alert_test.1605474438 |
| /workspace/coverage/default/32.lc_ctrl_errors.3997526455 |
| /workspace/coverage/default/32.lc_ctrl_jtag_access.3768699210 |
| /workspace/coverage/default/32.lc_ctrl_prog_failure.838735102 |
| /workspace/coverage/default/32.lc_ctrl_sec_mubi.3711635038 |
| /workspace/coverage/default/32.lc_ctrl_sec_token_digest.2191067018 |
| /workspace/coverage/default/32.lc_ctrl_sec_token_mux.4205841070 |
| /workspace/coverage/default/32.lc_ctrl_security_escalation.3641070894 |
| /workspace/coverage/default/32.lc_ctrl_smoke.539483869 |
| /workspace/coverage/default/32.lc_ctrl_state_failure.3076154842 |
| /workspace/coverage/default/32.lc_ctrl_state_post_trans.3388318043 |
| /workspace/coverage/default/32.lc_ctrl_stress_all.1161263671 |
| /workspace/coverage/default/32.lc_ctrl_volatile_unlock_smoke.3376019530 |
| /workspace/coverage/default/33.lc_ctrl_alert_test.967310130 |
| /workspace/coverage/default/33.lc_ctrl_errors.3993727956 |
| /workspace/coverage/default/33.lc_ctrl_jtag_access.1075786076 |
| /workspace/coverage/default/33.lc_ctrl_prog_failure.3264109839 |
| /workspace/coverage/default/33.lc_ctrl_sec_mubi.1398723502 |
| /workspace/coverage/default/33.lc_ctrl_sec_token_digest.3346106585 |
| /workspace/coverage/default/33.lc_ctrl_sec_token_mux.4151223038 |
| /workspace/coverage/default/33.lc_ctrl_security_escalation.1004259152 |
| /workspace/coverage/default/33.lc_ctrl_smoke.3357940189 |
| /workspace/coverage/default/33.lc_ctrl_state_failure.2534965718 |
| /workspace/coverage/default/33.lc_ctrl_state_post_trans.904594620 |
| /workspace/coverage/default/33.lc_ctrl_stress_all.1735076875 |
| /workspace/coverage/default/33.lc_ctrl_volatile_unlock_smoke.4106030777 |
| /workspace/coverage/default/34.lc_ctrl_alert_test.320190198 |
| /workspace/coverage/default/34.lc_ctrl_errors.2643007218 |
| /workspace/coverage/default/34.lc_ctrl_jtag_access.2192072985 |
| /workspace/coverage/default/34.lc_ctrl_prog_failure.2577732320 |
| /workspace/coverage/default/34.lc_ctrl_sec_mubi.1639761624 |
| /workspace/coverage/default/34.lc_ctrl_sec_token_digest.982040644 |
| /workspace/coverage/default/34.lc_ctrl_sec_token_mux.716066295 |
| /workspace/coverage/default/34.lc_ctrl_security_escalation.2718686693 |
| /workspace/coverage/default/34.lc_ctrl_smoke.2938098858 |
| /workspace/coverage/default/34.lc_ctrl_state_failure.1177662901 |
| /workspace/coverage/default/34.lc_ctrl_state_post_trans.1352459541 |
| /workspace/coverage/default/34.lc_ctrl_stress_all.3103607986 |
| /workspace/coverage/default/34.lc_ctrl_volatile_unlock_smoke.1523972954 |
| /workspace/coverage/default/35.lc_ctrl_alert_test.1589060122 |
| /workspace/coverage/default/35.lc_ctrl_errors.8754196 |
| /workspace/coverage/default/35.lc_ctrl_jtag_access.2578818115 |
| /workspace/coverage/default/35.lc_ctrl_prog_failure.2995194808 |
| /workspace/coverage/default/35.lc_ctrl_sec_mubi.3670533084 |
| /workspace/coverage/default/35.lc_ctrl_sec_token_mux.35585539 |
| /workspace/coverage/default/35.lc_ctrl_security_escalation.810498305 |
| /workspace/coverage/default/35.lc_ctrl_smoke.4125568128 |
| /workspace/coverage/default/35.lc_ctrl_state_failure.1163140649 |
| /workspace/coverage/default/35.lc_ctrl_state_post_trans.2441076797 |
| /workspace/coverage/default/35.lc_ctrl_stress_all.2230729858 |
| /workspace/coverage/default/35.lc_ctrl_stress_all_with_rand_reset.1861442274 |
| /workspace/coverage/default/35.lc_ctrl_volatile_unlock_smoke.2443252677 |
| /workspace/coverage/default/36.lc_ctrl_alert_test.3722148257 |
| /workspace/coverage/default/36.lc_ctrl_errors.258627126 |
| /workspace/coverage/default/36.lc_ctrl_jtag_access.3661739898 |
| /workspace/coverage/default/36.lc_ctrl_prog_failure.810776800 |
| /workspace/coverage/default/36.lc_ctrl_sec_mubi.609901625 |
| /workspace/coverage/default/36.lc_ctrl_sec_token_digest.1342855082 |
| /workspace/coverage/default/36.lc_ctrl_sec_token_mux.4172113746 |
| /workspace/coverage/default/36.lc_ctrl_security_escalation.57559472 |
| /workspace/coverage/default/36.lc_ctrl_smoke.2708238642 |
| /workspace/coverage/default/36.lc_ctrl_state_failure.3526934284 |
| /workspace/coverage/default/36.lc_ctrl_state_post_trans.2041457524 |
| /workspace/coverage/default/36.lc_ctrl_stress_all.2141974034 |
| /workspace/coverage/default/36.lc_ctrl_volatile_unlock_smoke.3455327589 |
| /workspace/coverage/default/37.lc_ctrl_alert_test.2149830674 |
| /workspace/coverage/default/37.lc_ctrl_errors.2381508207 |
| /workspace/coverage/default/37.lc_ctrl_jtag_access.505983371 |
| /workspace/coverage/default/37.lc_ctrl_prog_failure.2471109287 |
| /workspace/coverage/default/37.lc_ctrl_sec_mubi.919483549 |
| /workspace/coverage/default/37.lc_ctrl_sec_token_digest.1234940585 |
| /workspace/coverage/default/37.lc_ctrl_sec_token_mux.1781035892 |
| /workspace/coverage/default/37.lc_ctrl_security_escalation.654923416 |
| /workspace/coverage/default/37.lc_ctrl_smoke.2001546920 |
| /workspace/coverage/default/37.lc_ctrl_state_failure.2063719794 |
| /workspace/coverage/default/37.lc_ctrl_state_post_trans.2302865411 |
| /workspace/coverage/default/37.lc_ctrl_stress_all.2089449361 |
| /workspace/coverage/default/37.lc_ctrl_stress_all_with_rand_reset.2568772314 |
| /workspace/coverage/default/37.lc_ctrl_volatile_unlock_smoke.4003662153 |
| /workspace/coverage/default/38.lc_ctrl_alert_test.2591294910 |
| /workspace/coverage/default/38.lc_ctrl_errors.357681510 |
| /workspace/coverage/default/38.lc_ctrl_jtag_access.703142156 |
| /workspace/coverage/default/38.lc_ctrl_prog_failure.4212114971 |
| /workspace/coverage/default/38.lc_ctrl_sec_mubi.1895073892 |
| /workspace/coverage/default/38.lc_ctrl_sec_token_digest.2211075838 |
| /workspace/coverage/default/38.lc_ctrl_sec_token_mux.3460140235 |
| /workspace/coverage/default/38.lc_ctrl_security_escalation.2974909041 |
| /workspace/coverage/default/38.lc_ctrl_smoke.189421025 |
| /workspace/coverage/default/38.lc_ctrl_state_failure.63558948 |
| /workspace/coverage/default/38.lc_ctrl_state_post_trans.3391646189 |
| /workspace/coverage/default/38.lc_ctrl_stress_all.4158481761 |
| /workspace/coverage/default/38.lc_ctrl_volatile_unlock_smoke.1785942878 |
| /workspace/coverage/default/39.lc_ctrl_alert_test.3169358039 |
| /workspace/coverage/default/39.lc_ctrl_errors.4078807881 |
| /workspace/coverage/default/39.lc_ctrl_jtag_access.3239106181 |
| /workspace/coverage/default/39.lc_ctrl_prog_failure.1439952459 |
| /workspace/coverage/default/39.lc_ctrl_sec_mubi.2299847947 |
| /workspace/coverage/default/39.lc_ctrl_sec_token_digest.2908294238 |
| /workspace/coverage/default/39.lc_ctrl_sec_token_mux.3405637513 |
| /workspace/coverage/default/39.lc_ctrl_security_escalation.2963260273 |
| /workspace/coverage/default/39.lc_ctrl_smoke.8004576 |
| /workspace/coverage/default/39.lc_ctrl_state_failure.3793589398 |
| /workspace/coverage/default/39.lc_ctrl_state_post_trans.2724738422 |
| /workspace/coverage/default/39.lc_ctrl_stress_all.2118541045 |
| /workspace/coverage/default/39.lc_ctrl_volatile_unlock_smoke.1363328338 |
| /workspace/coverage/default/4.lc_ctrl_alert_test.3547676409 |
| /workspace/coverage/default/4.lc_ctrl_claim_transition_if.2307640111 |
| /workspace/coverage/default/4.lc_ctrl_errors.2603751107 |
| /workspace/coverage/default/4.lc_ctrl_jtag_access.3974055027 |
| /workspace/coverage/default/4.lc_ctrl_jtag_errors.3658073006 |
| /workspace/coverage/default/4.lc_ctrl_jtag_priority.2509870607 |
| /workspace/coverage/default/4.lc_ctrl_jtag_prog_failure.3349478418 |
| /workspace/coverage/default/4.lc_ctrl_jtag_regwen_during_op.2598465149 |
| /workspace/coverage/default/4.lc_ctrl_jtag_smoke.3650768775 |
| /workspace/coverage/default/4.lc_ctrl_jtag_state_failure.290809855 |
| /workspace/coverage/default/4.lc_ctrl_jtag_state_post_trans.2481848583 |
| /workspace/coverage/default/4.lc_ctrl_prog_failure.1015979504 |
| /workspace/coverage/default/4.lc_ctrl_regwen_during_op.2782822805 |
| /workspace/coverage/default/4.lc_ctrl_sec_cm.2881329064 |
| /workspace/coverage/default/4.lc_ctrl_sec_mubi.1838865480 |
| /workspace/coverage/default/4.lc_ctrl_sec_token_digest.3188583743 |
| /workspace/coverage/default/4.lc_ctrl_sec_token_mux.2228142911 |
| /workspace/coverage/default/4.lc_ctrl_security_escalation.3735847157 |
| /workspace/coverage/default/4.lc_ctrl_smoke.1239231968 |
| /workspace/coverage/default/4.lc_ctrl_state_failure.2328377137 |
| /workspace/coverage/default/4.lc_ctrl_state_post_trans.710883295 |
| /workspace/coverage/default/4.lc_ctrl_stress_all.666010638 |
| /workspace/coverage/default/4.lc_ctrl_stress_all_with_rand_reset.3263456165 |
| /workspace/coverage/default/4.lc_ctrl_volatile_unlock_smoke.1340245167 |
| /workspace/coverage/default/40.lc_ctrl_alert_test.72985369 |
| /workspace/coverage/default/40.lc_ctrl_errors.3898970870 |
| /workspace/coverage/default/40.lc_ctrl_jtag_access.3538217771 |
| /workspace/coverage/default/40.lc_ctrl_prog_failure.4215034807 |
| /workspace/coverage/default/40.lc_ctrl_sec_mubi.510532454 |
| /workspace/coverage/default/40.lc_ctrl_sec_token_digest.1690555639 |
| /workspace/coverage/default/40.lc_ctrl_sec_token_mux.1982996241 |
| /workspace/coverage/default/40.lc_ctrl_security_escalation.1335267431 |
| /workspace/coverage/default/40.lc_ctrl_smoke.2509156554 |
| /workspace/coverage/default/40.lc_ctrl_state_failure.3068321655 |
| /workspace/coverage/default/40.lc_ctrl_state_post_trans.2735315759 |
| /workspace/coverage/default/40.lc_ctrl_stress_all.3160331773 |
| /workspace/coverage/default/40.lc_ctrl_stress_all_with_rand_reset.451744099 |
| /workspace/coverage/default/40.lc_ctrl_volatile_unlock_smoke.120316425 |
| /workspace/coverage/default/41.lc_ctrl_alert_test.2899410489 |
| /workspace/coverage/default/41.lc_ctrl_errors.2530160033 |
| /workspace/coverage/default/41.lc_ctrl_jtag_access.1946882124 |
| /workspace/coverage/default/41.lc_ctrl_prog_failure.983557802 |
| /workspace/coverage/default/41.lc_ctrl_sec_mubi.574169136 |
| /workspace/coverage/default/41.lc_ctrl_sec_token_digest.3871506703 |
| /workspace/coverage/default/41.lc_ctrl_sec_token_mux.1915947083 |
| /workspace/coverage/default/41.lc_ctrl_security_escalation.4139843492 |
| /workspace/coverage/default/41.lc_ctrl_smoke.3338662117 |
| /workspace/coverage/default/41.lc_ctrl_state_failure.3119976060 |
| /workspace/coverage/default/41.lc_ctrl_state_post_trans.2739010094 |
| /workspace/coverage/default/41.lc_ctrl_stress_all.2749547124 |
| /workspace/coverage/default/41.lc_ctrl_volatile_unlock_smoke.1450086374 |
| /workspace/coverage/default/42.lc_ctrl_alert_test.2409525668 |
| /workspace/coverage/default/42.lc_ctrl_errors.1569006807 |
| /workspace/coverage/default/42.lc_ctrl_jtag_access.3649806909 |
| /workspace/coverage/default/42.lc_ctrl_prog_failure.1189253845 |
| /workspace/coverage/default/42.lc_ctrl_sec_mubi.4024870630 |
| /workspace/coverage/default/42.lc_ctrl_sec_token_digest.515438261 |
| /workspace/coverage/default/42.lc_ctrl_sec_token_mux.3378559730 |
| /workspace/coverage/default/42.lc_ctrl_security_escalation.2842626233 |
| /workspace/coverage/default/42.lc_ctrl_smoke.2534691051 |
| /workspace/coverage/default/42.lc_ctrl_state_failure.1956241850 |
| /workspace/coverage/default/42.lc_ctrl_state_post_trans.1198268526 |
| /workspace/coverage/default/42.lc_ctrl_stress_all.1233613266 |
| /workspace/coverage/default/42.lc_ctrl_stress_all_with_rand_reset.2951536604 |
| /workspace/coverage/default/42.lc_ctrl_volatile_unlock_smoke.1702311034 |
| /workspace/coverage/default/43.lc_ctrl_alert_test.1610768021 |
| /workspace/coverage/default/43.lc_ctrl_errors.1038071786 |
| /workspace/coverage/default/43.lc_ctrl_jtag_access.2637157595 |
| /workspace/coverage/default/43.lc_ctrl_prog_failure.2951356267 |
| /workspace/coverage/default/43.lc_ctrl_sec_mubi.4040634302 |
| /workspace/coverage/default/43.lc_ctrl_sec_token_digest.3047414662 |
| /workspace/coverage/default/43.lc_ctrl_sec_token_mux.737392406 |
| /workspace/coverage/default/43.lc_ctrl_security_escalation.4172601222 |
| /workspace/coverage/default/43.lc_ctrl_smoke.1306328234 |
| /workspace/coverage/default/43.lc_ctrl_state_failure.604861537 |
| /workspace/coverage/default/43.lc_ctrl_state_post_trans.3196790485 |
| /workspace/coverage/default/43.lc_ctrl_stress_all.560732217 |
| /workspace/coverage/default/43.lc_ctrl_volatile_unlock_smoke.3801363705 |
| /workspace/coverage/default/44.lc_ctrl_alert_test.2837334043 |
| /workspace/coverage/default/44.lc_ctrl_errors.2879291381 |
| /workspace/coverage/default/44.lc_ctrl_jtag_access.1417577855 |
| /workspace/coverage/default/44.lc_ctrl_prog_failure.1335959884 |
| /workspace/coverage/default/44.lc_ctrl_sec_mubi.2266331747 |
| /workspace/coverage/default/44.lc_ctrl_sec_token_digest.2317461296 |
| /workspace/coverage/default/44.lc_ctrl_sec_token_mux.840546997 |
| /workspace/coverage/default/44.lc_ctrl_security_escalation.782216323 |
| /workspace/coverage/default/44.lc_ctrl_smoke.1639733209 |
| /workspace/coverage/default/44.lc_ctrl_state_failure.909275336 |
| /workspace/coverage/default/44.lc_ctrl_state_post_trans.1649017002 |
| /workspace/coverage/default/44.lc_ctrl_stress_all.3601068519 |
| /workspace/coverage/default/44.lc_ctrl_stress_all_with_rand_reset.2134633956 |
| /workspace/coverage/default/44.lc_ctrl_volatile_unlock_smoke.106464402 |
| /workspace/coverage/default/45.lc_ctrl_alert_test.3815801955 |
| /workspace/coverage/default/45.lc_ctrl_errors.1512349280 |
| /workspace/coverage/default/45.lc_ctrl_jtag_access.2550881330 |
| /workspace/coverage/default/45.lc_ctrl_prog_failure.872907161 |
| /workspace/coverage/default/45.lc_ctrl_sec_mubi.1330225446 |
| /workspace/coverage/default/45.lc_ctrl_sec_token_digest.2610149382 |
| /workspace/coverage/default/45.lc_ctrl_sec_token_mux.2259742587 |
| /workspace/coverage/default/45.lc_ctrl_security_escalation.628921390 |
| /workspace/coverage/default/45.lc_ctrl_smoke.2238378363 |
| /workspace/coverage/default/45.lc_ctrl_state_failure.1005212774 |
| /workspace/coverage/default/45.lc_ctrl_state_post_trans.3642958880 |
| /workspace/coverage/default/45.lc_ctrl_stress_all.3343375505 |
| /workspace/coverage/default/45.lc_ctrl_volatile_unlock_smoke.3003614268 |
| /workspace/coverage/default/46.lc_ctrl_alert_test.2953652033 |
| /workspace/coverage/default/46.lc_ctrl_errors.3279969458 |
| /workspace/coverage/default/46.lc_ctrl_jtag_access.3033471095 |
| /workspace/coverage/default/46.lc_ctrl_prog_failure.2586198487 |
| /workspace/coverage/default/46.lc_ctrl_sec_mubi.1074462050 |
| /workspace/coverage/default/46.lc_ctrl_sec_token_digest.4105491048 |
| /workspace/coverage/default/46.lc_ctrl_sec_token_mux.3349570540 |
| /workspace/coverage/default/46.lc_ctrl_security_escalation.1852680105 |
| /workspace/coverage/default/46.lc_ctrl_smoke.4174997257 |
| /workspace/coverage/default/46.lc_ctrl_state_failure.1111157623 |
| /workspace/coverage/default/46.lc_ctrl_state_post_trans.2369248820 |
| /workspace/coverage/default/46.lc_ctrl_stress_all.1716730075 |
| /workspace/coverage/default/46.lc_ctrl_stress_all_with_rand_reset.3797837983 |
| /workspace/coverage/default/46.lc_ctrl_volatile_unlock_smoke.2350129566 |
| /workspace/coverage/default/47.lc_ctrl_alert_test.4085981231 |
| /workspace/coverage/default/47.lc_ctrl_errors.560337002 |
| /workspace/coverage/default/47.lc_ctrl_jtag_access.2880537124 |
| /workspace/coverage/default/47.lc_ctrl_prog_failure.1558430472 |
| /workspace/coverage/default/47.lc_ctrl_sec_mubi.2592437186 |
| /workspace/coverage/default/47.lc_ctrl_sec_token_digest.1142022263 |
| /workspace/coverage/default/47.lc_ctrl_sec_token_mux.1052800012 |
| /workspace/coverage/default/47.lc_ctrl_security_escalation.589404451 |
| /workspace/coverage/default/47.lc_ctrl_smoke.3714264872 |
| /workspace/coverage/default/47.lc_ctrl_state_failure.1752128795 |
| /workspace/coverage/default/47.lc_ctrl_state_post_trans.2157529642 |
| /workspace/coverage/default/47.lc_ctrl_stress_all.688936411 |
| /workspace/coverage/default/47.lc_ctrl_stress_all_with_rand_reset.1681591791 |
| /workspace/coverage/default/47.lc_ctrl_volatile_unlock_smoke.498568375 |
| /workspace/coverage/default/48.lc_ctrl_alert_test.722226237 |
| /workspace/coverage/default/48.lc_ctrl_jtag_access.4257064933 |
| /workspace/coverage/default/48.lc_ctrl_prog_failure.3770135743 |
| /workspace/coverage/default/48.lc_ctrl_sec_mubi.3868979180 |
| /workspace/coverage/default/48.lc_ctrl_sec_token_digest.1774003520 |
| /workspace/coverage/default/48.lc_ctrl_sec_token_mux.3371486564 |
| /workspace/coverage/default/48.lc_ctrl_security_escalation.2853432208 |
| /workspace/coverage/default/48.lc_ctrl_smoke.3987233744 |
| /workspace/coverage/default/48.lc_ctrl_state_failure.1203224728 |
| /workspace/coverage/default/48.lc_ctrl_state_post_trans.4265153514 |
| /workspace/coverage/default/48.lc_ctrl_stress_all.1505805967 |
| /workspace/coverage/default/48.lc_ctrl_stress_all_with_rand_reset.1313914454 |
| /workspace/coverage/default/48.lc_ctrl_volatile_unlock_smoke.2710999322 |
| /workspace/coverage/default/49.lc_ctrl_alert_test.1893632160 |
| /workspace/coverage/default/49.lc_ctrl_errors.2148120615 |
| /workspace/coverage/default/49.lc_ctrl_jtag_access.580181877 |
| /workspace/coverage/default/49.lc_ctrl_prog_failure.255076533 |
| /workspace/coverage/default/49.lc_ctrl_sec_mubi.3115309590 |
| /workspace/coverage/default/49.lc_ctrl_sec_token_digest.3464630065 |
| /workspace/coverage/default/49.lc_ctrl_sec_token_mux.602549164 |
| /workspace/coverage/default/49.lc_ctrl_security_escalation.2703561977 |
| /workspace/coverage/default/49.lc_ctrl_smoke.434751399 |
| /workspace/coverage/default/49.lc_ctrl_state_failure.1721672162 |
| /workspace/coverage/default/49.lc_ctrl_state_post_trans.3942715642 |
| /workspace/coverage/default/49.lc_ctrl_stress_all.2370863329 |
| /workspace/coverage/default/49.lc_ctrl_volatile_unlock_smoke.2596041043 |
| /workspace/coverage/default/5.lc_ctrl_alert_test.2183492628 |
| /workspace/coverage/default/5.lc_ctrl_claim_transition_if.2275151779 |
| /workspace/coverage/default/5.lc_ctrl_errors.3807289325 |
| /workspace/coverage/default/5.lc_ctrl_jtag_access.2885662926 |
| /workspace/coverage/default/5.lc_ctrl_jtag_errors.2706636887 |
| /workspace/coverage/default/5.lc_ctrl_jtag_priority.3961034781 |
| /workspace/coverage/default/5.lc_ctrl_jtag_prog_failure.3349637804 |
| /workspace/coverage/default/5.lc_ctrl_jtag_regwen_during_op.883089453 |
| /workspace/coverage/default/5.lc_ctrl_jtag_smoke.1461484097 |
| /workspace/coverage/default/5.lc_ctrl_jtag_state_failure.739255915 |
| /workspace/coverage/default/5.lc_ctrl_jtag_state_post_trans.2045226488 |
| /workspace/coverage/default/5.lc_ctrl_prog_failure.3460050459 |
| /workspace/coverage/default/5.lc_ctrl_regwen_during_op.286696925 |
| /workspace/coverage/default/5.lc_ctrl_sec_token_digest.684973023 |
| /workspace/coverage/default/5.lc_ctrl_sec_token_mux.3943630525 |
| /workspace/coverage/default/5.lc_ctrl_security_escalation.4146163802 |
| /workspace/coverage/default/5.lc_ctrl_smoke.4223326786 |
| /workspace/coverage/default/5.lc_ctrl_state_failure.2062063750 |
| /workspace/coverage/default/5.lc_ctrl_state_post_trans.113891120 |
| /workspace/coverage/default/5.lc_ctrl_stress_all_with_rand_reset.233285704 |
| /workspace/coverage/default/5.lc_ctrl_volatile_unlock_smoke.2151976832 |
| /workspace/coverage/default/6.lc_ctrl_alert_test.278422685 |
| /workspace/coverage/default/6.lc_ctrl_errors.79966076 |
| /workspace/coverage/default/6.lc_ctrl_jtag_access.3100462258 |
| /workspace/coverage/default/6.lc_ctrl_jtag_errors.1017960586 |
| /workspace/coverage/default/6.lc_ctrl_jtag_priority.1121536757 |
| /workspace/coverage/default/6.lc_ctrl_jtag_prog_failure.1192987210 |
| /workspace/coverage/default/6.lc_ctrl_jtag_regwen_during_op.3103209458 |
| /workspace/coverage/default/6.lc_ctrl_jtag_smoke.2489868903 |
| /workspace/coverage/default/6.lc_ctrl_jtag_state_failure.3649574308 |
| /workspace/coverage/default/6.lc_ctrl_jtag_state_post_trans.1300337469 |
| /workspace/coverage/default/6.lc_ctrl_prog_failure.1257311341 |
| /workspace/coverage/default/6.lc_ctrl_regwen_during_op.283113267 |
| /workspace/coverage/default/6.lc_ctrl_sec_mubi.4281199822 |
| /workspace/coverage/default/6.lc_ctrl_sec_token_digest.1942210637 |
| /workspace/coverage/default/6.lc_ctrl_sec_token_mux.1185237331 |
| /workspace/coverage/default/6.lc_ctrl_security_escalation.3597679094 |
| /workspace/coverage/default/6.lc_ctrl_smoke.4108033075 |
| /workspace/coverage/default/6.lc_ctrl_state_failure.1773476396 |
| /workspace/coverage/default/6.lc_ctrl_state_post_trans.2547447091 |
| /workspace/coverage/default/6.lc_ctrl_stress_all.1437928346 |
| /workspace/coverage/default/6.lc_ctrl_volatile_unlock_smoke.3605578930 |
| /workspace/coverage/default/7.lc_ctrl_alert_test.704951720 |
| /workspace/coverage/default/7.lc_ctrl_errors.3220246099 |
| /workspace/coverage/default/7.lc_ctrl_jtag_access.2670026223 |
| /workspace/coverage/default/7.lc_ctrl_jtag_errors.2212902135 |
| /workspace/coverage/default/7.lc_ctrl_jtag_priority.2620743523 |
| /workspace/coverage/default/7.lc_ctrl_jtag_prog_failure.2610038355 |
| /workspace/coverage/default/7.lc_ctrl_jtag_regwen_during_op.3611683771 |
| /workspace/coverage/default/7.lc_ctrl_jtag_smoke.3374069807 |
| /workspace/coverage/default/7.lc_ctrl_jtag_state_failure.2593073738 |
| /workspace/coverage/default/7.lc_ctrl_jtag_state_post_trans.620433928 |
| /workspace/coverage/default/7.lc_ctrl_prog_failure.134858022 |
| /workspace/coverage/default/7.lc_ctrl_regwen_during_op.9275543 |
| /workspace/coverage/default/7.lc_ctrl_sec_mubi.1218288410 |
| /workspace/coverage/default/7.lc_ctrl_sec_token_digest.1318382439 |
| /workspace/coverage/default/7.lc_ctrl_sec_token_mux.732448477 |
| /workspace/coverage/default/7.lc_ctrl_security_escalation.1900594392 |
| /workspace/coverage/default/7.lc_ctrl_smoke.4001585813 |
| /workspace/coverage/default/7.lc_ctrl_state_failure.1982140541 |
| /workspace/coverage/default/7.lc_ctrl_state_post_trans.3851641133 |
| /workspace/coverage/default/7.lc_ctrl_stress_all.729743587 |
| /workspace/coverage/default/7.lc_ctrl_volatile_unlock_smoke.4172149784 |
| /workspace/coverage/default/8.lc_ctrl_alert_test.1892667616 |
| /workspace/coverage/default/8.lc_ctrl_claim_transition_if.405309301 |
| /workspace/coverage/default/8.lc_ctrl_errors.3779783966 |
| /workspace/coverage/default/8.lc_ctrl_jtag_access.467982387 |
| /workspace/coverage/default/8.lc_ctrl_jtag_errors.1957486606 |
| /workspace/coverage/default/8.lc_ctrl_jtag_priority.1523303398 |
| /workspace/coverage/default/8.lc_ctrl_jtag_prog_failure.1848374190 |
| /workspace/coverage/default/8.lc_ctrl_jtag_regwen_during_op.922550765 |
| /workspace/coverage/default/8.lc_ctrl_jtag_smoke.156126753 |
| /workspace/coverage/default/8.lc_ctrl_jtag_state_failure.3393667811 |
| /workspace/coverage/default/8.lc_ctrl_jtag_state_post_trans.2494809959 |
| /workspace/coverage/default/8.lc_ctrl_prog_failure.2858266201 |
| /workspace/coverage/default/8.lc_ctrl_regwen_during_op.897847873 |
| /workspace/coverage/default/8.lc_ctrl_sec_mubi.4110398935 |
| /workspace/coverage/default/8.lc_ctrl_sec_token_digest.2407791897 |
| /workspace/coverage/default/8.lc_ctrl_sec_token_mux.4003738375 |
| /workspace/coverage/default/8.lc_ctrl_security_escalation.1584939888 |
| /workspace/coverage/default/8.lc_ctrl_smoke.783362562 |
| /workspace/coverage/default/8.lc_ctrl_state_failure.970238464 |
| /workspace/coverage/default/8.lc_ctrl_state_post_trans.3811526710 |
| /workspace/coverage/default/8.lc_ctrl_stress_all.4189951596 |
| /workspace/coverage/default/8.lc_ctrl_stress_all_with_rand_reset.3567099229 |
| /workspace/coverage/default/8.lc_ctrl_volatile_unlock_smoke.3538034329 |
| /workspace/coverage/default/9.lc_ctrl_alert_test.2368444582 |
| /workspace/coverage/default/9.lc_ctrl_claim_transition_if.1945180428 |
| /workspace/coverage/default/9.lc_ctrl_errors.76693800 |
| /workspace/coverage/default/9.lc_ctrl_jtag_access.4190922877 |
| /workspace/coverage/default/9.lc_ctrl_jtag_errors.1492492541 |
| /workspace/coverage/default/9.lc_ctrl_jtag_priority.3313194372 |
| /workspace/coverage/default/9.lc_ctrl_jtag_prog_failure.1689135849 |
| /workspace/coverage/default/9.lc_ctrl_jtag_regwen_during_op.3426806341 |
| /workspace/coverage/default/9.lc_ctrl_jtag_smoke.2805392884 |
| /workspace/coverage/default/9.lc_ctrl_jtag_state_failure.3115011752 |
| /workspace/coverage/default/9.lc_ctrl_jtag_state_post_trans.1424723139 |
| /workspace/coverage/default/9.lc_ctrl_prog_failure.2561690302 |
| /workspace/coverage/default/9.lc_ctrl_regwen_during_op.3175328367 |
| /workspace/coverage/default/9.lc_ctrl_sec_mubi.41144441 |
| /workspace/coverage/default/9.lc_ctrl_sec_token_digest.783054998 |
| /workspace/coverage/default/9.lc_ctrl_sec_token_mux.1195823231 |
| /workspace/coverage/default/9.lc_ctrl_security_escalation.1838653688 |
| /workspace/coverage/default/9.lc_ctrl_smoke.1981244131 |
| /workspace/coverage/default/9.lc_ctrl_state_failure.2729687048 |
| /workspace/coverage/default/9.lc_ctrl_state_post_trans.2612955005 |
| /workspace/coverage/default/9.lc_ctrl_stress_all.2980378082 |
| /workspace/coverage/default/9.lc_ctrl_stress_all_with_rand_reset.4116229095 |
| /workspace/coverage/default/9.lc_ctrl_volatile_unlock_smoke.833303410 |