From 66eabb1d2c73108edc7129e79d166863ba957f32 Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Thu, 23 May 2024 21:05:57 -0700
Subject: [PATCH] Define SYNTH and OVL_SVA by default

---
 frontends/verific/verific.cc | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index c2b412dd3..edbdd93ca 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3392,8 +3392,12 @@ struct VerificPass : public Pass {
 			const char* arg = args[argidx].c_str();
 
 			// Define macros
+			hdl_file_sort::DefineMacro("SYNTH");
 			hdl_file_sort::DefineMacro("SYNTHESIS");
+			hdl_file_sort::DefineMacro("OVL_SVA");
+			veri_file::DefineMacro("SYNTH");
 			veri_file::DefineMacro("SYNTHESIS");
+			veri_file::DefineMacro("OVL_SVA");
 
 			// Ignore translate_off statements
 			hdl_file_sort::SetIgnoreTranslateOff(0);