diff options
Diffstat (limited to 'common/timing.h')
| -rw-r--r-- | common/timing.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/common/timing.h b/common/timing.h index a1e12ab3..de4f7bbe 100644 --- a/common/timing.h +++ b/common/timing.h @@ -30,7 +30,9 @@ void assign_budget(Context *ctx); // Evenly redistribute the total path slack amongst all sinks on each path void update_budget(Context *ctx); -void compute_fmax(Context *ctx, bool print_fmax = false, bool print_path = false); +// 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 |