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

added latest changes

Browse Source
This commit is contained in:
Akilan Selvacoumar
2026-02-17 14:49:00 +00:00
parent 76d832bcaf
commit b8f7b51e8a
1 changed files with 19 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

37
assertions.sv
View File

@@ -1,23 +1,23 @@
module assert_prop_unique( // module assert_prop_unique(
input wire [63 : 0] prop_base, // input wire [63 : 0] prop_base,
input wire [63 : 0] prop_len, // input wire [63 : 0] prop_len,
input wire [63 : 0] prop_newBase, // input wire [63 : 0] prop_newBase,
input wire [63 : 0] prop_newLen // input wire [63 : 0] prop_newLen
); // );
wire prop_ok; // wire prop_ok;
module_prop_unique module_prop_unique_inst ( // module_prop_unique module_prop_unique_inst (
.prop_unique_base(prop_base), // .prop_unique_base(prop_base),
.prop_unique_len(prop_len), // .prop_unique_len(prop_len),
.prop_unique_newBase(prop_newBase), // .prop_unique_newBase(prop_newBase),
.prop_unique_newLen(prop_newLen), // .prop_unique_newLen(prop_newLen),
.prop_unique(prop_ok) // .prop_unique(prop_ok)
); // );
always @(*) begin // always @(*) begin
assert(prop_ok); // assert(prop_ok);
end // end
endmodule // endmodule
module assert_prop_exact( module assert_prop_exact(
input wire [63 : 0] prop_base, input wire [63 : 0] prop_base,
@@ -180,3 +180,4 @@ module assert_prop_setBounds(
always @(*) begin always @(*) begin
assert(prop_ok); assert(prop_ok);
end end
endmodule