plusarg_reader: support verilator
This commit is contained in:
1 parent
9eae1fa377
commit
6a7e6ab325
1 file changed
+2
-4
@@ -10,13 +10,11 @@ reg [31:0] myplus;
|
||||
assign out = myplus;
|
||||
|
||||
initial begin
|
||||
`ifdef SYNTHESIS
|
||||
myplus = DEFAULT;
|
||||
`ifndef SYNTHESIS
|
||||
`ifndef verilator
|
||||
// Work-around for https://www.veripool.org/issues/1165
|
||||
`else
|
||||
if (!$value$plusargs(FORMAT, myplus)) myplus = DEFAULT;
|
||||
`endif
|
||||
`endif
|
||||
end
|
||||
|
||||
endmodule
|
||||
Reference in new issue
Block a user