github.com/olofk.serv
1
0
Fork 0
mirror of https://github.com/olofk/serv.git synced 2026-02-01 05:51:54 +00:00
Code Issues Releases Wiki Activity

Remove unused RVFI defines

Browse Source
This commit is contained in:
Olof Kindgren
2019-08-13 22:22:45 +02:00
parent 892388627c
commit 3c1582b7b2
1 changed files with 0 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
rtl/serv_top.v
View File

@@ -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,