Merge pull request #234 from YosysHQ/issue233

[timing] Fix off-by-one error
This commit is contained in:
Eddie Hung 2019-02-12 07:05:26 -08:00 committed by GitHub
commit d24d85a6e4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -930,7 +930,7 @@ void timing_analysis(Context *ctx, bool print_histogram, bool print_fmax, bool p
unsigned bar_width = 60;
auto min_slack = slack_histogram.begin()->first;
auto max_slack = slack_histogram.rbegin()->first;
auto bin_size = std::max<unsigned>(1, ceil((max_slack - min_slack) / float(num_bins)));
auto bin_size = std::max<unsigned>(1, ceil((max_slack - min_slack + 1) / float(num_bins)));
std::vector<unsigned> bins(num_bins);
unsigned max_freq = 0;
for (const auto &i : slack_histogram) {