From 58e7be233809ac49982c05936d2dec99587c3439 Mon Sep 17 00:00:00 2001
From: "James E. Stine" <james.stine@okstate.edu>
Date: Tue, 3 Oct 2023 08:11:45 -0500
Subject: [PATCH] Fix testfloat testbench to work properly with parameters

---
 testbench/testbench-fp.sv | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/testbench/testbench-fp.sv b/testbench/testbench-fp.sv
index 08d674f1d..2ddd13072 100644
--- a/testbench/testbench-fp.sv
+++ b/testbench/testbench-fp.sv
@@ -1000,7 +1000,7 @@ module testbenchfp;
 endmodule
 
 
-module readvectors (
+module readvectors import cvw::*; #(parameter cvw_t P) (
 		    input logic 	        clk,
 		    input logic [P.FLEN*4+7:0]  TestVector,
 		    input logic [P.FMTBITS-1:0] ModFmt,
@@ -1026,7 +1026,7 @@ module readvectors (
 		    );
 
    localparam Q_LEN = 32'd128;
-  `include "parameter-defs.vh"   
+  //`include "parameter-defs.vh"   
    
    logic 					XEn;
    logic 					YEn;