Add comment for future self

1 files changed, 7 insertions, 0 deletions

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);