diff options
Diffstat (limited to 'common/timing.h')
| -rw-r--r-- | common/timing.h | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/common/timing.h b/common/timing.h index de4f7bbe..d0159d5c 100644 --- a/common/timing.h +++ b/common/timing.h @@ -24,11 +24,8 @@ 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); +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 |