From 0610d6ccc21e02f39ced1eae7127eb8bbe10f6df Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Fri, 27 Sep 2024 06:38:42 -0700 Subject: [PATCH] Smallfix to get GHDL working --- frontends/verific/verific.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 431949762..c67636ccc 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -3769,7 +3769,7 @@ struct VerificPass : public Pass { // Run command to convert VHDL to Verilog std::string basename = FileSystem::Basename(filename); - std::string top = filename_str.substr(basename.find_last_of("/")+1, basename.find_last_of(".")-basename.find_last_of("/")-1); + std::string top = basename.substr(0, basename.find_last_of(".")); std::string outfile = "preqorsor/data/" + top + ".v"; 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());