mirror of
https://github.com/openhwgroup/cve2.git
synced 2025-04-20 20:19:08 -04:00
468b3595cd
* Core-V eXtension Interface (CV-X-IF) integration (#277) * minor fixes (#283) * minor fix again * Changes to make the X_if addition compatible with the golden version of the core, minus the rf_we line (#289) * Fix remaining sec inconsistency regarding the X-IF addition (#291) * Changes to make the X_if addition compatible with the golden version of the core, minus the rf_we line * [rt][sec][xif] Made the length of the cve2_id_stage's rf_wdata_sel dependent on the whether the X-IF is present * [rtl][sec][xif] Made the length of the cve2_id_stage's rf_wdata_sel dependent on the whether the X-IF is present * Clean Verilator warning about X-IF addition while keeping the RTL SEC-safe (#292) * Changes to make the X_if addition compatible with the golden version of the core, minus the rf_we line * [rt][sec][xif] Made the length of the cve2_id_stage's rf_wdata_sel dependent on the whether the X-IF is present * [rtl][sec][xif] Made the length of the cve2_id_stage's rf_wdata_sel dependent on the whether the X-IF is present * [rtl][xif][verilator] Clean warnings about enum-logic[] width mismatch on Verilator, while keeping the design logically equivalent. This is due to the cve2_decoder's rf_wdata_sel_o signal, which has its width dependent of the X-IF. * fix xif --------- Co-authored-by: FrancescoDeMalde-synthara <167969440+FrancescoDeMalde-synthara@users.noreply.github.com> Co-authored-by: Cairo Caplan <cairo.caplan@eclipse-foundation.org> |
||
|---|---|---|
| .. | ||
| cadence | ||
| yosys | ||
| README.md | ||
| sec.sh | ||
Sequential Equivalence Checking (SEC)
This folder contains a SEC script that runs on Cadence Jaspergold
Running the script
From a bash shell, please execute:
./sec.sh -t cadence
Use sh ./sec.sh -t {cadence} if you run it from a tcsh shell.
The script clones the cve2 main branch of the core as a golden reference, and uses the current repository's rtl as revised version.
If you want to use another golden reference rtl, Set the GOLDEN_RTL enviromental variable to the new rtl before calling the sec.sh script.
export GOLDEN_RTL=YOUR_GOLDEN_CORE_RTL_PATH
or
setenv GOLDEN_RTL YOUR_GOLDEN_CORE_RTL_PATH
If the script succeeds, it returns 0, otherwise 1.
The sec.tcl scripts in the tool specific folders are executed on the tools to perform RTL to RTL SEC.