diff options
| author | Eddie Hung <eddie.hung+gitlab@gmail.com> | 2018-07-28 21:13:36 +0000 |
|---|---|---|
| committer | Eddie Hung <eddie.hung+gitlab@gmail.com> | 2018-07-28 21:13:36 +0000 |
| commit | b7bdc8db0575f69157de5f89369619c708160d46 (patch) | |
| tree | ac314ed94a819bf91dffc3f005e04d6cbf137cb4 /common/timing.h | |
| parent | 7c1a7e7596cfdf1718e8c479cb281a3cedf0ec57 (diff) | |
| parent | beabb429b0be91c597cb2a9f7726a159a6f40b32 (diff) | |
| download | nextpnr-b7bdc8db0575f69157de5f89369619c708160d46.tar.gz nextpnr-b7bdc8db0575f69157de5f89369619c708160d46.tar.bz2 nextpnr-b7bdc8db0575f69157de5f89369619c708160d46.zip | |
Merge branch 'redist_slack' into 'redist_slack'
Redist slack
See merge request eddiehung/nextpnr!14
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 |