From 5dc62bec0bb94a50b0adf122a90187d5f789f524 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Mon, 3 Jun 2024 20:05:30 -0700 Subject: [PATCH] Support .inc files and readmemh missing file --- frontends/verific/verific.cc | 2 ++ verific | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index f8939ea39..b9097b6a6 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -3458,6 +3458,7 @@ struct VerificPass : public Pass { hdl_file_sort::AddFileExtMode(".svh", veri_file::SYSTEM_VERILOG); hdl_file_sort::AddFileExtMode(".svp", veri_file::SYSTEM_VERILOG); hdl_file_sort::AddFileExtMode(".h", veri_file::SYSTEM_VERILOG); + hdl_file_sort::AddFileExtMode(".inc", veri_file::SYSTEM_VERILOG); veri_file::RemoveFileExt(".v"); veri_file::AddFileExtMode(".v", veri_file::SYSTEM_VERILOG); veri_file::AddFileExtMode(".vh", veri_file::SYSTEM_VERILOG); @@ -3465,6 +3466,7 @@ struct VerificPass : public Pass { veri_file::AddFileExtMode(".svh", veri_file::SYSTEM_VERILOG); veri_file::AddFileExtMode(".svp", veri_file::SYSTEM_VERILOG); veri_file::AddFileExtMode(".h", veri_file::SYSTEM_VERILOG); + veri_file::AddFileExtMode(".inc", veri_file::SYSTEM_VERILOG); // Select analyze function auto analyze_function = (args[argidx] == "-auto_discover") ? hdl_file_sort::AnalyzeDiscoveredFiles : hdl_file_sort::AnalyzeSortedFiles; diff --git a/verific b/verific index 1b8960963..14be4a7ad 160000 --- a/verific +++ b/verific @@ -1 +1 @@ -Subproject commit 1b896096356ed3046498161a4128be3b9ca9f467 +Subproject commit 14be4a7ad34e0892ea067cfbabbb6035f52a869b