Constant expression replacement - Revision history

Hoa at 16:51, 17 November 2023

2023-11-17T16:51:38Z

Hoa at 19:42, 24 August 2018

2018-08-24T19:42:28Z

Hoa at 19:42, 29 November 2016

2016-11-29T19:42:12Z

Hoa at 23:33, 1 August 2016

2016-08-01T23:33:35Z

Hoa: Created page with "'''Q: Does Verific replace constant expressions with their respective values?''' I have in my Verilog code: parameter size = 8; reg [size-1:0] foo; I expect the range..."

2016-08-01T23:32:59Z

Created page with "'''Q: Does Verific replace constant expressions with their respective values?''' I have in my Verilog code: parameter size = 8; reg [size-1:0] foo; I expect the range..."

New page

'''Q: Does Verific replace constant expressions with their respective values?'''

I have in my Verilog code:
parameter size = 8;
reg [size-1:0] foo;
I expect the range of "foo" to be [7:0]. How do I get the range [7:0]?

If run-time flag "veri_replace_const_exprs" is set, Verific will replace constant expressions with their respective values in static elaboration.

In C++:
RuntimeFlags::SetVar(" veri_replace_const_exprs", 1) ;

In Tcl:
set_runtime_flag "veri_replace_const_exprs" 1

@@ Line 6: / Line 6: @@
 I expect the range of "foo" to be [7:0]. How do I get the range [7:0]?
-If run-time flag "veri_replace_const_exprs" is set, Verific will replace constant expressions with their respective values in '''static elaboration'''.
+Above specific replacements are not done on un-elaborated modules because the parameter values they depend on might be changed later by other applications.
 In C++:

← Older revision		Revision as of 19:42, 29 November 2016
Line 7:		Line 7:


−	If run-time flag "veri_replace_const_exprs" is set, Verific will replace constant expressions with their respective values in static elaboration.	+	If run-time flag "veri_replace_const_exprs" is set, Verific will replace constant expressions with their respective values in '''static elaboration'''.

	In C++:		In C++:

@@ Line 16: / Line 16: @@
 In C++:
-  RuntimeFlags::SetVar(" veri_replace_const_exprs", 1) ;
+  RuntimeFlags::SetVar("veri_replace_const_exprs", 1) ;
 In Tcl:
   set_runtime_flag "veri_replace_const_exprs" 1

@@ Line 5: / Line 5: @@
      reg [size-1:0] foo;
 I expect the range of "foo" to be [7:0]. How do I get the range [7:0]?
 If run-time flag "veri_replace_const_exprs" is set, Verific will replace constant expressions with their respective values in static elaboration.