From adce21a91f4b55cad1126fa4d453b4d6eef79f7f Mon Sep 17 00:00:00 2001
From: Warrick Lo <wlo@warricklo.net>
Date: Wed, 24 Jun 2026 07:58:06 +0000
Subject: Add CI pipeline for formal verification

* Add formal verification tests with sby to CI
* Fix reviewdog having insufficient API permissions

See-also: #15
Signed-off-by: Warrick Lo <wlo@warricklo.net>
---
 dv/tb/rv32e_model.py | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 dv/tb/rv32e_model.py

(limited to 'dv/tb/rv32e_model.py')

diff --git a/dv/tb/rv32e_model.py b/dv/tb/rv32e_model.py
new file mode 100644
index 0000000..eda163e
--- /dev/null
+++ b/dv/tb/rv32e_model.py
@@ -0,0 +1,5 @@
+#Golden Reference model for RV32E Processor
+
+#Constants
+
+XLEN = 32
\ No newline at end of file
-- 
cgit v1.2.3