diff --git a/openlane/caravel_core/config.json b/openlane/caravel_core/config.json index ef33e1a2..e46e47ce 100644 --- a/openlane/caravel_core/config.json +++ b/openlane/caravel_core/config.json @@ -2,6 +2,10 @@ "meta": { "version": 2, "flow": [ + "Verilator.Lint", + "Checker.LintTimingConstructs", + "Checker.LintErrors", + "Checker.LintWarnings", "Yosys.JsonHeader", "Yosys.Synthesis", "OpenROAD.CheckSDCFiles",