diff options
| author | Eddie Hung <eddie.hung+gitlab@gmail.com> | 2018-07-28 19:52:17 +0000 |
|---|---|---|
| committer | Eddie Hung <eddie.hung+gitlab@gmail.com> | 2018-07-28 19:52:17 +0000 |
| commit | 7c1a7e7596cfdf1718e8c479cb281a3cedf0ec57 (patch) | |
| tree | 6f21160deed301364cd866adf9d8dd2244e7c995 /common/timing.h | |
| parent | 48b9d05d85dd2192b194cc7f931dfd2ac7663778 (diff) | |
| parent | 0eaa92bd6a160696c2f221501d610c99d9231bef (diff) | |
| download | nextpnr-7c1a7e7596cfdf1718e8c479cb281a3cedf0ec57.tar.gz nextpnr-7c1a7e7596cfdf1718e8c479cb281a3cedf0ec57.tar.bz2 nextpnr-7c1a7e7596cfdf1718e8c479cb281a3cedf0ec57.zip | |
Merge branch 'redist_slack' into 'redist_slack'
Redist slack
See merge request eddiehung/nextpnr!13
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 |