Static timing analysis (STA) in vivado