From 3c1582b7b22daeca2c9c5c1f02f0a7426556c1e2 Mon Sep 17 00:00:00 2001 From: Olof Kindgren Date: Tue, 13 Aug 2019 22:22:45 +0200 Subject: [PATCH] Remove unused RVFI defines --- rtl/serv_top.v | 6 ------ 1 file changed, 6 deletions(-) diff --git a/rtl/serv_top.v b/rtl/serv_top.v index e9b9a3e..927fd24 100644 --- a/rtl/serv_top.v +++ b/rtl/serv_top.v @@ -1,11 +1,5 @@ `default_nettype none -`define RISCV_FORMAL_NRET 1 -`define RISCV_FORMAL_XLEN 32 -`define RISCV_FORMAL_ILEN 32 -//`define RISCV_FORMAL_COMPRESSED -`define RISCV_FORMAL_ALIGNED_MEM - module serv_top ( input wire clk,