diff --git a/Bender.lock b/Bender.lock index 281c26c9..8f4a7e82 100644 --- a/Bender.lock +++ b/Bender.lock @@ -99,7 +99,7 @@ packages: Git: https://github.com/pulp-platform/common_verification.git dependencies: [] cva6: - revision: 709a4aad77d960c2ed93c061f69a3875904b9c28 + revision: 6506dcbf722178fbe23e3af37bbb16689daa8150 version: null source: Git: https://github.com/pulp-platform/cva6.git @@ -116,7 +116,7 @@ packages: dependencies: - axi fpnew: - revision: e5aa6a01b5bbe1675c3aa8872e1203413ded83d1 + revision: 5248baf6f314fe22be3a1ffab1dfd037e6618a0f version: null source: Git: https://github.com/pulp-platform/cvfpu.git diff --git a/cheshire.mk b/cheshire.mk index feb5a404..4a395e7b 100644 --- a/cheshire.mk +++ b/cheshire.mk @@ -16,7 +16,7 @@ VLOG_ARGS ?= -suppress 2583 -suppress 13314 -timescale 1ns/1ps VLOGAN_ARGS ?= -kdb -nc -assert svaext +v2k -timescale=1ns/1ps # Common Bender flags for Cheshire RTL -CHS_BENDER_RTL_FLAGS ?= -t rtl -t cva6 -t cv64a6_imafdchsclic_sv39_hpdcache_wb +CHS_BENDER_RTL_FLAGS ?= -t rtl -t cva6 -t cv64a6_imafdchsclic_sv39_sc_phbht_fusion_fpu_hpdcache # Define used paths (prefixed to avoid name conflicts) CHS_ROOT ?= $(shell $(BENDER) path cheshire)