From d5b7e9e1756aa5afa1d7dd4eb2e069a7600f64e9 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 3 Sep 2016 14:40:13 +0200
Subject: [PATCH] Minor bugfix/cleanup (mostly for formal verification)

---
 picorv32.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/picorv32.v b/picorv32.v
index 88443b2..9cda866 100644
--- a/picorv32.v
+++ b/picorv32.v
@@ -1197,7 +1197,7 @@ module picorv32 #(
 	end
 
 	always @(posedge clk) begin
-		if (cpuregs_write)
+		if (resetn && cpuregs_write)
 			cpuregs[latched_rd] <= cpuregs_wrdata;
 	end