github-mirrors/ibex
1
0
Fork 0
mirror of https://github.com/lowRISC/ibex.git synced 2025-06-27 17:00:41 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

[dv,formal] constrain CSR values for mvendorid and mimpid

Browse source 
These values were originally constants but now are parameters.
Constrain them for formal.

Signed-off-by: Gary Guo <gary.guo@lowrisc.org>
This commit is contained in:
Gary Guo 2025-04-26 19:13:18 +01:00 • committed by Marno van der Maas
parent 2c2dc5040f
commit 10270b6e9a
1 changed files with 6 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

7
dv/formal/check/top.sv
View file

@ -103,6 +103,9 @@ module top import ibex_pkg::*; #(
input logic scan_rst_ni
);
localparam logic [31:0] CSR_MVENDORID_VALUE = 32'b0;
localparam logic [31:0] CSR_MIMPID_VALUE = 32'b0;
default clocking @(posedge clk_i); endclocking
ibex_top #(
@ -113,7 +116,9 @@ ibex_top #(
.RV32E(RV32E),
.BranchTargetALU(1'b1),
.PMPEnable(1'b1),
.PMPNumRegions(PMPNumRegions)
.PMPNumRegions(PMPNumRegions),
.CsrMvendorId (CSR_MVENDORID_VALUE),
.CsrMimpId (CSR_MIMPID_VALUE)
) ibex_top_i(.*);
// Core constraints