diff options
Diffstat (limited to 'common/timing.h')
| -rw-r--r-- | common/timing.h | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/common/timing.h b/common/timing.h index 025e4a76..d0159d5c 100644 --- a/common/timing.h +++ b/common/timing.h @@ -24,8 +24,12 @@ 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 assign_budget(Context *ctx, bool quiet = 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 |