################################
原理就是检查clock pin有没有clock定义。
################################
foreach pin [get_object_name [get_pins -of_objects [all_register] -filter "is_clock_pin"]] {
if {[get_attribute [get_pins $pin] clocks] == ""} {
puts "missing clock definition: $pin"
}
}