plru_tree: Assert output is onehot

pulp-platform · Dec 14, 2023 · 8e7db89 · 8e7db89
1 parent 145e3be
commit 8e7db89
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/plru_tree.sv b/src/plru_tree.sv
@@ -123,6 +123,10 @@ module plru_tree #(
     initial begin
         assert (ENTRIES == 2**LogEntries) else $error("Entries must be a power of two");
     end
+
+    output_onehot : assert property(
+        @(posedge clk_i) disable iff (~rst_ni) ((plru_o & (plru_o - 1)) == '0))
+        else $fatal (1, "More than one bit set in PLRU output.");
 `endif
 // pragma translate_on