Cheri-research/cheri-cap-lib
1
0
Fork 0
Code Issues 1 Pull Requests Actions Packages Projects Releases Wiki Activity

added isDerivable to verilog wrapper

Browse Source
This commit is contained in:
Yuecheng Wang
2024-09-02 13:42:51 +01:00
parent 93a22d303d
commit 7d229ec7d5
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
CHERICapWrap.bsv
View File

@@ -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