|
| /workspace/coverage/cover_reg_top/0.lc_ctrl_csr_aliasing.1082414711 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_csr_bit_bash.433064849 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_csr_hw_reset.3769772200 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_csr_mem_rw_with_rand_reset.3182013148 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_csr_rw.2973950583 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_jtag_alert_test.1295782459 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_jtag_csr_aliasing.3488359554 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_jtag_csr_bit_bash.3873426728 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_jtag_csr_hw_reset.2955744250 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_jtag_csr_rw.2125995711 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_jtag_same_csr_outstanding.2926085165 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_same_csr_outstanding.3427426907 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_tl_errors.683781724 |
| /workspace/coverage/cover_reg_top/0.lc_ctrl_tl_intg_err.3529374409 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_csr_aliasing.3192111759 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_csr_bit_bash.3633257860 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_csr_hw_reset.1700657128 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_csr_mem_rw_with_rand_reset.3227175781 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_csr_rw.38920771 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_jtag_alert_test.576547038 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_jtag_csr_aliasing.3309244584 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_jtag_csr_bit_bash.2130857612 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_jtag_csr_hw_reset.3353740693 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_jtag_csr_mem_rw_with_rand_reset.3539058214 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_jtag_csr_rw.1329432518 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_jtag_same_csr_outstanding.3254618643 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_same_csr_outstanding.223427473 |
| /workspace/coverage/cover_reg_top/1.lc_ctrl_tl_intg_err.2415934831 |
| /workspace/coverage/cover_reg_top/10.lc_ctrl_csr_mem_rw_with_rand_reset.1449943724 |
| /workspace/coverage/cover_reg_top/10.lc_ctrl_csr_rw.2370342130 |
| /workspace/coverage/cover_reg_top/10.lc_ctrl_same_csr_outstanding.3659364834 |
| /workspace/coverage/cover_reg_top/10.lc_ctrl_tl_errors.3796722581 |
| /workspace/coverage/cover_reg_top/11.lc_ctrl_csr_mem_rw_with_rand_reset.3601284690 |
| /workspace/coverage/cover_reg_top/11.lc_ctrl_csr_rw.2079457022 |
| /workspace/coverage/cover_reg_top/11.lc_ctrl_same_csr_outstanding.113051331 |
| /workspace/coverage/cover_reg_top/11.lc_ctrl_tl_errors.2341261489 |
| /workspace/coverage/cover_reg_top/11.lc_ctrl_tl_intg_err.1408744611 |
| /workspace/coverage/cover_reg_top/12.lc_ctrl_csr_mem_rw_with_rand_reset.4079418727 |
| /workspace/coverage/cover_reg_top/12.lc_ctrl_csr_rw.2969715153 |
| /workspace/coverage/cover_reg_top/12.lc_ctrl_same_csr_outstanding.170976324 |
| /workspace/coverage/cover_reg_top/12.lc_ctrl_tl_errors.683394573 |
| /workspace/coverage/cover_reg_top/12.lc_ctrl_tl_intg_err.4084111215 |
| /workspace/coverage/cover_reg_top/13.lc_ctrl_csr_mem_rw_with_rand_reset.3825991040 |
| /workspace/coverage/cover_reg_top/13.lc_ctrl_csr_rw.1326388259 |
| /workspace/coverage/cover_reg_top/13.lc_ctrl_same_csr_outstanding.2541224960 |
| /workspace/coverage/cover_reg_top/13.lc_ctrl_tl_errors.1559131809 |
| /workspace/coverage/cover_reg_top/13.lc_ctrl_tl_intg_err.3647463421 |
| /workspace/coverage/cover_reg_top/14.lc_ctrl_csr_mem_rw_with_rand_reset.1344128694 |
| /workspace/coverage/cover_reg_top/14.lc_ctrl_same_csr_outstanding.3557964663 |
| /workspace/coverage/cover_reg_top/14.lc_ctrl_tl_errors.1569330333 |
| /workspace/coverage/cover_reg_top/15.lc_ctrl_csr_mem_rw_with_rand_reset.2659506807 |
| /workspace/coverage/cover_reg_top/15.lc_ctrl_csr_rw.1961811226 |
| /workspace/coverage/cover_reg_top/15.lc_ctrl_same_csr_outstanding.1063071249 |
| /workspace/coverage/cover_reg_top/15.lc_ctrl_tl_errors.126697166 |
| /workspace/coverage/cover_reg_top/16.lc_ctrl_csr_mem_rw_with_rand_reset.3911325321 |
| /workspace/coverage/cover_reg_top/16.lc_ctrl_csr_rw.917750312 |
| /workspace/coverage/cover_reg_top/16.lc_ctrl_same_csr_outstanding.2400412191 |
| /workspace/coverage/cover_reg_top/16.lc_ctrl_tl_errors.2797515295 |
| /workspace/coverage/cover_reg_top/16.lc_ctrl_tl_intg_err.2645655211 |
| /workspace/coverage/cover_reg_top/17.lc_ctrl_csr_mem_rw_with_rand_reset.22204486 |
| /workspace/coverage/cover_reg_top/17.lc_ctrl_csr_rw.1145963675 |
| /workspace/coverage/cover_reg_top/17.lc_ctrl_same_csr_outstanding.892585489 |
| /workspace/coverage/cover_reg_top/17.lc_ctrl_tl_errors.3351122062 |
| /workspace/coverage/cover_reg_top/18.lc_ctrl_csr_mem_rw_with_rand_reset.3091495961 |
| /workspace/coverage/cover_reg_top/18.lc_ctrl_csr_rw.509663657 |
| /workspace/coverage/cover_reg_top/18.lc_ctrl_same_csr_outstanding.567085162 |
| /workspace/coverage/cover_reg_top/18.lc_ctrl_tl_errors.860288436 |
| /workspace/coverage/cover_reg_top/18.lc_ctrl_tl_intg_err.1507658799 |
| /workspace/coverage/cover_reg_top/19.lc_ctrl_csr_mem_rw_with_rand_reset.341855788 |
| /workspace/coverage/cover_reg_top/19.lc_ctrl_csr_rw.3632370266 |
| /workspace/coverage/cover_reg_top/19.lc_ctrl_same_csr_outstanding.1637955254 |
| /workspace/coverage/cover_reg_top/19.lc_ctrl_tl_errors.1522731691 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_csr_aliasing.91489286 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_csr_bit_bash.4270709606 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_csr_hw_reset.2521851220 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_csr_mem_rw_with_rand_reset.1244312746 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_csr_rw.671998423 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_jtag_alert_test.3292872761 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_jtag_csr_aliasing.601983413 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_jtag_csr_bit_bash.4065493199 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_jtag_csr_hw_reset.4158385331 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_jtag_csr_mem_rw_with_rand_reset.655851077 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_jtag_csr_rw.319517631 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_jtag_same_csr_outstanding.1884564022 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_same_csr_outstanding.2090271558 |
| /workspace/coverage/cover_reg_top/2.lc_ctrl_tl_errors.3693244499 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_csr_aliasing.339061428 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_csr_bit_bash.2098183483 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_csr_hw_reset.1300171519 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_csr_mem_rw_with_rand_reset.1685153851 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_csr_rw.2448762136 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_jtag_alert_test.3125177207 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_jtag_csr_aliasing.3702873285 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_jtag_csr_bit_bash.3120877377 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_jtag_csr_hw_reset.2538709438 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_jtag_csr_mem_rw_with_rand_reset.816295110 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_jtag_csr_rw.4175921036 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_jtag_same_csr_outstanding.1476098439 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_same_csr_outstanding.1696891947 |
| /workspace/coverage/cover_reg_top/3.lc_ctrl_tl_errors.1405106374 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_csr_aliasing.3607460029 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_csr_bit_bash.1120677805 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_csr_hw_reset.4035528797 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_csr_mem_rw_with_rand_reset.2622822039 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_csr_rw.2116716024 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_jtag_alert_test.1850830566 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_jtag_csr_aliasing.3945114190 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_jtag_csr_bit_bash.3694055438 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_jtag_csr_hw_reset.503281561 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_jtag_csr_mem_rw_with_rand_reset.532596545 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_jtag_csr_rw.2747337457 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_jtag_same_csr_outstanding.1505622443 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_same_csr_outstanding.1178460343 |
| /workspace/coverage/cover_reg_top/4.lc_ctrl_tl_errors.315685585 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_csr_rw.2505783454 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_jtag_alert_test.2403906220 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_jtag_csr_aliasing.4037088688 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_jtag_csr_bit_bash.876590005 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_jtag_csr_hw_reset.4279858612 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_jtag_csr_mem_rw_with_rand_reset.386702642 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_jtag_csr_rw.3498090604 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_jtag_same_csr_outstanding.2707128649 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_same_csr_outstanding.2976359877 |
| /workspace/coverage/cover_reg_top/5.lc_ctrl_tl_errors.3638540373 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_csr_mem_rw_with_rand_reset.2021608193 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_csr_rw.1732898236 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_jtag_alert_test.2232509465 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_jtag_csr_aliasing.3540642590 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_jtag_csr_bit_bash.1433102205 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_jtag_csr_hw_reset.3595005667 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_jtag_csr_mem_rw_with_rand_reset.1955755700 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_jtag_csr_rw.1272915611 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_jtag_same_csr_outstanding.2033535343 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_same_csr_outstanding.1180964195 |
| /workspace/coverage/cover_reg_top/6.lc_ctrl_tl_errors.927114039 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_csr_mem_rw_with_rand_reset.1834833532 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_csr_rw.3357824628 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_jtag_alert_test.770471237 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_jtag_csr_aliasing.1563582893 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_jtag_csr_bit_bash.1743071975 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_jtag_csr_hw_reset.1089125150 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_jtag_csr_mem_rw_with_rand_reset.4069493935 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_jtag_csr_rw.3504766493 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_jtag_same_csr_outstanding.1746335100 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_same_csr_outstanding.256005304 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_tl_errors.2540685643 |
| /workspace/coverage/cover_reg_top/7.lc_ctrl_tl_intg_err.10322645 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_csr_mem_rw_with_rand_reset.3724733322 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_csr_rw.2320013413 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_jtag_alert_test.1662189038 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_jtag_csr_aliasing.326653631 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_jtag_csr_bit_bash.2630757912 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_jtag_csr_hw_reset.1615003679 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_jtag_csr_mem_rw_with_rand_reset.2629598239 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_jtag_csr_rw.3765725123 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_jtag_same_csr_outstanding.1649570597 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_same_csr_outstanding.91280347 |
| /workspace/coverage/cover_reg_top/8.lc_ctrl_tl_errors.505028689 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_csr_mem_rw_with_rand_reset.441080468 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_csr_rw.3683504189 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_jtag_alert_test.3893900677 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_jtag_csr_aliasing.3854003694 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_jtag_csr_bit_bash.2709602617 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_jtag_csr_hw_reset.4081728547 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_jtag_csr_mem_rw_with_rand_reset.3789693389 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_jtag_csr_rw.1250838836 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_jtag_same_csr_outstanding.3401156233 |
| /workspace/coverage/cover_reg_top/9.lc_ctrl_same_csr_outstanding.637999787 |
| /workspace/coverage/default/0.lc_ctrl_alert_test.1803445843 |
| /workspace/coverage/default/0.lc_ctrl_claim_transition_if.1728049122 |
| /workspace/coverage/default/0.lc_ctrl_errors.3937166676 |
| /workspace/coverage/default/0.lc_ctrl_jtag_access.3122697715 |
| /workspace/coverage/default/0.lc_ctrl_jtag_errors.3237475753 |
| /workspace/coverage/default/0.lc_ctrl_jtag_priority.3957122465 |
| /workspace/coverage/default/0.lc_ctrl_jtag_prog_failure.2117993395 |
| /workspace/coverage/default/0.lc_ctrl_jtag_regwen_during_op.234038168 |
| /workspace/coverage/default/0.lc_ctrl_jtag_smoke.2280751210 |
| /workspace/coverage/default/0.lc_ctrl_jtag_state_failure.3509228166 |
| /workspace/coverage/default/0.lc_ctrl_jtag_state_post_trans.504343083 |
| /workspace/coverage/default/0.lc_ctrl_prog_failure.2380587527 |
| /workspace/coverage/default/0.lc_ctrl_regwen_during_op.301385274 |
| /workspace/coverage/default/0.lc_ctrl_sec_cm.1438897655 |
| /workspace/coverage/default/0.lc_ctrl_sec_mubi.862346710 |
| /workspace/coverage/default/0.lc_ctrl_sec_token_digest.2394651436 |
| /workspace/coverage/default/0.lc_ctrl_sec_token_mux.1804618046 |
| /workspace/coverage/default/0.lc_ctrl_security_escalation.2934311917 |
| /workspace/coverage/default/0.lc_ctrl_smoke.3279256163 |
| /workspace/coverage/default/0.lc_ctrl_state_failure.2176320777 |
| /workspace/coverage/default/0.lc_ctrl_state_post_trans.2644257880 |
| /workspace/coverage/default/0.lc_ctrl_stress_all.4170136223 |
| /workspace/coverage/default/0.lc_ctrl_volatile_unlock_smoke.2487560493 |
| /workspace/coverage/default/1.lc_ctrl_alert_test.3218753849 |
| /workspace/coverage/default/1.lc_ctrl_errors.313935903 |
| /workspace/coverage/default/1.lc_ctrl_jtag_access.75339639 |
| /workspace/coverage/default/1.lc_ctrl_jtag_errors.3119613195 |
| /workspace/coverage/default/1.lc_ctrl_jtag_priority.2626913451 |
| /workspace/coverage/default/1.lc_ctrl_jtag_prog_failure.3124864620 |
| /workspace/coverage/default/1.lc_ctrl_jtag_regwen_during_op.997677231 |
| /workspace/coverage/default/1.lc_ctrl_jtag_smoke.3492453935 |
| /workspace/coverage/default/1.lc_ctrl_jtag_state_failure.675317467 |
| /workspace/coverage/default/1.lc_ctrl_jtag_state_post_trans.1700927340 |
| /workspace/coverage/default/1.lc_ctrl_prog_failure.2404266282 |
| /workspace/coverage/default/1.lc_ctrl_regwen_during_op.4290262510 |
| /workspace/coverage/default/1.lc_ctrl_sec_cm.2875657729 |
| /workspace/coverage/default/1.lc_ctrl_sec_mubi.1796084917 |
| /workspace/coverage/default/1.lc_ctrl_sec_token_digest.3561533475 |
| /workspace/coverage/default/1.lc_ctrl_sec_token_mux.372333556 |
| /workspace/coverage/default/1.lc_ctrl_security_escalation.1745646875 |
| /workspace/coverage/default/1.lc_ctrl_smoke.45350519 |
| /workspace/coverage/default/1.lc_ctrl_state_failure.3367829090 |
| /workspace/coverage/default/1.lc_ctrl_state_post_trans.1175235955 |
| /workspace/coverage/default/1.lc_ctrl_stress_all.2119244519 |
| /workspace/coverage/default/1.lc_ctrl_stress_all_with_rand_reset.264030639 |
| /workspace/coverage/default/1.lc_ctrl_volatile_unlock_smoke.622035033 |
| /workspace/coverage/default/10.lc_ctrl_alert_test.278208730 |
| /workspace/coverage/default/10.lc_ctrl_errors.1780929137 |
| /workspace/coverage/default/10.lc_ctrl_jtag_access.2638475278 |
| /workspace/coverage/default/10.lc_ctrl_jtag_errors.4131389305 |
| /workspace/coverage/default/10.lc_ctrl_jtag_prog_failure.796971482 |
| /workspace/coverage/default/10.lc_ctrl_jtag_smoke.3050501653 |
| /workspace/coverage/default/10.lc_ctrl_jtag_state_failure.2646791041 |
| /workspace/coverage/default/10.lc_ctrl_jtag_state_post_trans.497813591 |
| /workspace/coverage/default/10.lc_ctrl_prog_failure.977161729 |
| /workspace/coverage/default/10.lc_ctrl_sec_mubi.1309146369 |
| /workspace/coverage/default/10.lc_ctrl_sec_token_digest.3135495227 |
| /workspace/coverage/default/10.lc_ctrl_sec_token_mux.2914210021 |
| /workspace/coverage/default/10.lc_ctrl_security_escalation.1503306803 |
| /workspace/coverage/default/10.lc_ctrl_smoke.3481169954 |
| /workspace/coverage/default/10.lc_ctrl_state_failure.2070554270 |
| /workspace/coverage/default/10.lc_ctrl_state_post_trans.4082125674 |
| /workspace/coverage/default/10.lc_ctrl_stress_all.3698427363 |
| /workspace/coverage/default/10.lc_ctrl_stress_all_with_rand_reset.935638784 |
| /workspace/coverage/default/10.lc_ctrl_volatile_unlock_smoke.4282839771 |
| /workspace/coverage/default/11.lc_ctrl_alert_test.1972981871 |
| /workspace/coverage/default/11.lc_ctrl_errors.3088069934 |
| /workspace/coverage/default/11.lc_ctrl_jtag_access.3840095951 |
| /workspace/coverage/default/11.lc_ctrl_jtag_errors.1433383514 |
| /workspace/coverage/default/11.lc_ctrl_jtag_prog_failure.2798642452 |
| /workspace/coverage/default/11.lc_ctrl_jtag_smoke.3703422744 |
| /workspace/coverage/default/11.lc_ctrl_jtag_state_failure.1646145326 |
| /workspace/coverage/default/11.lc_ctrl_jtag_state_post_trans.3605791539 |
| /workspace/coverage/default/11.lc_ctrl_prog_failure.763478913 |
| /workspace/coverage/default/11.lc_ctrl_sec_mubi.2292156803 |
| /workspace/coverage/default/11.lc_ctrl_sec_token_digest.539045677 |
| /workspace/coverage/default/11.lc_ctrl_sec_token_mux.3787368077 |
| /workspace/coverage/default/11.lc_ctrl_security_escalation.2719124728 |
| /workspace/coverage/default/11.lc_ctrl_smoke.4283426725 |
| /workspace/coverage/default/11.lc_ctrl_state_failure.1828028229 |
| /workspace/coverage/default/11.lc_ctrl_state_post_trans.870571795 |
| /workspace/coverage/default/11.lc_ctrl_stress_all.1465161322 |
| /workspace/coverage/default/11.lc_ctrl_volatile_unlock_smoke.2576285286 |
| /workspace/coverage/default/12.lc_ctrl_alert_test.1503632106 |
| /workspace/coverage/default/12.lc_ctrl_errors.2079278923 |
| /workspace/coverage/default/12.lc_ctrl_jtag_access.2155063989 |
| /workspace/coverage/default/12.lc_ctrl_jtag_errors.3496275070 |
| /workspace/coverage/default/12.lc_ctrl_jtag_prog_failure.2706243088 |
| /workspace/coverage/default/12.lc_ctrl_jtag_smoke.2429012557 |
| /workspace/coverage/default/12.lc_ctrl_jtag_state_failure.3907551455 |
| /workspace/coverage/default/12.lc_ctrl_jtag_state_post_trans.3629815509 |
| /workspace/coverage/default/12.lc_ctrl_prog_failure.766047719 |
| /workspace/coverage/default/12.lc_ctrl_sec_mubi.695550029 |
| /workspace/coverage/default/12.lc_ctrl_sec_token_digest.608844505 |
| /workspace/coverage/default/12.lc_ctrl_sec_token_mux.3095866066 |
| /workspace/coverage/default/12.lc_ctrl_security_escalation.3899098391 |
| /workspace/coverage/default/12.lc_ctrl_smoke.981002318 |
| /workspace/coverage/default/12.lc_ctrl_state_failure.2663897837 |
| /workspace/coverage/default/12.lc_ctrl_state_post_trans.994198667 |
| /workspace/coverage/default/12.lc_ctrl_stress_all.4217404999 |
| /workspace/coverage/default/12.lc_ctrl_stress_all_with_rand_reset.2616653186 |
| /workspace/coverage/default/12.lc_ctrl_volatile_unlock_smoke.3269406571 |
| /workspace/coverage/default/13.lc_ctrl_alert_test.2978683952 |
| /workspace/coverage/default/13.lc_ctrl_errors.918520050 |
| /workspace/coverage/default/13.lc_ctrl_jtag_access.2420196707 |
| /workspace/coverage/default/13.lc_ctrl_jtag_errors.3493804289 |
| /workspace/coverage/default/13.lc_ctrl_jtag_prog_failure.599042461 |
| /workspace/coverage/default/13.lc_ctrl_jtag_smoke.158541390 |
| /workspace/coverage/default/13.lc_ctrl_jtag_state_failure.3074612671 |
| /workspace/coverage/default/13.lc_ctrl_jtag_state_post_trans.3560833562 |
| /workspace/coverage/default/13.lc_ctrl_prog_failure.1666651589 |
| /workspace/coverage/default/13.lc_ctrl_sec_mubi.1441566056 |
| /workspace/coverage/default/13.lc_ctrl_sec_token_digest.908437373 |
| /workspace/coverage/default/13.lc_ctrl_sec_token_mux.1264829956 |
| /workspace/coverage/default/13.lc_ctrl_security_escalation.3332489214 |
| /workspace/coverage/default/13.lc_ctrl_smoke.4204782138 |
| /workspace/coverage/default/13.lc_ctrl_state_post_trans.1812517580 |
| /workspace/coverage/default/13.lc_ctrl_stress_all.3696426827 |
| /workspace/coverage/default/13.lc_ctrl_stress_all_with_rand_reset.1735097158 |
| /workspace/coverage/default/13.lc_ctrl_volatile_unlock_smoke.4203826108 |
| /workspace/coverage/default/14.lc_ctrl_alert_test.695601025 |
| /workspace/coverage/default/14.lc_ctrl_errors.405913621 |
| /workspace/coverage/default/14.lc_ctrl_jtag_access.632700394 |
| /workspace/coverage/default/14.lc_ctrl_jtag_errors.4164027890 |
| /workspace/coverage/default/14.lc_ctrl_jtag_prog_failure.964634607 |
| /workspace/coverage/default/14.lc_ctrl_jtag_smoke.182249120 |
| /workspace/coverage/default/14.lc_ctrl_jtag_state_failure.3473240472 |
| /workspace/coverage/default/14.lc_ctrl_jtag_state_post_trans.643626731 |
| /workspace/coverage/default/14.lc_ctrl_prog_failure.1219920866 |
| /workspace/coverage/default/14.lc_ctrl_sec_token_digest.1539782554 |
| /workspace/coverage/default/14.lc_ctrl_sec_token_mux.2606015333 |
| /workspace/coverage/default/14.lc_ctrl_security_escalation.2944117917 |
| /workspace/coverage/default/14.lc_ctrl_smoke.3547982892 |
| /workspace/coverage/default/14.lc_ctrl_state_failure.2864318265 |
| /workspace/coverage/default/14.lc_ctrl_state_post_trans.4230464405 |
| /workspace/coverage/default/14.lc_ctrl_stress_all.1489213517 |
| /workspace/coverage/default/14.lc_ctrl_volatile_unlock_smoke.1683405163 |
| /workspace/coverage/default/15.lc_ctrl_alert_test.272572325 |
| /workspace/coverage/default/15.lc_ctrl_errors.1127092064 |
| /workspace/coverage/default/15.lc_ctrl_jtag_access.2185055121 |
| /workspace/coverage/default/15.lc_ctrl_jtag_errors.1923997870 |
| /workspace/coverage/default/15.lc_ctrl_jtag_prog_failure.658981796 |
| /workspace/coverage/default/15.lc_ctrl_jtag_smoke.1541061293 |
| /workspace/coverage/default/15.lc_ctrl_jtag_state_failure.487302250 |
| /workspace/coverage/default/15.lc_ctrl_jtag_state_post_trans.1738922153 |
| /workspace/coverage/default/15.lc_ctrl_prog_failure.551250679 |
| /workspace/coverage/default/15.lc_ctrl_sec_mubi.659489263 |
| /workspace/coverage/default/15.lc_ctrl_sec_token_digest.2103874933 |
| /workspace/coverage/default/15.lc_ctrl_sec_token_mux.274372363 |
| /workspace/coverage/default/15.lc_ctrl_security_escalation.3225487560 |
| /workspace/coverage/default/15.lc_ctrl_smoke.1366754884 |
| /workspace/coverage/default/15.lc_ctrl_state_failure.3130936478 |
| /workspace/coverage/default/15.lc_ctrl_state_post_trans.4090937935 |
| /workspace/coverage/default/15.lc_ctrl_stress_all.2231057540 |
| /workspace/coverage/default/15.lc_ctrl_stress_all_with_rand_reset.3342618307 |
| /workspace/coverage/default/15.lc_ctrl_volatile_unlock_smoke.2050892816 |
| /workspace/coverage/default/16.lc_ctrl_alert_test.3103444294 |
| /workspace/coverage/default/16.lc_ctrl_errors.4216173440 |
| /workspace/coverage/default/16.lc_ctrl_jtag_access.1577091653 |
| /workspace/coverage/default/16.lc_ctrl_jtag_errors.1571492434 |
| /workspace/coverage/default/16.lc_ctrl_jtag_prog_failure.3396823826 |
| /workspace/coverage/default/16.lc_ctrl_jtag_smoke.2725132842 |
| /workspace/coverage/default/16.lc_ctrl_jtag_state_failure.1703347519 |
| /workspace/coverage/default/16.lc_ctrl_jtag_state_post_trans.3273996969 |
| /workspace/coverage/default/16.lc_ctrl_prog_failure.2804133016 |
| /workspace/coverage/default/16.lc_ctrl_sec_mubi.334586299 |
| /workspace/coverage/default/16.lc_ctrl_sec_token_digest.379602132 |
| /workspace/coverage/default/16.lc_ctrl_sec_token_mux.2201370618 |
| /workspace/coverage/default/16.lc_ctrl_security_escalation.1945411795 |
| /workspace/coverage/default/16.lc_ctrl_smoke.3496251542 |
| /workspace/coverage/default/16.lc_ctrl_state_post_trans.180727097 |
| /workspace/coverage/default/16.lc_ctrl_volatile_unlock_smoke.3395768408 |
| /workspace/coverage/default/17.lc_ctrl_alert_test.4230163403 |
| /workspace/coverage/default/17.lc_ctrl_errors.204033904 |
| /workspace/coverage/default/17.lc_ctrl_jtag_access.3792556765 |
| /workspace/coverage/default/17.lc_ctrl_jtag_errors.3096311151 |
| /workspace/coverage/default/17.lc_ctrl_jtag_prog_failure.1849882050 |
| /workspace/coverage/default/17.lc_ctrl_jtag_smoke.1827950656 |
| /workspace/coverage/default/17.lc_ctrl_jtag_state_failure.3242009022 |
| /workspace/coverage/default/17.lc_ctrl_jtag_state_post_trans.4198788807 |
| /workspace/coverage/default/17.lc_ctrl_prog_failure.788590532 |
| /workspace/coverage/default/17.lc_ctrl_sec_mubi.1110775494 |
| /workspace/coverage/default/17.lc_ctrl_sec_token_digest.3818246746 |
| /workspace/coverage/default/17.lc_ctrl_sec_token_mux.2227755675 |
| /workspace/coverage/default/17.lc_ctrl_security_escalation.3152070280 |
| /workspace/coverage/default/17.lc_ctrl_smoke.1791342384 |
| /workspace/coverage/default/17.lc_ctrl_state_failure.3537677847 |
| /workspace/coverage/default/17.lc_ctrl_state_post_trans.1130327398 |
| /workspace/coverage/default/17.lc_ctrl_volatile_unlock_smoke.455662351 |
| /workspace/coverage/default/18.lc_ctrl_alert_test.4259420104 |
| /workspace/coverage/default/18.lc_ctrl_errors.2847445168 |
| /workspace/coverage/default/18.lc_ctrl_jtag_access.3916149424 |
| /workspace/coverage/default/18.lc_ctrl_jtag_errors.592256795 |
| /workspace/coverage/default/18.lc_ctrl_jtag_prog_failure.1710946121 |
| /workspace/coverage/default/18.lc_ctrl_jtag_smoke.828884301 |
| /workspace/coverage/default/18.lc_ctrl_jtag_state_failure.120831315 |
| /workspace/coverage/default/18.lc_ctrl_jtag_state_post_trans.3882673249 |
| /workspace/coverage/default/18.lc_ctrl_prog_failure.2588394283 |
| /workspace/coverage/default/18.lc_ctrl_sec_mubi.1531038149 |
| /workspace/coverage/default/18.lc_ctrl_sec_token_digest.9656467 |
| /workspace/coverage/default/18.lc_ctrl_sec_token_mux.586813915 |
| /workspace/coverage/default/18.lc_ctrl_security_escalation.4287401853 |
| /workspace/coverage/default/18.lc_ctrl_smoke.1653390148 |
| /workspace/coverage/default/18.lc_ctrl_state_failure.2950591550 |
| /workspace/coverage/default/18.lc_ctrl_state_post_trans.4100490038 |
| /workspace/coverage/default/18.lc_ctrl_stress_all.2562862484 |
| /workspace/coverage/default/18.lc_ctrl_stress_all_with_rand_reset.2069823384 |
| /workspace/coverage/default/18.lc_ctrl_volatile_unlock_smoke.565095041 |
| /workspace/coverage/default/19.lc_ctrl_alert_test.2369056972 |
| /workspace/coverage/default/19.lc_ctrl_jtag_access.2521392018 |
| /workspace/coverage/default/19.lc_ctrl_jtag_errors.395332485 |
| /workspace/coverage/default/19.lc_ctrl_jtag_prog_failure.3895648916 |
| /workspace/coverage/default/19.lc_ctrl_jtag_smoke.61124458 |
| /workspace/coverage/default/19.lc_ctrl_jtag_state_failure.768424525 |
| /workspace/coverage/default/19.lc_ctrl_jtag_state_post_trans.1341146378 |
| /workspace/coverage/default/19.lc_ctrl_prog_failure.904827176 |
| /workspace/coverage/default/19.lc_ctrl_sec_mubi.830528858 |
| /workspace/coverage/default/19.lc_ctrl_sec_token_digest.175849967 |
| /workspace/coverage/default/19.lc_ctrl_sec_token_mux.3564889798 |
| /workspace/coverage/default/19.lc_ctrl_security_escalation.667769798 |
| /workspace/coverage/default/19.lc_ctrl_smoke.2086001457 |
| /workspace/coverage/default/19.lc_ctrl_state_failure.3310992120 |
| /workspace/coverage/default/19.lc_ctrl_state_post_trans.2815770632 |
| /workspace/coverage/default/19.lc_ctrl_stress_all.1263485126 |
| /workspace/coverage/default/19.lc_ctrl_stress_all_with_rand_reset.2268893366 |
| /workspace/coverage/default/19.lc_ctrl_volatile_unlock_smoke.4088477616 |
| /workspace/coverage/default/2.lc_ctrl_alert_test.1698698838 |
| /workspace/coverage/default/2.lc_ctrl_claim_transition_if.1271564561 |
| /workspace/coverage/default/2.lc_ctrl_errors.597628618 |
| /workspace/coverage/default/2.lc_ctrl_jtag_access.1359585833 |
| /workspace/coverage/default/2.lc_ctrl_jtag_errors.2764726047 |
| /workspace/coverage/default/2.lc_ctrl_jtag_priority.2401779157 |
| /workspace/coverage/default/2.lc_ctrl_jtag_prog_failure.1839944612 |
| /workspace/coverage/default/2.lc_ctrl_jtag_regwen_during_op.3731270930 |
| /workspace/coverage/default/2.lc_ctrl_jtag_smoke.2214957247 |
| /workspace/coverage/default/2.lc_ctrl_jtag_state_failure.4107319425 |
| /workspace/coverage/default/2.lc_ctrl_jtag_state_post_trans.1165540161 |
| /workspace/coverage/default/2.lc_ctrl_prog_failure.426390721 |
| /workspace/coverage/default/2.lc_ctrl_regwen_during_op.407057446 |
| /workspace/coverage/default/2.lc_ctrl_sec_cm.1958655826 |
| /workspace/coverage/default/2.lc_ctrl_sec_mubi.2692199220 |
| /workspace/coverage/default/2.lc_ctrl_sec_token_digest.708380349 |
| /workspace/coverage/default/2.lc_ctrl_sec_token_mux.3435852005 |
| /workspace/coverage/default/2.lc_ctrl_security_escalation.2331868339 |
| /workspace/coverage/default/2.lc_ctrl_smoke.2096561656 |
| /workspace/coverage/default/2.lc_ctrl_state_failure.3177450395 |
| /workspace/coverage/default/2.lc_ctrl_state_post_trans.752194211 |
| /workspace/coverage/default/2.lc_ctrl_stress_all.1342140796 |
| /workspace/coverage/default/2.lc_ctrl_volatile_unlock_smoke.3411674555 |
| /workspace/coverage/default/20.lc_ctrl_alert_test.915838955 |
| /workspace/coverage/default/20.lc_ctrl_errors.4122049176 |
| /workspace/coverage/default/20.lc_ctrl_jtag_access.2568966256 |
| /workspace/coverage/default/20.lc_ctrl_prog_failure.4151133681 |
| /workspace/coverage/default/20.lc_ctrl_sec_mubi.2595546740 |
| /workspace/coverage/default/20.lc_ctrl_sec_token_digest.1188111489 |
| /workspace/coverage/default/20.lc_ctrl_security_escalation.1025882236 |
| /workspace/coverage/default/20.lc_ctrl_smoke.291348661 |
| /workspace/coverage/default/20.lc_ctrl_state_failure.3537209442 |
| /workspace/coverage/default/20.lc_ctrl_state_post_trans.1799667033 |
| /workspace/coverage/default/20.lc_ctrl_stress_all.2473410205 |
| /workspace/coverage/default/20.lc_ctrl_volatile_unlock_smoke.719555704 |
| /workspace/coverage/default/21.lc_ctrl_alert_test.2940234707 |
| /workspace/coverage/default/21.lc_ctrl_errors.4284430027 |
| /workspace/coverage/default/21.lc_ctrl_jtag_access.3093414635 |
| /workspace/coverage/default/21.lc_ctrl_prog_failure.1771128814 |
| /workspace/coverage/default/21.lc_ctrl_sec_mubi.2037200536 |
| /workspace/coverage/default/21.lc_ctrl_sec_token_digest.219040033 |
| /workspace/coverage/default/21.lc_ctrl_sec_token_mux.568221263 |
| /workspace/coverage/default/21.lc_ctrl_security_escalation.2095723615 |
| /workspace/coverage/default/21.lc_ctrl_smoke.619925828 |
| /workspace/coverage/default/21.lc_ctrl_state_failure.846224924 |
| /workspace/coverage/default/21.lc_ctrl_state_post_trans.3282689267 |
| /workspace/coverage/default/21.lc_ctrl_stress_all.2319088932 |
| /workspace/coverage/default/21.lc_ctrl_stress_all_with_rand_reset.2377353112 |
| /workspace/coverage/default/21.lc_ctrl_volatile_unlock_smoke.56767336 |
| /workspace/coverage/default/22.lc_ctrl_errors.696587710 |
| /workspace/coverage/default/22.lc_ctrl_jtag_access.2046113446 |
| /workspace/coverage/default/22.lc_ctrl_prog_failure.4284409700 |
| /workspace/coverage/default/22.lc_ctrl_sec_mubi.3270271726 |
| /workspace/coverage/default/22.lc_ctrl_sec_token_digest.3508067634 |
| /workspace/coverage/default/22.lc_ctrl_sec_token_mux.1358539454 |
| /workspace/coverage/default/22.lc_ctrl_security_escalation.693753513 |
| /workspace/coverage/default/22.lc_ctrl_smoke.1906090272 |
| /workspace/coverage/default/22.lc_ctrl_state_failure.1050537386 |
| /workspace/coverage/default/22.lc_ctrl_state_post_trans.1309952242 |
| /workspace/coverage/default/22.lc_ctrl_volatile_unlock_smoke.865511936 |
| /workspace/coverage/default/23.lc_ctrl_alert_test.2652866275 |
| /workspace/coverage/default/23.lc_ctrl_errors.1201956695 |
| /workspace/coverage/default/23.lc_ctrl_jtag_access.1584881364 |
| /workspace/coverage/default/23.lc_ctrl_prog_failure.1180703245 |
| /workspace/coverage/default/23.lc_ctrl_sec_mubi.783318242 |
| /workspace/coverage/default/23.lc_ctrl_sec_token_digest.2083922038 |
| /workspace/coverage/default/23.lc_ctrl_sec_token_mux.2488798256 |
| /workspace/coverage/default/23.lc_ctrl_security_escalation.1561558217 |
| /workspace/coverage/default/23.lc_ctrl_smoke.1342136120 |
| /workspace/coverage/default/23.lc_ctrl_state_failure.1414651254 |
| /workspace/coverage/default/23.lc_ctrl_state_post_trans.991784679 |
| /workspace/coverage/default/23.lc_ctrl_volatile_unlock_smoke.1769822006 |
| /workspace/coverage/default/24.lc_ctrl_alert_test.1978287788 |
| /workspace/coverage/default/24.lc_ctrl_errors.3626416587 |
| /workspace/coverage/default/24.lc_ctrl_jtag_access.2474217393 |
| /workspace/coverage/default/24.lc_ctrl_prog_failure.3884461041 |
| /workspace/coverage/default/24.lc_ctrl_sec_mubi.4119957305 |
| /workspace/coverage/default/24.lc_ctrl_sec_token_digest.3485739284 |
| /workspace/coverage/default/24.lc_ctrl_sec_token_mux.2724207892 |
| /workspace/coverage/default/24.lc_ctrl_security_escalation.4147500104 |
| /workspace/coverage/default/24.lc_ctrl_smoke.3095898501 |
| /workspace/coverage/default/24.lc_ctrl_state_failure.504058870 |
| /workspace/coverage/default/24.lc_ctrl_state_post_trans.99880298 |
| /workspace/coverage/default/24.lc_ctrl_stress_all.2777853449 |
| /workspace/coverage/default/24.lc_ctrl_stress_all_with_rand_reset.4212469579 |
| /workspace/coverage/default/24.lc_ctrl_volatile_unlock_smoke.2943753374 |
| /workspace/coverage/default/25.lc_ctrl_alert_test.3062580609 |
| /workspace/coverage/default/25.lc_ctrl_errors.3611442635 |
| /workspace/coverage/default/25.lc_ctrl_jtag_access.89565814 |
| /workspace/coverage/default/25.lc_ctrl_prog_failure.1919528868 |
| /workspace/coverage/default/25.lc_ctrl_sec_mubi.2264027050 |
| /workspace/coverage/default/25.lc_ctrl_sec_token_digest.1421864519 |
| /workspace/coverage/default/25.lc_ctrl_sec_token_mux.2116820673 |
| /workspace/coverage/default/25.lc_ctrl_security_escalation.7888550 |
| /workspace/coverage/default/25.lc_ctrl_smoke.3548942933 |
| /workspace/coverage/default/25.lc_ctrl_state_failure.3309465500 |
| /workspace/coverage/default/25.lc_ctrl_state_post_trans.1338074848 |
| /workspace/coverage/default/25.lc_ctrl_stress_all.253680503 |
| /workspace/coverage/default/25.lc_ctrl_volatile_unlock_smoke.130631980 |
| /workspace/coverage/default/26.lc_ctrl_alert_test.3930940420 |
| /workspace/coverage/default/26.lc_ctrl_errors.587322143 |
| /workspace/coverage/default/26.lc_ctrl_jtag_access.818344699 |
| /workspace/coverage/default/26.lc_ctrl_prog_failure.3689072334 |
| /workspace/coverage/default/26.lc_ctrl_sec_mubi.657865401 |
| /workspace/coverage/default/26.lc_ctrl_sec_token_digest.2258736265 |
| /workspace/coverage/default/26.lc_ctrl_sec_token_mux.2104691215 |
| /workspace/coverage/default/26.lc_ctrl_security_escalation.2216312673 |
| /workspace/coverage/default/26.lc_ctrl_smoke.3367826055 |
| /workspace/coverage/default/26.lc_ctrl_state_failure.116091206 |
| /workspace/coverage/default/26.lc_ctrl_state_post_trans.1221756776 |
| /workspace/coverage/default/26.lc_ctrl_stress_all.1942911249 |
| /workspace/coverage/default/26.lc_ctrl_volatile_unlock_smoke.72774046 |
| /workspace/coverage/default/27.lc_ctrl_alert_test.3347543879 |
| /workspace/coverage/default/27.lc_ctrl_errors.4123362662 |
| /workspace/coverage/default/27.lc_ctrl_jtag_access.357258652 |
| /workspace/coverage/default/27.lc_ctrl_prog_failure.3230984611 |
| /workspace/coverage/default/27.lc_ctrl_sec_mubi.3589080328 |
| /workspace/coverage/default/27.lc_ctrl_sec_token_digest.2100670261 |
| /workspace/coverage/default/27.lc_ctrl_sec_token_mux.1264179287 |
| /workspace/coverage/default/27.lc_ctrl_security_escalation.257888187 |
| /workspace/coverage/default/27.lc_ctrl_smoke.2865532419 |
| /workspace/coverage/default/27.lc_ctrl_state_failure.1847654332 |
| /workspace/coverage/default/27.lc_ctrl_state_post_trans.1642684009 |
| /workspace/coverage/default/27.lc_ctrl_stress_all.2064243898 |
| /workspace/coverage/default/27.lc_ctrl_stress_all_with_rand_reset.1647460661 |
| /workspace/coverage/default/28.lc_ctrl_alert_test.810621522 |
| /workspace/coverage/default/28.lc_ctrl_errors.3099190838 |
| /workspace/coverage/default/28.lc_ctrl_jtag_access.3254023713 |
| /workspace/coverage/default/28.lc_ctrl_prog_failure.2597776010 |
| /workspace/coverage/default/28.lc_ctrl_sec_mubi.3665947791 |
| /workspace/coverage/default/28.lc_ctrl_sec_token_digest.3110703569 |
| /workspace/coverage/default/28.lc_ctrl_sec_token_mux.2326052112 |
| /workspace/coverage/default/28.lc_ctrl_security_escalation.571489707 |
| /workspace/coverage/default/28.lc_ctrl_smoke.3958188383 |
| /workspace/coverage/default/28.lc_ctrl_state_failure.862554032 |
| /workspace/coverage/default/28.lc_ctrl_state_post_trans.2967480648 |
| /workspace/coverage/default/28.lc_ctrl_stress_all.1159431896 |
| /workspace/coverage/default/28.lc_ctrl_volatile_unlock_smoke.569792279 |
| /workspace/coverage/default/29.lc_ctrl_alert_test.885800367 |
| /workspace/coverage/default/29.lc_ctrl_errors.3093500520 |
| /workspace/coverage/default/29.lc_ctrl_jtag_access.1230917061 |
| /workspace/coverage/default/29.lc_ctrl_prog_failure.2841589649 |
| /workspace/coverage/default/29.lc_ctrl_sec_mubi.284940023 |
| /workspace/coverage/default/29.lc_ctrl_sec_token_digest.1106163315 |
| /workspace/coverage/default/29.lc_ctrl_sec_token_mux.2988873630 |
| /workspace/coverage/default/29.lc_ctrl_security_escalation.1654720171 |
| /workspace/coverage/default/29.lc_ctrl_smoke.209240461 |
| /workspace/coverage/default/29.lc_ctrl_state_failure.172359039 |
| /workspace/coverage/default/29.lc_ctrl_state_post_trans.2527318527 |
| /workspace/coverage/default/29.lc_ctrl_stress_all_with_rand_reset.2868622635 |
| /workspace/coverage/default/29.lc_ctrl_volatile_unlock_smoke.687663747 |
| /workspace/coverage/default/3.lc_ctrl_alert_test.2601722721 |
| /workspace/coverage/default/3.lc_ctrl_errors.3071075821 |
| /workspace/coverage/default/3.lc_ctrl_jtag_access.941287042 |
| /workspace/coverage/default/3.lc_ctrl_jtag_errors.968665978 |
| /workspace/coverage/default/3.lc_ctrl_jtag_priority.2103632572 |
| /workspace/coverage/default/3.lc_ctrl_jtag_prog_failure.377824332 |
| /workspace/coverage/default/3.lc_ctrl_jtag_regwen_during_op.2248149105 |
| /workspace/coverage/default/3.lc_ctrl_jtag_smoke.1646306570 |
| /workspace/coverage/default/3.lc_ctrl_jtag_state_failure.721829816 |
| /workspace/coverage/default/3.lc_ctrl_jtag_state_post_trans.2184067575 |
| /workspace/coverage/default/3.lc_ctrl_prog_failure.881458868 |
| /workspace/coverage/default/3.lc_ctrl_regwen_during_op.3203655265 |
| /workspace/coverage/default/3.lc_ctrl_sec_mubi.1959995623 |
| /workspace/coverage/default/3.lc_ctrl_sec_token_digest.96868196 |
| /workspace/coverage/default/3.lc_ctrl_sec_token_mux.3177249865 |
| /workspace/coverage/default/3.lc_ctrl_security_escalation.3794028944 |
| /workspace/coverage/default/3.lc_ctrl_smoke.2853253578 |
| /workspace/coverage/default/3.lc_ctrl_state_failure.2000057737 |
| /workspace/coverage/default/3.lc_ctrl_state_post_trans.986920228 |
| /workspace/coverage/default/3.lc_ctrl_stress_all.258746523 |
| /workspace/coverage/default/3.lc_ctrl_volatile_unlock_smoke.982108999 |
| /workspace/coverage/default/30.lc_ctrl_alert_test.1209934037 |
| /workspace/coverage/default/30.lc_ctrl_errors.3047862660 |
| /workspace/coverage/default/30.lc_ctrl_prog_failure.1680047709 |
| /workspace/coverage/default/30.lc_ctrl_sec_mubi.386693961 |
| /workspace/coverage/default/30.lc_ctrl_sec_token_digest.3665602229 |
| /workspace/coverage/default/30.lc_ctrl_state_failure.2718844258 |
| /workspace/coverage/default/30.lc_ctrl_state_post_trans.2189261096 |
| /workspace/coverage/default/30.lc_ctrl_stress_all.3422393959 |
| /workspace/coverage/default/30.lc_ctrl_stress_all_with_rand_reset.3980077384 |
| /workspace/coverage/default/30.lc_ctrl_volatile_unlock_smoke.1617819942 |
| /workspace/coverage/default/31.lc_ctrl_alert_test.2942088931 |
| /workspace/coverage/default/31.lc_ctrl_errors.2608794889 |
| /workspace/coverage/default/31.lc_ctrl_jtag_access.2534998888 |
| /workspace/coverage/default/31.lc_ctrl_prog_failure.4292460548 |
| /workspace/coverage/default/31.lc_ctrl_sec_mubi.2949835237 |
| /workspace/coverage/default/31.lc_ctrl_sec_token_digest.829911145 |
| /workspace/coverage/default/31.lc_ctrl_sec_token_mux.1706634427 |
| /workspace/coverage/default/31.lc_ctrl_security_escalation.444635649 |
| /workspace/coverage/default/31.lc_ctrl_smoke.2445661424 |
| /workspace/coverage/default/31.lc_ctrl_state_failure.1820987113 |
| /workspace/coverage/default/31.lc_ctrl_stress_all.2248360649 |
| /workspace/coverage/default/31.lc_ctrl_volatile_unlock_smoke.3269906855 |
| /workspace/coverage/default/32.lc_ctrl_alert_test.2417571241 |
| /workspace/coverage/default/32.lc_ctrl_errors.2362652260 |
| /workspace/coverage/default/32.lc_ctrl_jtag_access.231799528 |
| /workspace/coverage/default/32.lc_ctrl_prog_failure.3351969276 |
| /workspace/coverage/default/32.lc_ctrl_sec_mubi.2136332593 |
| /workspace/coverage/default/32.lc_ctrl_sec_token_digest.1151582492 |
| /workspace/coverage/default/32.lc_ctrl_sec_token_mux.2183900619 |
| /workspace/coverage/default/32.lc_ctrl_security_escalation.361805169 |
| /workspace/coverage/default/32.lc_ctrl_smoke.713746103 |
| /workspace/coverage/default/32.lc_ctrl_state_failure.4185632669 |
| /workspace/coverage/default/32.lc_ctrl_state_post_trans.3558871797 |
| /workspace/coverage/default/32.lc_ctrl_stress_all.2193709346 |
| /workspace/coverage/default/32.lc_ctrl_stress_all_with_rand_reset.3688436892 |
| /workspace/coverage/default/32.lc_ctrl_volatile_unlock_smoke.4221660385 |
| /workspace/coverage/default/33.lc_ctrl_alert_test.2626932217 |
| /workspace/coverage/default/33.lc_ctrl_errors.1339008778 |
| /workspace/coverage/default/33.lc_ctrl_jtag_access.300043647 |
| /workspace/coverage/default/33.lc_ctrl_prog_failure.1826029767 |
| /workspace/coverage/default/33.lc_ctrl_sec_mubi.1614203719 |
| /workspace/coverage/default/33.lc_ctrl_sec_token_digest.2482818052 |
| /workspace/coverage/default/33.lc_ctrl_sec_token_mux.2236554691 |
| /workspace/coverage/default/33.lc_ctrl_security_escalation.1394935046 |
| /workspace/coverage/default/33.lc_ctrl_smoke.373239580 |
| /workspace/coverage/default/33.lc_ctrl_state_failure.1863170661 |
| /workspace/coverage/default/33.lc_ctrl_state_post_trans.3306234443 |
| /workspace/coverage/default/33.lc_ctrl_stress_all.69654063 |
| /workspace/coverage/default/33.lc_ctrl_volatile_unlock_smoke.3710440793 |
| /workspace/coverage/default/34.lc_ctrl_alert_test.3545453267 |
| /workspace/coverage/default/34.lc_ctrl_errors.113485726 |
| /workspace/coverage/default/34.lc_ctrl_jtag_access.1525510760 |
| /workspace/coverage/default/34.lc_ctrl_prog_failure.393922168 |
| /workspace/coverage/default/34.lc_ctrl_sec_mubi.2153466272 |
| /workspace/coverage/default/34.lc_ctrl_sec_token_digest.999792361 |
| /workspace/coverage/default/34.lc_ctrl_sec_token_mux.3692987783 |
| /workspace/coverage/default/34.lc_ctrl_security_escalation.3931133844 |
| /workspace/coverage/default/34.lc_ctrl_smoke.2569185271 |
| /workspace/coverage/default/34.lc_ctrl_state_failure.1163024369 |
| /workspace/coverage/default/34.lc_ctrl_state_post_trans.2979478670 |
| /workspace/coverage/default/34.lc_ctrl_stress_all.2257495179 |
| /workspace/coverage/default/34.lc_ctrl_volatile_unlock_smoke.1728291393 |
| /workspace/coverage/default/35.lc_ctrl_alert_test.1868578940 |
| /workspace/coverage/default/35.lc_ctrl_errors.936143621 |
| /workspace/coverage/default/35.lc_ctrl_jtag_access.399293374 |
| /workspace/coverage/default/35.lc_ctrl_prog_failure.2630115866 |
| /workspace/coverage/default/35.lc_ctrl_sec_mubi.2487975473 |
| /workspace/coverage/default/35.lc_ctrl_sec_token_digest.3625924719 |
| /workspace/coverage/default/35.lc_ctrl_sec_token_mux.3923522315 |
| /workspace/coverage/default/35.lc_ctrl_security_escalation.2447196168 |
| /workspace/coverage/default/35.lc_ctrl_smoke.3938411059 |
| /workspace/coverage/default/35.lc_ctrl_state_failure.2539856721 |
| /workspace/coverage/default/35.lc_ctrl_state_post_trans.2569876912 |
| /workspace/coverage/default/35.lc_ctrl_stress_all.75571326 |
| /workspace/coverage/default/35.lc_ctrl_volatile_unlock_smoke.1141671808 |
| /workspace/coverage/default/36.lc_ctrl_alert_test.107705602 |
| /workspace/coverage/default/36.lc_ctrl_errors.3516493308 |
| /workspace/coverage/default/36.lc_ctrl_jtag_access.1978843244 |
| /workspace/coverage/default/36.lc_ctrl_prog_failure.2041042382 |
| /workspace/coverage/default/36.lc_ctrl_sec_mubi.675084567 |
| /workspace/coverage/default/36.lc_ctrl_sec_token_digest.3436348287 |
| /workspace/coverage/default/36.lc_ctrl_sec_token_mux.3296897025 |
| /workspace/coverage/default/36.lc_ctrl_security_escalation.4118914082 |
| /workspace/coverage/default/36.lc_ctrl_smoke.656274019 |
| /workspace/coverage/default/36.lc_ctrl_state_failure.1308457600 |
| /workspace/coverage/default/36.lc_ctrl_state_post_trans.2029044207 |
| /workspace/coverage/default/36.lc_ctrl_stress_all.352743201 |
| /workspace/coverage/default/36.lc_ctrl_volatile_unlock_smoke.316048273 |
| /workspace/coverage/default/37.lc_ctrl_alert_test.3346064106 |
| /workspace/coverage/default/37.lc_ctrl_errors.2065024596 |
| /workspace/coverage/default/37.lc_ctrl_jtag_access.3022319181 |
| /workspace/coverage/default/37.lc_ctrl_prog_failure.2076909825 |
| /workspace/coverage/default/37.lc_ctrl_sec_mubi.3211998954 |
| /workspace/coverage/default/37.lc_ctrl_sec_token_digest.1081589781 |
| /workspace/coverage/default/37.lc_ctrl_sec_token_mux.638623602 |
| /workspace/coverage/default/37.lc_ctrl_security_escalation.3928498875 |
| /workspace/coverage/default/37.lc_ctrl_smoke.1441475116 |
| /workspace/coverage/default/37.lc_ctrl_state_failure.4120187323 |
| /workspace/coverage/default/37.lc_ctrl_state_post_trans.1380979017 |
| /workspace/coverage/default/37.lc_ctrl_stress_all.2108088053 |
| /workspace/coverage/default/37.lc_ctrl_stress_all_with_rand_reset.1613309283 |
| /workspace/coverage/default/37.lc_ctrl_volatile_unlock_smoke.1765791727 |
| /workspace/coverage/default/38.lc_ctrl_alert_test.1602852531 |
| /workspace/coverage/default/38.lc_ctrl_errors.1729625523 |
| /workspace/coverage/default/38.lc_ctrl_jtag_access.3015482892 |
| /workspace/coverage/default/38.lc_ctrl_prog_failure.1003378048 |
| /workspace/coverage/default/38.lc_ctrl_sec_mubi.1086045718 |
| /workspace/coverage/default/38.lc_ctrl_sec_token_digest.4005249243 |
| /workspace/coverage/default/38.lc_ctrl_sec_token_mux.3562960117 |
| /workspace/coverage/default/38.lc_ctrl_security_escalation.2154955959 |
| /workspace/coverage/default/38.lc_ctrl_smoke.415134638 |
| /workspace/coverage/default/38.lc_ctrl_state_failure.2734897709 |
| /workspace/coverage/default/38.lc_ctrl_state_post_trans.3961263384 |
| /workspace/coverage/default/38.lc_ctrl_stress_all.35391241 |
| /workspace/coverage/default/38.lc_ctrl_stress_all_with_rand_reset.1895504079 |
| /workspace/coverage/default/38.lc_ctrl_volatile_unlock_smoke.3984579924 |
| /workspace/coverage/default/39.lc_ctrl_alert_test.1099383003 |
| /workspace/coverage/default/39.lc_ctrl_errors.4109309505 |
| /workspace/coverage/default/39.lc_ctrl_jtag_access.2682845774 |
| /workspace/coverage/default/39.lc_ctrl_prog_failure.4288100605 |
| /workspace/coverage/default/39.lc_ctrl_sec_mubi.1144617100 |
| /workspace/coverage/default/39.lc_ctrl_sec_token_digest.975848672 |
| /workspace/coverage/default/39.lc_ctrl_sec_token_mux.1720767346 |
| /workspace/coverage/default/39.lc_ctrl_smoke.3232666294 |
| /workspace/coverage/default/39.lc_ctrl_state_failure.3865343084 |
| /workspace/coverage/default/39.lc_ctrl_state_post_trans.2944759342 |
| /workspace/coverage/default/39.lc_ctrl_stress_all.3166655450 |
| /workspace/coverage/default/39.lc_ctrl_stress_all_with_rand_reset.3930689536 |
| /workspace/coverage/default/39.lc_ctrl_volatile_unlock_smoke.1098411891 |
| /workspace/coverage/default/4.lc_ctrl_alert_test.911370629 |
| /workspace/coverage/default/4.lc_ctrl_claim_transition_if.3188901594 |
| /workspace/coverage/default/4.lc_ctrl_jtag_access.1948705478 |
| /workspace/coverage/default/4.lc_ctrl_jtag_errors.106408757 |
| /workspace/coverage/default/4.lc_ctrl_jtag_priority.1428394621 |
| /workspace/coverage/default/4.lc_ctrl_jtag_prog_failure.1308275813 |
| /workspace/coverage/default/4.lc_ctrl_jtag_regwen_during_op.471650777 |
| /workspace/coverage/default/4.lc_ctrl_jtag_smoke.609959570 |
| /workspace/coverage/default/4.lc_ctrl_jtag_state_failure.1079634330 |
| /workspace/coverage/default/4.lc_ctrl_jtag_state_post_trans.1283658488 |
| /workspace/coverage/default/4.lc_ctrl_prog_failure.4164194026 |
| /workspace/coverage/default/4.lc_ctrl_regwen_during_op.2622815777 |
| /workspace/coverage/default/4.lc_ctrl_sec_cm.3561456603 |
| /workspace/coverage/default/4.lc_ctrl_sec_mubi.1992491084 |
| /workspace/coverage/default/4.lc_ctrl_sec_token_digest.699029575 |
| /workspace/coverage/default/4.lc_ctrl_sec_token_mux.15939713 |
| /workspace/coverage/default/4.lc_ctrl_security_escalation.2577194049 |
| /workspace/coverage/default/4.lc_ctrl_smoke.3029834358 |
| /workspace/coverage/default/4.lc_ctrl_state_failure.3560897849 |
| /workspace/coverage/default/4.lc_ctrl_state_post_trans.3032381277 |
| /workspace/coverage/default/4.lc_ctrl_stress_all.3311228051 |
| /workspace/coverage/default/4.lc_ctrl_volatile_unlock_smoke.3155630007 |
| /workspace/coverage/default/40.lc_ctrl_alert_test.1708950734 |
| /workspace/coverage/default/40.lc_ctrl_errors.3081352098 |
| /workspace/coverage/default/40.lc_ctrl_jtag_access.664141012 |
| /workspace/coverage/default/40.lc_ctrl_prog_failure.1312277704 |
| /workspace/coverage/default/40.lc_ctrl_sec_mubi.3205306609 |
| /workspace/coverage/default/40.lc_ctrl_sec_token_digest.1839995113 |
| /workspace/coverage/default/40.lc_ctrl_sec_token_mux.2366921875 |
| /workspace/coverage/default/40.lc_ctrl_security_escalation.1744780891 |
| /workspace/coverage/default/40.lc_ctrl_smoke.2365413663 |
| /workspace/coverage/default/40.lc_ctrl_state_failure.2206875516 |
| /workspace/coverage/default/40.lc_ctrl_state_post_trans.1583971782 |
| /workspace/coverage/default/40.lc_ctrl_stress_all.335481286 |
| /workspace/coverage/default/40.lc_ctrl_stress_all_with_rand_reset.3751586953 |
| /workspace/coverage/default/40.lc_ctrl_volatile_unlock_smoke.1191180013 |
| /workspace/coverage/default/41.lc_ctrl_alert_test.2269493066 |
| /workspace/coverage/default/41.lc_ctrl_errors.2958842445 |
| /workspace/coverage/default/41.lc_ctrl_jtag_access.3874351872 |
| /workspace/coverage/default/41.lc_ctrl_prog_failure.3775542784 |
| /workspace/coverage/default/41.lc_ctrl_sec_mubi.1077901469 |
| /workspace/coverage/default/41.lc_ctrl_sec_token_digest.790086155 |
| /workspace/coverage/default/41.lc_ctrl_sec_token_mux.2418278191 |
| /workspace/coverage/default/41.lc_ctrl_security_escalation.873354171 |
| /workspace/coverage/default/41.lc_ctrl_smoke.2324936090 |
| /workspace/coverage/default/41.lc_ctrl_state_failure.1227946806 |
| /workspace/coverage/default/41.lc_ctrl_state_post_trans.2610702179 |
| /workspace/coverage/default/41.lc_ctrl_stress_all.1070779057 |
| /workspace/coverage/default/41.lc_ctrl_stress_all_with_rand_reset.2818204762 |
| /workspace/coverage/default/41.lc_ctrl_volatile_unlock_smoke.1082597855 |
| /workspace/coverage/default/42.lc_ctrl_alert_test.787893790 |
| /workspace/coverage/default/42.lc_ctrl_errors.3815574243 |
| /workspace/coverage/default/42.lc_ctrl_jtag_access.1222789352 |
| /workspace/coverage/default/42.lc_ctrl_prog_failure.2408293089 |
| /workspace/coverage/default/42.lc_ctrl_sec_mubi.3444789544 |
| /workspace/coverage/default/42.lc_ctrl_sec_token_digest.2308694270 |
| /workspace/coverage/default/42.lc_ctrl_sec_token_mux.65427195 |
| /workspace/coverage/default/42.lc_ctrl_security_escalation.721350636 |
| /workspace/coverage/default/42.lc_ctrl_smoke.2766767488 |
| /workspace/coverage/default/42.lc_ctrl_state_failure.3005590666 |
| /workspace/coverage/default/42.lc_ctrl_state_post_trans.2724885516 |
| /workspace/coverage/default/42.lc_ctrl_stress_all.450255286 |
| /workspace/coverage/default/42.lc_ctrl_volatile_unlock_smoke.2142571062 |
| /workspace/coverage/default/43.lc_ctrl_alert_test.3244391573 |
| /workspace/coverage/default/43.lc_ctrl_errors.239572812 |
| /workspace/coverage/default/43.lc_ctrl_jtag_access.3535234635 |
| /workspace/coverage/default/43.lc_ctrl_prog_failure.2270003906 |
| /workspace/coverage/default/43.lc_ctrl_sec_mubi.2786331401 |
| /workspace/coverage/default/43.lc_ctrl_sec_token_digest.3788576823 |
| /workspace/coverage/default/43.lc_ctrl_sec_token_mux.2971929022 |
| /workspace/coverage/default/43.lc_ctrl_security_escalation.1361510313 |
| /workspace/coverage/default/43.lc_ctrl_smoke.1567469858 |
| /workspace/coverage/default/43.lc_ctrl_state_failure.58402421 |
| /workspace/coverage/default/43.lc_ctrl_state_post_trans.795019497 |
| /workspace/coverage/default/43.lc_ctrl_volatile_unlock_smoke.1107617570 |
| /workspace/coverage/default/44.lc_ctrl_alert_test.837204643 |
| /workspace/coverage/default/44.lc_ctrl_errors.3016088214 |
| /workspace/coverage/default/44.lc_ctrl_jtag_access.602756340 |
| /workspace/coverage/default/44.lc_ctrl_prog_failure.3895029068 |
| /workspace/coverage/default/44.lc_ctrl_sec_mubi.2175505897 |
| /workspace/coverage/default/44.lc_ctrl_sec_token_digest.216478890 |
| /workspace/coverage/default/44.lc_ctrl_sec_token_mux.3637163306 |
| /workspace/coverage/default/44.lc_ctrl_security_escalation.120539303 |
| /workspace/coverage/default/44.lc_ctrl_smoke.1818963912 |
| /workspace/coverage/default/44.lc_ctrl_state_failure.2434770642 |
| /workspace/coverage/default/44.lc_ctrl_state_post_trans.291464414 |
| /workspace/coverage/default/44.lc_ctrl_stress_all.2765306913 |
| /workspace/coverage/default/44.lc_ctrl_volatile_unlock_smoke.3799868568 |
| /workspace/coverage/default/45.lc_ctrl_alert_test.2785718829 |
| /workspace/coverage/default/45.lc_ctrl_errors.3459368706 |
| /workspace/coverage/default/45.lc_ctrl_jtag_access.3599706974 |
| /workspace/coverage/default/45.lc_ctrl_prog_failure.3847176082 |
| /workspace/coverage/default/45.lc_ctrl_sec_mubi.2935849277 |
| /workspace/coverage/default/45.lc_ctrl_sec_token_digest.2857030701 |
| /workspace/coverage/default/45.lc_ctrl_sec_token_mux.1954191564 |
| /workspace/coverage/default/45.lc_ctrl_security_escalation.2293513747 |
| /workspace/coverage/default/45.lc_ctrl_smoke.63505653 |
| /workspace/coverage/default/45.lc_ctrl_state_failure.13868531 |
| /workspace/coverage/default/45.lc_ctrl_state_post_trans.2118715042 |
| /workspace/coverage/default/45.lc_ctrl_stress_all.3385128885 |
| /workspace/coverage/default/45.lc_ctrl_volatile_unlock_smoke.3101743044 |
| /workspace/coverage/default/46.lc_ctrl_alert_test.2359307117 |
| /workspace/coverage/default/46.lc_ctrl_errors.2061690731 |
| /workspace/coverage/default/46.lc_ctrl_jtag_access.2046450834 |
| /workspace/coverage/default/46.lc_ctrl_prog_failure.2506456548 |
| /workspace/coverage/default/46.lc_ctrl_sec_mubi.3117123252 |
| /workspace/coverage/default/46.lc_ctrl_sec_token_digest.1140893675 |
| /workspace/coverage/default/46.lc_ctrl_sec_token_mux.848877127 |
| /workspace/coverage/default/46.lc_ctrl_security_escalation.1206513395 |
| /workspace/coverage/default/46.lc_ctrl_smoke.2559120742 |
| /workspace/coverage/default/46.lc_ctrl_state_failure.2577061182 |
| /workspace/coverage/default/46.lc_ctrl_state_post_trans.4056353828 |
| /workspace/coverage/default/46.lc_ctrl_stress_all.1317140192 |
| /workspace/coverage/default/46.lc_ctrl_volatile_unlock_smoke.4292696712 |
| /workspace/coverage/default/47.lc_ctrl_alert_test.451472822 |
| /workspace/coverage/default/47.lc_ctrl_errors.2800903033 |
| /workspace/coverage/default/47.lc_ctrl_jtag_access.3570816414 |
| /workspace/coverage/default/47.lc_ctrl_prog_failure.1459081900 |
| /workspace/coverage/default/47.lc_ctrl_sec_mubi.547940134 |
| /workspace/coverage/default/47.lc_ctrl_sec_token_digest.796609688 |
| /workspace/coverage/default/47.lc_ctrl_sec_token_mux.931108402 |
| /workspace/coverage/default/47.lc_ctrl_security_escalation.144351659 |
| /workspace/coverage/default/47.lc_ctrl_smoke.1747895460 |
| /workspace/coverage/default/47.lc_ctrl_state_failure.3019757424 |
| /workspace/coverage/default/47.lc_ctrl_state_post_trans.2191825943 |
| /workspace/coverage/default/47.lc_ctrl_stress_all.2219031778 |
| /workspace/coverage/default/47.lc_ctrl_stress_all_with_rand_reset.2536475188 |
| /workspace/coverage/default/47.lc_ctrl_volatile_unlock_smoke.2493775233 |
| /workspace/coverage/default/48.lc_ctrl_alert_test.441421505 |
| /workspace/coverage/default/48.lc_ctrl_errors.1343852355 |
| /workspace/coverage/default/48.lc_ctrl_jtag_access.638621148 |
| /workspace/coverage/default/48.lc_ctrl_prog_failure.1238625507 |
| /workspace/coverage/default/48.lc_ctrl_sec_mubi.3547997443 |
| /workspace/coverage/default/48.lc_ctrl_sec_token_digest.3580845861 |
| /workspace/coverage/default/48.lc_ctrl_sec_token_mux.3864495900 |
| /workspace/coverage/default/48.lc_ctrl_security_escalation.1616028585 |
| /workspace/coverage/default/48.lc_ctrl_smoke.2912947064 |
| /workspace/coverage/default/48.lc_ctrl_state_failure.3997207918 |
| /workspace/coverage/default/48.lc_ctrl_state_post_trans.839466332 |
| /workspace/coverage/default/48.lc_ctrl_stress_all.3711619245 |
| /workspace/coverage/default/48.lc_ctrl_stress_all_with_rand_reset.4131889774 |
| /workspace/coverage/default/48.lc_ctrl_volatile_unlock_smoke.3365166347 |
| /workspace/coverage/default/49.lc_ctrl_alert_test.2487434193 |
| /workspace/coverage/default/49.lc_ctrl_errors.732419206 |
| /workspace/coverage/default/49.lc_ctrl_jtag_access.1816095234 |
| /workspace/coverage/default/49.lc_ctrl_prog_failure.1461061027 |
| /workspace/coverage/default/49.lc_ctrl_sec_mubi.1322901890 |
| /workspace/coverage/default/49.lc_ctrl_sec_token_digest.2555039661 |
| /workspace/coverage/default/49.lc_ctrl_sec_token_mux.409287361 |
| /workspace/coverage/default/49.lc_ctrl_smoke.4286511947 |
| /workspace/coverage/default/49.lc_ctrl_state_failure.2419910165 |
| /workspace/coverage/default/49.lc_ctrl_state_post_trans.2514015215 |
| /workspace/coverage/default/49.lc_ctrl_stress_all.1179517858 |
| /workspace/coverage/default/49.lc_ctrl_volatile_unlock_smoke.621602167 |
| /workspace/coverage/default/5.lc_ctrl_alert_test.3852847749 |
| /workspace/coverage/default/5.lc_ctrl_claim_transition_if.3280699664 |
| /workspace/coverage/default/5.lc_ctrl_errors.3942917668 |
| /workspace/coverage/default/5.lc_ctrl_jtag_access.3104460574 |
| /workspace/coverage/default/5.lc_ctrl_jtag_errors.1996802455 |
| /workspace/coverage/default/5.lc_ctrl_jtag_priority.917361014 |
| /workspace/coverage/default/5.lc_ctrl_jtag_prog_failure.3091166509 |
| /workspace/coverage/default/5.lc_ctrl_jtag_regwen_during_op.1367547151 |
| /workspace/coverage/default/5.lc_ctrl_jtag_smoke.1441793932 |
| /workspace/coverage/default/5.lc_ctrl_jtag_state_failure.1675525249 |
| /workspace/coverage/default/5.lc_ctrl_jtag_state_post_trans.500315881 |
| /workspace/coverage/default/5.lc_ctrl_prog_failure.3814968530 |
| /workspace/coverage/default/5.lc_ctrl_regwen_during_op.3461110099 |
| /workspace/coverage/default/5.lc_ctrl_sec_mubi.3005086154 |
| /workspace/coverage/default/5.lc_ctrl_sec_token_digest.3569987665 |
| /workspace/coverage/default/5.lc_ctrl_sec_token_mux.4272147987 |
| /workspace/coverage/default/5.lc_ctrl_security_escalation.4038990519 |
| /workspace/coverage/default/5.lc_ctrl_smoke.2793082529 |
| /workspace/coverage/default/5.lc_ctrl_state_failure.1656076455 |
| /workspace/coverage/default/5.lc_ctrl_state_post_trans.4236271438 |
| /workspace/coverage/default/5.lc_ctrl_stress_all.4178599580 |
| /workspace/coverage/default/5.lc_ctrl_volatile_unlock_smoke.3442912397 |
| /workspace/coverage/default/6.lc_ctrl_alert_test.1791891233 |
| /workspace/coverage/default/6.lc_ctrl_claim_transition_if.389514132 |
| /workspace/coverage/default/6.lc_ctrl_errors.2721795108 |
| /workspace/coverage/default/6.lc_ctrl_jtag_access.625534188 |
| /workspace/coverage/default/6.lc_ctrl_jtag_errors.3532855666 |
| /workspace/coverage/default/6.lc_ctrl_jtag_priority.1144421990 |
| /workspace/coverage/default/6.lc_ctrl_jtag_prog_failure.2342395693 |
| /workspace/coverage/default/6.lc_ctrl_jtag_regwen_during_op.1858745803 |
| /workspace/coverage/default/6.lc_ctrl_jtag_smoke.2702910149 |
| /workspace/coverage/default/6.lc_ctrl_jtag_state_failure.2534673502 |
| /workspace/coverage/default/6.lc_ctrl_jtag_state_post_trans.2305131799 |
| /workspace/coverage/default/6.lc_ctrl_prog_failure.4028167344 |
| /workspace/coverage/default/6.lc_ctrl_regwen_during_op.330469293 |
| /workspace/coverage/default/6.lc_ctrl_sec_mubi.1451482062 |
| /workspace/coverage/default/6.lc_ctrl_sec_token_digest.3019282521 |
| /workspace/coverage/default/6.lc_ctrl_sec_token_mux.3898628543 |
| /workspace/coverage/default/6.lc_ctrl_security_escalation.3284732130 |
| /workspace/coverage/default/6.lc_ctrl_smoke.3303180031 |
| /workspace/coverage/default/6.lc_ctrl_state_failure.948030342 |
| /workspace/coverage/default/6.lc_ctrl_state_post_trans.4181084386 |
| /workspace/coverage/default/6.lc_ctrl_stress_all.2073353163 |
| /workspace/coverage/default/6.lc_ctrl_volatile_unlock_smoke.167326326 |
| /workspace/coverage/default/7.lc_ctrl_alert_test.2002813905 |
| /workspace/coverage/default/7.lc_ctrl_errors.4141679178 |
| /workspace/coverage/default/7.lc_ctrl_jtag_access.153779545 |
| /workspace/coverage/default/7.lc_ctrl_jtag_errors.2997256722 |
| /workspace/coverage/default/7.lc_ctrl_jtag_priority.2522682316 |
| /workspace/coverage/default/7.lc_ctrl_jtag_prog_failure.3270081660 |
| /workspace/coverage/default/7.lc_ctrl_jtag_regwen_during_op.3073486983 |
| /workspace/coverage/default/7.lc_ctrl_jtag_smoke.3897001150 |
| /workspace/coverage/default/7.lc_ctrl_jtag_state_failure.2120684373 |
| /workspace/coverage/default/7.lc_ctrl_jtag_state_post_trans.3296680380 |
| /workspace/coverage/default/7.lc_ctrl_prog_failure.3083170884 |
| /workspace/coverage/default/7.lc_ctrl_regwen_during_op.1879788668 |
| /workspace/coverage/default/7.lc_ctrl_sec_mubi.600926644 |
| /workspace/coverage/default/7.lc_ctrl_sec_token_digest.4184253924 |
| /workspace/coverage/default/7.lc_ctrl_sec_token_mux.1842282155 |
| /workspace/coverage/default/7.lc_ctrl_security_escalation.232896674 |
| /workspace/coverage/default/7.lc_ctrl_smoke.2772746958 |
| /workspace/coverage/default/7.lc_ctrl_state_post_trans.1624145733 |
| /workspace/coverage/default/7.lc_ctrl_stress_all.485361911 |
| /workspace/coverage/default/7.lc_ctrl_stress_all_with_rand_reset.4204743904 |
| /workspace/coverage/default/7.lc_ctrl_volatile_unlock_smoke.593710331 |
| /workspace/coverage/default/8.lc_ctrl_alert_test.1046085461 |
| /workspace/coverage/default/8.lc_ctrl_errors.139465007 |
| /workspace/coverage/default/8.lc_ctrl_jtag_access.4197054867 |
| /workspace/coverage/default/8.lc_ctrl_jtag_errors.1437727209 |
| /workspace/coverage/default/8.lc_ctrl_jtag_priority.897299954 |
| /workspace/coverage/default/8.lc_ctrl_jtag_prog_failure.997094447 |
| /workspace/coverage/default/8.lc_ctrl_jtag_regwen_during_op.772759709 |
| /workspace/coverage/default/8.lc_ctrl_jtag_smoke.2483414181 |
| /workspace/coverage/default/8.lc_ctrl_jtag_state_failure.650526355 |
| /workspace/coverage/default/8.lc_ctrl_jtag_state_post_trans.1265020293 |
| /workspace/coverage/default/8.lc_ctrl_prog_failure.3459940985 |
| /workspace/coverage/default/8.lc_ctrl_regwen_during_op.3635691006 |
| /workspace/coverage/default/8.lc_ctrl_sec_mubi.1512275560 |
| /workspace/coverage/default/8.lc_ctrl_sec_token_digest.2378948365 |
| /workspace/coverage/default/8.lc_ctrl_sec_token_mux.1437029803 |
| /workspace/coverage/default/8.lc_ctrl_security_escalation.2233957227 |
| /workspace/coverage/default/8.lc_ctrl_smoke.3555521772 |
| /workspace/coverage/default/8.lc_ctrl_state_failure.1309523803 |
| /workspace/coverage/default/8.lc_ctrl_state_post_trans.2418724169 |
| /workspace/coverage/default/8.lc_ctrl_stress_all.3224110582 |
| /workspace/coverage/default/8.lc_ctrl_volatile_unlock_smoke.718453007 |
| /workspace/coverage/default/9.lc_ctrl_alert_test.197373248 |
| /workspace/coverage/default/9.lc_ctrl_claim_transition_if.2954119747 |
| /workspace/coverage/default/9.lc_ctrl_errors.3512948966 |
| /workspace/coverage/default/9.lc_ctrl_jtag_access.2179500989 |
| /workspace/coverage/default/9.lc_ctrl_jtag_errors.1397034920 |
| /workspace/coverage/default/9.lc_ctrl_jtag_priority.2091337710 |
| /workspace/coverage/default/9.lc_ctrl_jtag_prog_failure.869689475 |
| /workspace/coverage/default/9.lc_ctrl_jtag_regwen_during_op.794647089 |
| /workspace/coverage/default/9.lc_ctrl_jtag_smoke.3852399826 |
| /workspace/coverage/default/9.lc_ctrl_jtag_state_failure.26340069 |
| /workspace/coverage/default/9.lc_ctrl_jtag_state_post_trans.1189806832 |
| /workspace/coverage/default/9.lc_ctrl_prog_failure.1173562005 |
| /workspace/coverage/default/9.lc_ctrl_regwen_during_op.3511179874 |
| /workspace/coverage/default/9.lc_ctrl_sec_mubi.1438974907 |
| /workspace/coverage/default/9.lc_ctrl_sec_token_digest.2608545527 |
| /workspace/coverage/default/9.lc_ctrl_sec_token_mux.3646083485 |
| /workspace/coverage/default/9.lc_ctrl_security_escalation.2101034468 |
| /workspace/coverage/default/9.lc_ctrl_smoke.971153040 |
| /workspace/coverage/default/9.lc_ctrl_state_failure.1140956279 |
| /workspace/coverage/default/9.lc_ctrl_state_post_trans.1859175600 |
| /workspace/coverage/default/9.lc_ctrl_stress_all.4194592293 |
| /workspace/coverage/default/9.lc_ctrl_volatile_unlock_smoke.1136515126 |