timing: Add support for clock constraints

Signed-off-by: David Shah <dave@ds0.me>

3 files changed, 35 insertions, 4 deletions

diff --git a/common/nextpnr.cc b/common/nextpnr.cc
index 3621217b..8e8a8d19 100644
--- a/common/nextpnr.cc
+++ b/common/nextpnr.cc
@@ -381,4 +381,13 @@ void Context::check() const
     }
 }
 
+void BaseCtx::addClock(IdString net, float freq)
+{
+    std::unique_ptr<ClockConstraint> cc(new ClockConstraint());
+    cc->period = getCtx()->getDelayFromNS(1000 / freq);
+    cc->high = getCtx()->getDelayFromNS(500 / freq);
+    cc->low = getCtx()->getDelayFromNS(500 / freq);
+    nets.at(net)->clkconstr = std::move(cc);
+}
+
 NEXTPNR_NAMESPACE_END
diff --git a/common/nextpnr.h b/common/nextpnr.h
index 216e1532..70af6c71 100644
--- a/common/nextpnr.h
+++ b/common/nextpnr.h
@@ -297,7 +297,7 @@ struct NetInfo : ArchNetInfo
     // wire -> uphill_pip
     std::unordered_map<WireId, PipMap> wires;
 
-    ClockConstraint *clkconstr = nullptr;
+    std::unique_ptr<ClockConstraint> clkconstr;
 
     TimingConstrObjectId tmg_id;
 
@@ -627,6 +627,9 @@ struct BaseCtx
 
     void addConstraint(std::unique_ptr<TimingConstraint> constr);
     void removeConstraint(IdString constrName);
+
+    // Intended to simplify Python API
+    void addClock(IdString net, float freq);
 };
 
 NEXTPNR_NAMESPACE_END
diff --git a/common/timing.cc b/common/timing.cc
index 8351b1f3..fec74312 100644
--- a/common/timing.cc
+++ b/common/timing.cc
@@ -315,13 +315,26 @@ struct Timing
                             const auto endpoint_arrival = net_arrival + net_delay + setup;
                             auto path_budget = clk_period - endpoint_arrival;
                             delay_t period;
-
+                            // Set default period
                             if (edge == startdomain.first.edge) {
                                 period = clk_period;
                             } else {
                                 period = clk_period / 2;
                             }
-
+                            if (clksig != async_clock) {
+                                if (ctx->nets.at(clksig)->clkconstr) {
+                                    if (edge == startdomain.first.edge) {
+                                        // same edge
+                                        period = ctx->nets.at(clksig)->clkconstr->period.minDelay();
+                                    } else if (edge == RISING_EDGE) {
+                                        // falling -> rising
+                                        period = ctx->nets.at(clksig)->clkconstr->low.minDelay();
+                                    } else if (edge == FALLING_EDGE) {
+                                        // rising -> falling
+                                        period = ctx->nets.at(clksig)->clkconstr->high.minDelay();
+                                    }
+                                }
+                            }
                             if (update) {
                                 auto budget_share = budget_override ? 0 : path_budget / net_length_plus_one;
                                 usr.budget = std::min(usr.budget, net_delay + budget_share);
@@ -637,7 +650,13 @@ void timing_analysis(Context *ctx, bool print_histogram, bool print_fmax, bool p
     if (print_fmax) {
         log_break();
         for (auto &clock : clock_reports) {
-            log_info("Max frequency for clock '%s': %.02f MHz\n", clock.first.c_str(ctx), clock_fmax[clock.first]);
+            if (ctx->nets.at(clock.first)->clkconstr) {
+                float target = 1000 / ctx->getDelayNS(ctx->nets.at(clock.first)->clkconstr->period.minDelay());
+                log_info("Max frequency for clock '%s': %.02f MHz (%s at %.02f MHz)\n", clock.first.c_str(ctx),
+                         clock_fmax[clock.first], (target < clock_fmax[clock.first]) ? "PASS" : "FAIL", target);
+            } else {
+                log_info("Max frequency for clock '%s': %.02f MHz\n", clock.first.c_str(ctx), clock_fmax[clock.first]);
+            }
         }
         log_break();