1 files changed, 7 insertions, 0 deletions
diff --git a/common/timing.h b/common/timing.h
index 025e4a76..de4f7bbe 100644
--- a/common/timing.h
+++ b/common/timing.h
@@ -27,6 +27,13 @@ NEXTPNR_NAMESPACE_BEGIN
 // Assign "budget" values for all user ports in the design
 void assign_budget(Context *ctx);
 
+// Evenly redistribute the total path slack amongst all sinks on each path
+void update_budget(Context *ctx);
+
+// Perform timing analysis and return the minimum path slack,
+//   optionally, print out the fmax and critical path
+delay_t timing_analysis(Context *ctx, bool print_fmax = false, bool print_path = false);
+
 NEXTPNR_NAMESPACE_END
 
 #endif