From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Wed, 30 Sep 2020 09:22:08 +0000 (+0100)
Subject: need asserts
X-Git-Tag: 24jan2021_ls180~275
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=28d04dca95929b6b2fe2876e11698ba302582bdd;p=soc.git

need asserts
---

diff --git a/src/soc/experiment/icache.py b/src/soc/experiment/icache.py
index 9481eb7f..739007a3 100644
--- a/src/soc/experiment/icache.py
+++ b/src/soc/experiment/icache.py
@@ -437,23 +437,21 @@ def hash_ea(addr):
 
 # begin
 #
+# XXX put these assert statements in - as python asserts
+#
 #     assert LINE_SIZE mod ROW_SIZE = 0;
 #     assert ispow2(LINE_SIZE) report "LINE_SIZE not power of 2"
-#      severity FAILURE;
 #     assert ispow2(NUM_LINES) report "NUM_LINES not power of 2"
-#      severity FAILURE;
 #     assert ispow2(ROW_PER_LINE) report "ROW_PER_LINE not power of 2"
-#      severity FAILURE;
 #     assert ispow2(INSN_PER_ROW) report "INSN_PER_ROW not power of 2"
-#      severity FAILURE;
 #     assert (ROW_BITS = INDEX_BITS + ROW_LINEBITS)
-# 	report "geometry bits don't add up" severity FAILURE;
+# 	report "geometry bits don't add up" 
 #     assert (LINE_OFF_BITS = ROW_OFF_BITS + ROW_LINEBITS)
-# 	report "geometry bits don't add up" severity FAILURE;
+# 	report "geometry bits don't add up" 
 #     assert (REAL_ADDR_BITS = TAG_BITS + INDEX_BITS + LINE_OFF_BITS)
-# 	report "geometry bits don't add up" severity FAILURE;
+# 	report "geometry bits don't add up"
 #     assert (REAL_ADDR_BITS = TAG_BITS + ROW_BITS + ROW_OFF_BITS)
-# 	report "geometry bits don't add up" severity FAILURE;
+# 	report "geometry bits don't add up"
 #
 #     sim_debug: if SIM generate
 #     debug: process