# Copyright lowRISC contributors.
# Licensed under the Apache License, Version 2.0, see LICENSE for details.
# SPDX-License-Identifier: Apache-2.0
check_unr -setup 

#Setup the clock and reset the design 
clock -infer
reset rst_n
get_reset_info

set_prove_time_limit 5m

check_unr -prove
check_unr -list -type unreachable
database -export_unicov
report -detailed