add XLEN assertion

tum-ei-eda · Aug 22, 2024 · 8036d23 · 8036d23
1 parent 660c671
commit 8036d23
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/seal5/backends/riscv_instr_info/writer.py b/seal5/backends/riscv_instr_info/writer.py
@@ -289,6 +289,8 @@ def main():
             set_name_lower = set_name.lower()
             artifacts[set_name] = []
             xlen = set_def.xlen
+            assert xlen is not None
+            assert xlen % 8 == 0
             includes = []
             set_dir = out_path / set_name
             set_dir.mkdir(exist_ok=True)