From e702f2894a1089ee50ede6edee1b6999369a2486 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Mon, 31 Oct 2022 10:15:05 +0100
Subject: Support for reading liberty files using verific

---
 frontends/verific/verific.cc | 46 +++++++++++++++++++++++++++++++++++++++++++-
 1 file changed, 45 insertions(+), 1 deletion(-)

(limited to 'frontends/verific/verific.cc')

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 71b87755d..0f4eceba4 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -57,6 +57,10 @@ USING_YOSYS_NAMESPACE
 #include "edif_file.h"
 #endif
 
+#ifdef VERIFIC_LIBERTY_SUPPORT
+#include "synlib_file.h"
+#endif
+
 #include "VerificStream.h"
 #include "FileSystem.h"
 
@@ -2358,6 +2362,9 @@ void verific_import(Design *design, const std::map<std::string,std::string> &par
 #endif
 #ifdef VERIFIC_EDIF_SUPPORT
 	edif_file::Reset();
+#endif
+#ifdef VERIFIC_LIBERTY_SUPPORT
+	synlib_file::Reset();
 #endif
 	Libset::Reset();
 	Message::Reset();
@@ -2426,6 +2433,13 @@ struct VerificPass : public Pass {
 		log("Load the specified EDIF files into Verific.\n");
 		log("\n");
 		log("\n");
+#endif
+#ifdef VERIFIC_LIBERTY_SUPPORT
+		log("    verific {-liberty} <liberty-file>..\n");
+		log("\n");
+		log("Load the specified Liberty files into Verific.\n");
+		log("\n");
+		log("\n");
 #endif
 		log("    verific {-f|-F} [-vlog95|-vlog2k|-sv2005|-sv2009|\n");
 		log("                     -sv2012|-sv|-formal] <command-file>\n");
@@ -2535,7 +2549,7 @@ struct VerificPass : public Pass {
 		log("\n");
 		log("  -cells\n");
 		log("    Import all cell definitions from Verific loaded libraries even if they are\n");
-		log("    unused in design. Useful with \"-edif\" option.\n");
+		log("    unused in design. Useful with \"-edif\" and \"-liberty\" option.\n");
 		log("\n");
 		log("  -chparam name value \n");
 		log("    Elaborate the specified top modules (all modules when -all given) using\n");
@@ -2729,6 +2743,7 @@ struct VerificPass : public Pass {
 
 		int argidx = 1;
 		std::string work = "work";
+		bool is_work_set = false;
 		veri_file::RegisterCallBackVerificStream(&verific_read_cb);
 
 		if (GetSize(args) > argidx && (args[argidx] == "-set-error" || args[argidx] == "-set-warning" ||
@@ -2813,6 +2828,7 @@ struct VerificPass : public Pass {
 		{
 			if (args[argidx] == "-work" && argidx+1 < GetSize(args)) {
 				work = args[++argidx];
+				is_work_set = true;
 				continue;
 			}
 			if (args[argidx] == "-L" && argidx+1 < GetSize(args)) {
@@ -3001,6 +3017,17 @@ struct VerificPass : public Pass {
 			}
 			goto check_error;
 		}
+#endif
+#ifdef VERIFIC_LIBERTY_SUPPORT
+		if (GetSize(args) > argidx && args[argidx] == "-liberty") {
+			argidx++;
+			while (argidx < GetSize(args)) {
+				std::string filename = frontent_rewrite(args, argidx, tmp_files);
+				if (!synlib_file::Read(filename.c_str(), is_work_set ? work.c_str() : nullptr))
+					log_cmd_error("Reading `%s' in LIBERTY mode failed.\n", filename.c_str());
+			}
+			goto check_error;
+		}
 #endif
 		if (argidx < GetSize(args) && args[argidx] == "-pp")
 		{
@@ -3293,6 +3320,9 @@ struct VerificPass : public Pass {
 #endif
 #ifdef VERIFIC_EDIF_SUPPORT
 			edif_file::Reset();
+#endif
+#ifdef VERIFIC_LIBERTY_SUPPORT
+			synlib_file::Reset();
 #endif
 			Libset::Reset();
 			Message::Reset();
@@ -3427,6 +3457,11 @@ struct ReadPass : public Pass {
 		log("\n");
 		log("\n");
 #endif
+		log("    read {-liberty} <liberty-file>..\n");
+		log("\n");
+		log("Load the specified Liberty files.\n");
+		log("\n");
+		log("\n");
 		log("    read {-f|-F} <command-file>\n");
 		log("\n");
 		log("Load and execute the specified command file. (Requires Verific.)\n");
@@ -3531,6 +3566,15 @@ struct ReadPass : public Pass {
 			return;
 		}
 #endif
+		if (args[1] == "-liberty") {
+			if (use_verific) {
+				args[0] = "verific";
+			} else {
+				args[0] = "read_liberty";
+			}
+			Pass::call(design, args);
+			return;
+		}
 		if (args[1] == "-f" || args[1] == "-F") {
 			if (use_verific) {
 				args[0] = "verific";
-- 
cgit v1.2.3