diffblue · kroening · Nov 13, 2025
diff --git a/...ion/verilog/modules/parameter_ports4.desc → ...verilog/modules/type_parameter_port1.desc b/...ion/verilog/modules/parameter_ports4.desc → ...verilog/modules/type_parameter_port1.desc
@@ -1,5 +1,5 @@
 KNOWNBUG
-parameter_ports4.sv
+type_parameter_port1.sv
 
 ^EXIT=0$
 ^SIGNAL=0$

diff --git a/...ssion/verilog/modules/parameter_ports4.sv → ...n/verilog/modules/type_parameter_port1.sv b/...ssion/verilog/modules/parameter_ports4.sv → ...n/verilog/modules/type_parameter_port1.sv
diff --git a/src/verilog/parser.y b/src/verilog/parser.y
@@ -1985,6 +1985,8 @@ list_of_variable_identifiers:
 parameter_port_declaration:
           TOK_PARAMETER data_type_or_implicit param_assignment
 		{ $$ = $3; }
+        | TOK_PARAMETER TOK_TYPE type_assignment
+		{ $$ = $3; }
 	| TOK_LOCALPARAM data_type_or_implicit param_assignment
 		{ $$ = $3; }
 	| data_type param_assignment
@@ -3161,7 +3163,10 @@ named_parameter_assignment_brace:
 	;
 
 ordered_parameter_assignment:
-          expression;
+          expression
+        | data_type
+		{ init($$, ID_type); stack_expr($$).type() = stack_type($1); }
+        ;
 
 named_parameter_assignment:
 	  '.' parameter_identifier '(' expression_opt ')'