From 0373070a503da458bcbd6805f30032a445605b0f Mon Sep 17 00:00:00 2001 From: Dhaval Chaudhari Date: Fri, 2 Jan 2026 17:42:30 +0530 Subject: [PATCH 1/3] verfic: add option to disable translation in VerificPass --- frontends/verific/verific.cc | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 5790e92f0..a8b7b077c 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -3688,6 +3688,10 @@ struct VerificPass : public Pass { veri_file::AddLOption(args[++argidx].c_str()); continue; } + if (args[argidx] == "-set_ignore_translate_off") { + veri_file::SetIgnoreTranslateOff(0); + continue; + } #endif break; } From ba19a0d5912b828c2c224495ed401c79fd931d69 Mon Sep 17 00:00:00 2001 From: Dhaval Chaudhari Date: Sun, 4 Jan 2026 01:30:15 +0530 Subject: [PATCH 2/3] set 1 --- 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 a8b7b077c..8294fb0ed 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -3689,7 +3689,7 @@ struct VerificPass : public Pass { continue; } if (args[argidx] == "-set_ignore_translate_off") { - veri_file::SetIgnoreTranslateOff(0); + veri_file::SetIgnoreTranslateOff(1); continue; } #endif From 1237de6b06af5672fb0ca5444561ef139f4e4b13 Mon Sep 17 00:00:00 2001 From: Dhaval Chaudhari Date: Sun, 4 Jan 2026 01:48:47 +0530 Subject: [PATCH 3/3] fix --- frontends/verific/verific.cc | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 8294fb0ed..c5c946b3b 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -3688,15 +3688,15 @@ struct VerificPass : public Pass { veri_file::AddLOption(args[++argidx].c_str()); continue; } - if (args[argidx] == "-set_ignore_translate_off") { - veri_file::SetIgnoreTranslateOff(1); - continue; - } #endif break; } #ifdef VERIFIC_SYSTEMVERILOG_SUPPORT + if (GetSize(args) > argidx && args[argidx] == "-set_ignore_translate_off") { + veri_file::SetIgnoreTranslateOff(1); + continue; + } if (GetSize(args) > argidx && (args[argidx] == "-f" || args[argidx] == "-F")) { unsigned verilog_mode = veri_file::UNDEFINED;