From 7989d53c58d793109dee49404bf17b0871277cd9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Povi=C5=A1er?= <povik@cutebit.org>
Date: Mon, 7 Oct 2024 14:19:49 +0200
Subject: [PATCH] read_xaiger2: Add help

---
 frontends/aiger2/xaiger.cc | 21 ++++++++++++++++++++-
 1 file changed, 20 insertions(+), 1 deletion(-)

diff --git a/frontends/aiger2/xaiger.cc b/frontends/aiger2/xaiger.cc
index 18cfe94dd..04beee396 100644
--- a/frontends/aiger2/xaiger.cc
+++ b/frontends/aiger2/xaiger.cc
@@ -38,7 +38,26 @@ IdString read_idstring(std::istream &f)
 }
 
 struct Xaiger2Frontend : public Frontend {
-	Xaiger2Frontend() : Frontend("xaiger2", "read XAIGER file (new)") {}
+	Xaiger2Frontend() : Frontend("xaiger2", "(experimental) read XAIGER file")
+	{
+		experimental();
+	}
+
+	void help() override
+	{
+		//   |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|
+		log("\n");
+		log("    read_xaiger2 -sc_mapping [options] <filename>\n");
+		log("\n");
+		log("Read a standard cell mapping from a XAIGER file into an existing module.\n");
+		log("\n");
+		log("    -module_name <name>\n");
+		log("        name of the target module\n");
+		log("\n");
+		log("    -map2 <filename>\n");
+        log("        read file with symbol information\n");
+        log("\n");
+	}
 
 	void read_sc_mapping(std::istream *&f, std::string filename, std::vector<std::string> args, Design *design)
 	{