From e30d24f98b6dac02ef0eb0664b3d145f1f4fee69 Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Sat, 7 Feb 2026 00:36:14 +0100
Subject: [PATCH] equiv_opt: -async2sync does formalff -clk2ff as well

---
 passes/equiv/equiv_opt.cc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/passes/equiv/equiv_opt.cc b/passes/equiv/equiv_opt.cc
index f5eb75730..692acf6b7 100644
--- a/passes/equiv/equiv_opt.cc
+++ b/passes/equiv/equiv_opt.cc
@@ -189,8 +189,10 @@ struct EquivOptPass:public ScriptPass
 		if (check_label("prove")) {
 			if (multiclock || help_mode)
 				run("clk2fflogic", "(only with -multiclock)");
-			if (async2sync || help_mode)
+			if (async2sync || help_mode) {
 				run("async2sync", " (only with -async2sync)");
+				run("formalff -clk2ff", " (only with -async2sync)");
+			}
 			string opts;
 			if (help_mode)
 				opts = " -blacklist <filename> ...";