From 90070736d67ac2cb680cfe697db6a003fd5f844a Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Mon, 29 Aug 2016 22:44:15 +0200
Subject: [PATCH] More asserts

---
 picorv32.v | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/picorv32.v b/picorv32.v
index d95c74f..f2cdce0 100644
--- a/picorv32.v
+++ b/picorv32.v
@@ -460,8 +460,17 @@ module picorv32 #(
 			if (mem_do_prefetch || mem_do_rinst || mem_do_rdata)
 				`assert(!mem_do_wdata);
 
+			if (mem_do_prefetch || mem_do_rinst)
+				`assert(!mem_do_rdata);
+
+			if (mem_do_rdata)
+				`assert(!mem_do_prefetch && !mem_do_rinst);
+
 			if (mem_do_wdata)
 				`assert(!(mem_do_prefetch || mem_do_rinst || mem_do_rdata));
+
+			if (mem_state == 2 || mem_state == 3)
+				`assert(mem_valid || mem_do_prefetch);
 		end
 	end