Add synopsys VHDL libs by default in GHDL

Silimate · Sep 23, 2024 · 0b8d951 · 0b8d951
1 parent 2d771a3
commit 0b8d951
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
@@ -3766,7 +3766,7 @@ struct VerificPass : public Pass {
 				// Run command to convert VHDL to Verilog
 				std::string top = filename_str.substr(0, std::string(FileSystem::Basename(filename)).find_last_of("."));
 				std::string outfile = "preqorsor/data/" + top + ".v";
-				std::string ghdl_cmd = ghdl_path + " --synth --no-formal --out=verilog " + filename_str + " -e " + top + " > " + outfile;
+				std::string ghdl_cmd = ghdl_path + " --synth --no-formal -fsynopsys --out=verilog " + filename_str + " -e " + top + " > " + outfile;
 				log("Running command: %s\n", ghdl_cmd.c_str());
 				if (system(ghdl_cmd.c_str()) != 0) {
 					verific_error_msg.clear();