From: Eddie Hung <eddie@fpgeh.com>
Date: Fri, 4 Oct 2019 17:17:46 +0000 (-0700)
Subject: Add -async2sync to help text as per @daveshah1
X-Git-Tag: working-ls180~1001^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=84f978bdc20494167a6a2c5f654b96c4f565a5e0;p=yosys.git

Add -async2sync to help text as per @daveshah1
---

diff --git a/passes/equiv/equiv_opt.cc b/passes/equiv/equiv_opt.cc
index ec1200488..c7e6d71a6 100644
--- a/passes/equiv/equiv_opt.cc
+++ b/passes/equiv/equiv_opt.cc
@@ -50,6 +50,9 @@ struct EquivOptPass:public ScriptPass
 		log("    -multiclock\n");
 		log("        run clk2fflogic before equivalence checking.\n");
 		log("\n");
+		log("    -async2sync\n");
+		log("        run async2sync before equivalence checking.\n");
+		log("\n");
 		log("    -undef\n");
 		log("        enable modelling of undef states during equiv_induct.\n");
 		log("\n");
@@ -166,7 +169,7 @@ struct EquivOptPass:public ScriptPass
 			if (multiclock || help_mode)
 				run("clk2fflogic", "(only with -multiclock)");
 			if (async2sync || help_mode)
-				run("async2sync", "(only with -async2sync)");
+				run("async2sync", " (only with -async2sync)");
 			run("equiv_make gold gate equiv");
 			if (help_mode)
 				run("equiv_induct [-undef] equiv");