^ it seems like even with the clocks specified in ...
# caravel
a
^ it seems like even with the clocks specified in the user_project_wrapper/config.tcl, there's still no STA done