From 87133833d11a935598551ce9fb4eca7349198114 Mon Sep 17 00:00:00 2001
From: Michael Platzer <michael.platzer@hotmail.com>
Date: Thu, 14 Dec 2023 14:34:24 +0100
Subject: [PATCH] plru_tree: Use system function for onehot assertion

Co-authored-by: Nils Wistoff <nwistoff@iis.ee.ethz.ch>
---
 src/plru_tree.sv | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plru_tree.sv b/src/plru_tree.sv
index 2ef60343..dfbb7c70 100644
--- 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