clock clk

# Hard (cold) reset declared; warm/core resets are free inputs (see README).
reset cptra_pwrgood -active 0 -cycles 2
reset_assign rst_b 1'b0
reset_assign core_only_rst_b 1'b0
reset_assign fw_update_rst_window 1'b0
reset_assign iccm_unlock 1'b0
# fw_update_rst_window and iccm_unlock are otherwise free (bug hunt); the window
# is shaped by the asm_win_* assumptions in pv_checker.sv to match the SoC.

exclude -covers *
cover *.cov_warm_reset_reachable
cover *.cov_clear_during_write
cover *.cov_pcr_lock_and_clear_same_write
