From 6993959245643f0c04d04a60c3dd83964f29aea0 Mon Sep 17 00:00:00 2001
From: Pascal Gouedo <pascal.gouedo@dolphin.fr>
Date: Thu, 27 Jun 2024 11:43:51 +0200
Subject: [PATCH] Added Siemens Questa Processor version requirement.

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
---
 scripts/riscv_isa_formal/README.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/riscv_isa_formal/README.md b/scripts/riscv_isa_formal/README.md
index 02adc09bb..8999d0be2 100755
--- a/scripts/riscv_isa_formal/README.md
+++ b/scripts/riscv_isa_formal/README.md
@@ -39,6 +39,9 @@ Contains all files to create assertions and to launch different tool apps on dif
 
 ## How to launch a run
 
+> [!CAUTION]
+> Siemens Questa Processor 2024.2 and above must be used.
+
 - Locally clone cv32e40p github repository or make a symbolic link to an existing repo.
 - launch following command:<br>
   make GUI=1 APP=PRC CONF=XP MODE=DEF NAME=v1_8_0 VERBOSE=1 PREPARE=1 all >&! run_gui-PRC-cfg_XP-mode_DEF-v1_8_0.log