From 213b667c31670abd16bb2774013b7fc3157dcf57 Mon Sep 17 00:00:00 2001
From: Alban Gruin <alban.gruin@irit.fr>
Date: Wed, 15 Dec 2021 11:21:55 +0100
Subject: [PATCH] sras: add assertions
Signed-off-by: Alban Gruin <alban.gruin@irit.fr>
---
src/frontend/sras.sv | 13 +++++++++++++
1 file changed, 13 insertions(+)
diff --git a/src/frontend/sras.sv b/src/frontend/sras.sv
index 3a97c2e4..498fddf2 100644
--- a/src/frontend/sras.sv
+++ b/src/frontend/sras.sv
@@ -95,4 +95,17 @@ module sras #(
tos_q <= tos_d;
end
end
+
+ // pragma translate_off
+ `ifndef VERILATOR
+ initial begin
+ assert (2 ** $clog2(SpecDepth) == SpecDepth) else $fatal(1,"[sras] SpecDepth is not a power of 2");
+ assert (2 ** $clog2(DEPTH) == DEPTH) else $fatal(1,"[sras] DEPTH is not a power of 2");
+ end
+
+ assert property (
+ @(posedge clk_i) disable iff (!rst_ni) push_i |-> begin_spec_i)
+ else $warning (1,"[sras] push_i & ~begin_spec_i");
+ `endif
+ // pragma translate_on
endmodule
--
GitLab