diff --git a/testbench/common/wallyTracer.sv b/testbench/common/wallyTracer.sv
index 501651029..a28e38617 100644
--- a/testbench/common/wallyTracer.sv
+++ b/testbench/common/wallyTracer.sv
@@ -742,8 +742,7 @@ module wallyTracer import cvw::*; #(parameter cvw_t P) (rvviTrace rvvi);
   end
   
   always_ff @(posedge clk) begin
-  $display("wallyTracer: %b", rvvi.insn[0][0]);
-	if(valid) begin
+    if(valid) begin
       if(`STD_LOG) begin
         $fwrite(file, "%016x, %08x, %s\t\t", rvvi.pc_rdata[0][0], rvvi.insn[0][0], instrWName);
         for(index2 = 0; index2 < NUM_REGS; index2 += 1) begin
diff --git a/testbench/testbench.sv b/testbench/testbench.sv
index 1d6ad879b..7dd13901b 100644
--- a/testbench/testbench.sv
+++ b/testbench/testbench.sv
@@ -741,7 +741,7 @@ end
 
 // Functional coverage
 `ifdef FCOV
-  trace2riscvISACOV trace2riscvISACOV(rvvi);
+  cvw_arch_verif cvw_arch_verif(rvvi);
 `endif
 
   ////////////////////////////////////////////////////////////////////////////////