From c39dd4bfe9ad18ca72a9fb8c9e82dd73b1924c62 Mon Sep 17 00:00:00 2001
From: Riccardo Tedeschi <riccardo.tedeschi6@unibo.it>
Date: Thu, 16 Jan 2025 17:54:45 +0100
Subject: [PATCH] Use superscalar version of CVA6

---
 Bender.lock | 4 ++--
 cheshire.mk | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Bender.lock b/Bender.lock
index 281c26c9..0df448ba 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: 5ed0443920d198e065e90d3a7731dfec4c532cf9
     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)