aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/verific
diff options
context:
space:
mode:
Diffstat (limited to 'frontends/verific')
-rw-r--r--frontends/verific/verific.cc7
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);