Removed proprietary informations.

Signed-off-by: Pascal Gouedo <[email protected]>
pascalgouedo · Jun 6, 2024 · 4f7c195 · 4f7c195
1 parent 576f7a7
commit 4f7c195
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 1,090 deletions.
diff --git a/scripts/riscv_isa_formal/README.md b/scripts/riscv_isa_formal/README.md
@@ -33,6 +33,10 @@ RISC-V ISA Formal Verification methodology has been used with Siemens EDA Onespi
 ### common
 Contains all files to create assertions and to launch different tool apps on different configurations and using different modes.
 
+> [!CAUTION]
+> core_checker.sv contains proprietary information and is only available to Siemens EDA OneSpin customers.
+> Once OneSpin licenses have been purchased, this file can be requested to Siemens support center.
+
 ## How to launch a run
 
 - Locally clone cv32e40p github repository or make a symbolic link to an existing repo.

diff --git a/scripts/riscv_isa_formal/common/basics.tcl.obf b/scripts/riscv_isa_formal/common/basics.tcl.obf