From aaa9e25756c1765353e6ff42da82cbedeecf62cd Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sun, 26 Feb 2017 16:56:13 +0100 Subject: Add DEBUGNETS debug flag --- picorv32.v | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'picorv32.v') diff --git a/picorv32.v b/picorv32.v index b6c8707..7eba420 100644 --- a/picorv32.v +++ b/picorv32.v @@ -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 -- cgit