diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 2fa524a4d..6d9d1f2ee 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -3397,9 +3397,18 @@ struct VerificPass : public Pass { // Treat .v as SystemVerilog too (overriding default behavior to treat it as VERILOG_2000) hdl_file_sort::RemoveFileExt(".v"); hdl_file_sort::AddFileExtMode(".v", veri_file::SYSTEM_VERILOG); + hdl_file_sort::AddFileExtMode(".vh", veri_file::SYSTEM_VERILOG); hdl_file_sort::AddFileExtMode(".sv", veri_file::SYSTEM_VERILOG); 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); + veri_file::RemoveFileExt(".v"); + veri_file::AddFileExtMode(".v", veri_file::SYSTEM_VERILOG); + veri_file::AddFileExtMode(".vh", veri_file::SYSTEM_VERILOG); + veri_file::AddFileExtMode(".sv", veri_file::SYSTEM_VERILOG); + veri_file::AddFileExtMode(".svh", veri_file::SYSTEM_VERILOG); + veri_file::AddFileExtMode(".svp", veri_file::SYSTEM_VERILOG); + veri_file::AddFileExtMode(".h", 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 892937410..eda746e1d 160000 --- a/verific +++ b/verific @@ -1 +1 @@ -Subproject commit 89293741027af260341a07b315d63e447e31bcef +Subproject commit eda746e1d8ee7b243a1ff66f3e5e51a4e4af6963