From e8e25b4cea207629fca655cd4bc4bb9553cc3fb2 Mon Sep 17 00:00:00 2001
From: Alain Dargelas <alain@silimate.com>
Date: Mon, 25 Nov 2024 15:18:22 -0800
Subject: [PATCH] Selective boolopt

---
 passes/techmap/abc.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/passes/techmap/abc.cc b/passes/techmap/abc.cc
index 855fdadb7..aed1e8c28 100644
--- a/passes/techmap/abc.cc
+++ b/passes/techmap/abc.cc
@@ -1591,6 +1591,8 @@ struct AbcPass : public Pass {
 		log("\n");
 		log("    -sop\n");
 		log("        map to sum-of-product cells and inverters\n");
+		log("    -map_src <source location>\n");
+		log("        source attribution for cells created by ABC\n");
 		log("\n");
 		// log("    -mux4, -mux8, -mux16\n");
 		// log("        try to extract 4-input, 8-input, and/or 16-input muxes\n");