Documentation on how to perform static timing, with detailed examples on writing constraints and how to validate timing reports.