From 5b50dc0099a9516a70711937a4ba6e590a8d4159 Mon Sep 17 00:00:00 2001
From: James Cherry <cherry@parallaxsw.com>
Date: Wed, 2 Nov 2022 12:19:30 -0700
Subject: [PATCH] vcd clk period check

Signed-off-by: James Cherry <cherry@parallaxsw.com>
---
 power/ReadVcdActivities.cc | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/power/ReadVcdActivities.cc b/power/ReadVcdActivities.cc
index 0dbe7a70..026df182 100644
--- a/power/ReadVcdActivities.cc
+++ b/power/ReadVcdActivities.cc
@@ -213,7 +213,10 @@ ReadVcdActivities::checkClkPeriod(const Pin *pin,
   ClockSet *clks = sdc_->findLeafPinClocks(pin);
   if (clks) {
     for (Clock *clk : *clks) {
-      //printf("%.2e %.2e\n", clk->period(), sim_period);
+      report_->warn(806, "clock %s vcd period %s differs from clock definition %s",
+                    clk->name(),
+                    delayAsString(clk->period(), this),
+                    delayAsString(sim_period, this));
     }
   }
 }