From 7d229ec7d50ef500b8087e11e8902d2bf07be640 Mon Sep 17 00:00:00 2001
From: Yuecheng Wang <yw737@cl.cam.ac.uk>
Date: Mon, 2 Sep 2024 13:42:51 +0100
Subject: [PATCH] added isDerivable to verilog wrapper

---
 CHERICapWrap.bsv | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/CHERICapWrap.bsv b/CHERICapWrap.bsv
index 53b297b..6714a76 100644
--- a/CHERICapWrap.bsv
+++ b/CHERICapWrap.bsv
@@ -101,5 +101,9 @@ function Bit#(CapAddrW) `W(getRepresentableAlignmentMask) (`CAPTYPE dummy, Bit#(
 function Bit#(CapAddrW) `W(getRepresentableLength) (`CAPTYPE dummy, Bit#(CapAddrW) length) = roundLength (dummy, length);
 (* noinline *)
 function Bit#(2) `W(getBaseAlignment) (`CAPTYPE cap) = getBaseAlignment(cap);
+(* noinline *) 
+function Bool `W(isDerivable) (`CAPTYPE cap) = isDerivable(cap);
+
+
 
 endpackage