From 618468a06b0635f1fa20e5c63dbc4fc11ac9ac7e Mon Sep 17 00:00:00 2001 From: Andrew Waterman Date: Wed, 24 May 2017 21:38:56 -0700 Subject: [PATCH] Make plusarg_reader default args work with VCS (#765) Resolves #764 --- vsrc/plusarg_reader.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/vsrc/plusarg_reader.v b/vsrc/plusarg_reader.v index 19191421..e369833e 100644 --- a/vsrc/plusarg_reader.v +++ b/vsrc/plusarg_reader.v @@ -2,7 +2,7 @@ // No default parameter values are intended, nor does IEEE 1800-2012 require them (clause A.2.4 param_assignment), // but Incisive demands them. These default values should never be used. -module plusarg_reader #(string FORMAT="borked", int DEFAULT=0) ( +module plusarg_reader #(string FORMAT="borked=%d", int DEFAULT=0) ( output [31:0] out );