From cdc728b6f009ba9faa9829e26332f428896a0b77 Mon Sep 17 00:00:00 2001
From: Gus Smith <guscomps@gmail.com>
Date: Fri, 20 Feb 2026 09:33:51 -0800
Subject: [PATCH] Suggest use of YW when possible

---
 passes/sat/sim.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 27d6d12c1..5392cd9e5 100644
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -2624,6 +2624,7 @@ struct SimPass : public Pass {
 		log("    -r <filename>\n");
 		log("        read simulation or formal results file\n");
 		log("            File formats supported: FST, VCD, AIW, WIT and .yw\n");
+		log("            Yosys witness (.yw) replay is preferred when possible.\n");
 		log("            VCD support requires vcd2fst external tool to be present\n");
 		log("\n");
 		log("    -width <integer>\n");