plru_tree: Use system function for onehot assertion

Co-authored-by: Nils Wistoff <nwistoff@iis.ee.ethz.ch>
pulp-platform · Dec 14, 2023 · 8713383 · 8713383
1 parent 8e7db89
commit 8713383
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/plru_tree.sv b/src/plru_tree.sv
@@ -125,7 +125,7 @@ module plru_tree #(
     end
 
     output_onehot : assert property(
-        @(posedge clk_i) disable iff (~rst_ni) ((plru_o & (plru_o - 1)) == '0))
+        @(posedge clk_i) disable iff (~rst_ni) ($onehot0(plru_o))
         else $fatal (1, "More than one bit set in PLRU output.");
 `endif
 // pragma translate_on