diff options
author | Clifford Wolf <clifford@clifford.at> | 2017-02-17 15:23:58 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2017-02-17 15:23:58 +0100 |
commit | c7cc32ed95644b50a1cd22e2005cacdba5b63388 (patch) | |
tree | 007de2bb814819f44b17ac8797eb3b9238949eda /picorv32.v | |
parent | e4312b0fab053cda38cb46623341db85e9f8a060 (diff) | |
download | picorv32-c7cc32ed95644b50a1cd22e2005cacdba5b63388.tar.gz picorv32-c7cc32ed95644b50a1cd22e2005cacdba5b63388.zip |
Fix verilog code for modelsim
Diffstat (limited to 'picorv32.v')
-rw-r--r-- | picorv32.v | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -34,7 +34,7 @@ `define assert(assert_expr) assert(assert_expr) `else `define FORMAL_KEEP - `define assert(assert_expr) + `define assert(assert_expr) empty_statement `endif /*************************************************************** @@ -176,6 +176,12 @@ module picorv32 #( end end + task empty_statement; + // This task is used by the `assert directive in non-formal mode to + // avoid empty statement (which are unsupported by plain Verilog syntax). + begin end + endtask + `ifdef DEBUGREGS wire [31:0] dbg_reg_x0 = cpuregs[0]; wire [31:0] dbg_reg_x1 = cpuregs[1]; |