From b45517f7b755c9d568dee77a2b52301db6e95a78 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Wed, 28 Sep 2022 14:45:39 +0200
Subject: [PATCH] Add comment for future self

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

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 3b2b47be5..a5c02b0af 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -198,6 +198,13 @@ static bool isNumber(const string& str)
 	return true;
 }
 
+// When used as attributes or parameter values Verific constants come already processed.
+// - Real string values are already under quotes
+// - Numeric values with specified width are always converted to binary
+// - Rest of user defined values are handled as 32bit integers
+// - There could be some internal values that are strings without quotes
+//   so we check if value is all digits or not
+//
 static const RTLIL::Const verific_const(const char *value)
 {
 	std::string val = std::string(value);