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

[formal] Added missing prim secded package

Browse source
This commit is contained in:
Marno van der Maas 2022-10-03 15:25:49 +01:00 • committed by Marno van der Maas
parent 3943a4eca3
commit 43dc5e8572
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
formal/riscv-formal/Makefile
View file

@ -51,6 +51,7 @@ SRCS_SV ?= \
PKGS ?= \
$(SRC_DIR)/ibex_pkg.sv \
$(LOWRISC_IP)/ip/prim/rtl/prim_secded_pkg.sv \
$(LOWRISC_IP)/ip/prim/rtl/prim_ram_1p_pkg.sv
PRIM_CLOCK ?= $(SYN_DIR)/rtl/prim_clock_gating.v