diff options
author | Clifford Wolf <clifford@clifford.at> | 2017-02-26 16:56:13 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2017-02-26 16:56:13 +0100 |
commit | aaa9e25756c1765353e6ff42da82cbedeecf62cd (patch) | |
tree | 604f5c5738a717efef3d59688af648ed136630e0 /picorv32.v | |
parent | 75830805b8bc0db33490a817a421b5adfd1ce82b (diff) | |
download | picorv32-aaa9e25756c1765353e6ff42da82cbedeecf62cd.tar.gz picorv32-aaa9e25756c1765353e6ff42da82cbedeecf62cd.zip |
Add DEBUGNETS debug flag
Diffstat (limited to 'picorv32.v')
-rw-r--r-- | picorv32.v | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -19,6 +19,7 @@ `timescale 1 ns / 1 ps // `default_nettype none +// `define DEBUGNETS // `define DEBUGREGS // `define DEBUGASM // `define DEBUG @@ -33,7 +34,11 @@ `define FORMAL_KEEP (* keep *) `define assert(assert_expr) assert(assert_expr) `else - `define FORMAL_KEEP + `ifdef DEBUGNETS + `define FORMAL_KEEP (* keep *) + `else + `define FORMAL_KEEP + `endif `define assert(assert_expr) empty_statement `endif |