Commit graph

51 commits

Author SHA1 Message Date
Jalali
70972dad54
Update rvfi_tracer and cva6.py (#2684)
* RVFI Tracer : Update tracer to support interrupts

* Randomize sv_seed by default

* Change pc64 to pc

* Fixes

* cva6.py : add the capability to create a log for sv_seed

* Tracer : keep pc64 64 targets failed

* Fix UVM seed for performance tests

---------

Co-authored-by: André Sintzoff <61976467+ASintzoff@users.noreply.github.com>
2025-01-31 13:10:27 +01:00
Cesar Fuguet
db568f3e1d
Fully support the Write-Back mode of the HPDcache in the CVA6 (#2691)
Some checks are pending
bender-up-to-date / bender-up-to-date (push) Waiting to run
ci / build-riscv-tests (push) Waiting to run
ci / execute-riscv64-tests (push) Blocked by required conditions
ci / execute-riscv32-tests (push) Blocked by required conditions
This PR modifies some components in the CVA6 to fully support the WB mode of the HPDcache.

When on WB mode, there may be coherency issues between the Instruction Cache and the Data Cache. This may happen when the software writes on instruction segments (e.g. to relocate a code in memory).

This PR contains the following modifications:

The CVA6 controller module rises the flush signal to the caches when executing a fence or fence.i instruction.
The HPDcache cache subsystem translates this fence signal to a FLUSH request to the cache (when the HPDcache is in WB mode).
Add new parameters in the CVA6 configuration packages:
DcacheFlushOnInvalidate: It changes the behavior of the CVA6 controller. When this parameter is set, the controller rises the Flush signal on fence instructions.
DcacheInvalidateOnFlush: It changes the behavior of the HPDcache request adapter. When issuing a flush, it also asks the HPDcache to invalidate the cachelines.
Add additional values to the DcacheType enum: HPDCACHE_WT, HPDCACHE_WB, HPDCACHE_WT_WB
In addition, it also fixes some issues with the rvfi_mem_paddr signal from the store_buffer.
2025-01-10 17:57:32 +01:00
Munail Waqar
f7dd49efa5
Adding support for Scalar Crypto Extension (Bitmanip instructions for Cryptography, Zbkb) (#2653)
Some checks are pending
bender-up-to-date / bender-up-to-date (push) Waiting to run
ci / build-riscv-tests (push) Waiting to run
ci / execute-riscv64-tests (push) Blocked by required conditions
ci / execute-riscv32-tests (push) Blocked by required conditions
Introduction
This PR adds support for Zbkb extension in the CVA6 core. It also adds the documentation for this extension. These changes have been tested with self-written single instruction tests and with the riscv-arch-tests. This PR will be followed by other PRs that will add complete support for the Zkn - NIST Algorithm Suite extension.

Implementation
Zbkb Extension:
Added support for the Zbkb instruction set. It essentially expands the Zbb extension with additional instructions useful in cryptography. These instructions are pack, packh, packw, brev8, unzip and zip.

Modifications
1. A new bit ZKN was added. The complete Zkn extension will be added under this bit for ease of use. This configuration will also require the RVB (bitmanip) bit to be set.
2. Updated the ALU and decoder to recognize and handle Zbkb instructions.

Documentation and Reference
The official RISC-V Cryptography Extensions Volume I was followed to ensure alignment with ratification. The relevant documentation for the Zbkb instruction was also added.

Verification
Assembly Tests:
The instructions were tested and verified with the K module of both 32 bit and 64 bit versions of the riscv-arch-tests to ensure proper functionality. These tests check for ISA compliance, edge cases and use assertions to ensure expected behavior. The tests include:
pack-01.S
packh-01.S
packw-01.S
brev8-01.S
unzip-01.S
zip-01.S
2024-12-18 22:35:41 +01:00
Valentin Thomazic
5ff6b2d32e
check spike version in cva6.py (#2654)
Some checks failed
bender-up-to-date / bender-up-to-date (push) Has been cancelled
ci / build-riscv-tests (push) Has been cancelled
ci / execute-riscv64-tests (push) Has been cancelled
ci / execute-riscv32-tests (push) Has been cancelled
Spike version check seems to have been commented by mistake, this pr fixes it
2024-12-05 15:29:24 +01:00
Cra2yPierr0t
de0ebf0409
add cv64a6_imafdch_sv39 config to cva6.py (#2646)
Make cv64a6_imafdch_sv39 available from cva6.py
2024-12-04 10:27:37 +01:00
Valentin Thomazic
6ee7a7d0c2
CI fixes (#2634)
Some checks are pending
bender-up-to-date / bender-up-to-date (push) Waiting to run
ci / build-riscv-tests (push) Waiting to run
ci / execute-riscv64-tests (push) Blocked by required conditions
ci / execute-riscv32-tests (push) Blocked by required conditions
* Increase timeout for compliance testlist
* Switch to verilator for riscv-tests-v for faster sim
* fix reports for non tandem jobs
2024-11-27 08:00:41 +01:00
Valentin Thomazic
e571c1ced1
fix simu gate step 1: cva6.py refactor & collect report (#2621)
* cva6 refactor & cleanup to enable tandem reports generation for elf tests such as testelf for simu-gate:
   1. merge redundant functions to run directed tests in `cva6.py` (`run_c`, `run_elf`, `run_assembly` -> `run_test`)
   2. removed broken and unused functions by the way (`run_c_from_dir`, `run_assembly_from_dir`)
* collect sim reports of simu-gate job to display them in the cva6 dashboard : ⚠️ the simu gate job will still fail but the result on the dashboard will be accurate and will allow debugging
2024-11-20 18:43:22 +01:00
JeanRochCoulon
a283d3eea2
Define cv32a60x configuration (#2608)
Some checks are pending
bender-up-to-date / bender-up-to-date (push) Waiting to run
ci / build-riscv-tests (push) Waiting to run
ci / execute-riscv64-tests (push) Blocked by required conditions
ci / execute-riscv32-tests (push) Blocked by required conditions
2024-11-18 15:51:21 +01:00
Jean-Roch Coulon
37a9cf733b Create dedicated spike.yaml file for cv32a65x configuration. When another configuration is selected, no spike.yaml is provided to Spike, the default internal Spike configuration is used. When hwconfig is targetedi with cv32a65x as reference, cv32a65x spike.yaml is recopied into hwconfig directory. 2024-10-23 18:24:38 +02:00
Jean-Roch Coulon
9cfadbeded Create dedicated linker scripts for cv32a65x configuration. When another configuration is targeted, the default linker script is used (config/genxxx/linker/link.ld). When hwconfig is targeted, linker scripts are recopied into hwconfig directory.
Keep only one unique linker script: link.ldi. Remove test.ld file.
2024-10-23 18:24:38 +02:00
JeanRochCoulon
45eaace82b
Revert "Multicommits to shorten smoke-tests duration, to declare VLEN as para…" (#2564)
This reverts commit 0877e8e446.
2024-10-23 18:12:49 +02:00
JeanRochCoulon
0877e8e446
Multicommits to shorten smoke-tests duration, to declare VLEN as parameter, to improve coremark results, to implement spike.yaml/linker dedicated to 65x (#2563)
- FIX: Replace riscv_pkg:VLEN by CVA6Cfg.VLEN
- Declare VLEN as new CVA6 parameter
- smoke-hwconfig: run with vcs-uvm and use return0 tests to speed-up CI light stage timing execution
- Use dedicated linker scripts for 65x configuration.
- Use dedicated spike.yaml for 65x configuration.
- Set BHTEntries=128, cache=WT, scoreboard entries=8 to improve Coremark and Dhrystone results
- Run 4 iterations of coremark to improve results
2024-10-23 17:56:06 +02:00
valentinThomazic
9362816e1c
fix simulation errors not detected on ci w/ tandem (#2486) 2024-08-30 22:23:03 +02:00
JeanRochCoulon
111df66d27
fix hwconfig setup in cva6.py (#2484) 2024-08-30 17:09:23 +02:00
valentinThomazic
28affa2346
[CI] use spike tandem on smoke-tests (#2438) 2024-08-22 17:04:48 +02:00
MarioOpenHWGroup
4b51643826
TANDEM Configuration fixes (#2420) 2024-08-09 12:34:40 +02:00
Zbigniew Chamski
846e1a1269
[CI DEBUG] Track cause of failures in Spike version check. (#2360) 2024-07-24 23:56:04 +02:00
valentinThomazic
e53c669df1
Enable tandem on smoke-gen tests in ci (#2357) 2024-07-12 16:05:02 +02:00
Zbigniew Chamski
48ef515ba0
[Spike Yaml] Integrate Spike Yaml support. (#2304) 2024-07-11 08:37:37 +02:00
Mathieu Gouttenoire
3d00079c19
Prepare for LLVM (#2251) 2024-06-14 11:12:03 +02:00
JeanRochCoulon
cb6211bbb8
Remove cv32a6_embedded configuration (#2246) 2024-06-14 08:30:17 +02:00
MarioOpenHWGroup
d714d833cb
Bump verif/core-v-verif from f7bda8e to NOTMERGED (#2044) 2024-05-30 15:57:58 +02:00
JeanRochCoulon
0da83492f6
Give information on how to clean-up Spike before build (#2164) 2024-05-30 13:40:51 +02:00
slgth
9f4b2f7179
New target with MMU: cv64a6_mmu (#2149) 2024-05-24 13:39:00 +02:00
xiaoweish
115b464a2b
Two minor simulation flow enhancements (#2145) 2024-05-23 08:28:01 +02:00
Cesar Fuguet
f32f51777f
Add in Github's CI a 64-bit configuration of the CVA6 using the HPDcache and restore WB cache test (#2114) 2024-05-21 09:51:10 +02:00
Zbigniew Chamski
e6c3bac01e
[CI] Fix spike version checks on the CVA6 (#2135) 2024-05-21 08:55:25 +02:00
xiaoweish
5484a0881d
Running spike first to expedite error detection, especially on ISG (#2104) 2024-05-14 22:42:21 +02:00
xiaoweish
96e2d28e06
Fixing --iss_timeout Passing and Setting Default Timeout Values for EDA Simulators (#2105) 2024-05-14 22:39:47 +02:00
xiaoweish
3919e79f8f
Implement YAML anchor/alias for streamlined testlist structure (#2073) 2024-04-28 23:00:22 +02:00
MarioOpenHWGroup
8a9d7a832b
Fix RVFI always_ff blocks (#2053) 2024-04-18 10:06:34 +02:00
valentinThomazic
4f73867fce
Do not add spike param arg if no spike param provided (#2016) 2024-04-08 12:03:20 +02:00
Côme
f886713754
User config generator becomes a Python tool to work with configs (#2003) 2024-04-04 15:56:29 +02:00
valentinThomazic
5c7ddcbcc5
Fix log naming and dashboard improvements (#2001) 2024-04-03 18:03:47 +02:00
valentinThomazic
3dc1f23a9d
Support Spike Parameters in cva6.py and bump core-v-verif (#1976) 2024-04-02 10:26:25 +02:00
André Sintzoff
f846d8e638
cva6.py: use raw strings (#1959)
to avoid invalid escape sequence SyntaxWarning
since Python 3.12
2024-03-25 06:31:23 +01:00
MarioOpenHWGroup
62bdf11594
Bump core-v-verif d94f0de and fix questa simulator (#1915) 2024-03-21 19:02:41 +01:00
valentinThomazic
fd12ee596c
Add smoke-tests and fpga logs on dashboard (#1928) 2024-03-14 14:43:56 +01:00
valentinThomazic
fde7e856e7
detect old versions of spike (#1910) 2024-03-08 23:54:05 +01:00
André Sintzoff
8c2bbb0527
cva6.py: fix typos in displayed messages (#1906) 2024-03-08 14:01:19 +01:00
valentinThomazic
a4fc0e9f99
Check tools version before simulation (#1899) 2024-03-07 16:34:10 +01:00
Zbigniew Chamski
4fcdf4ea30
Generate separate per-target logs when simulating. (#1870) 2024-03-05 19:37:57 +01:00
Jalali
ce0ab81630
Connect CSRs info from RVFI_CSR in the testbench & update simulation target (#1879) 2024-02-28 16:20:24 +01:00
JeanRochCoulon
de5d0d7ed4
cv32a65x (#1799) 2024-02-01 13:11:45 +01:00
MarioOpenHWGroup
8b6e8295f8
Add priv level to cva6.py and fix smoke-tests (#1768) 2024-01-17 23:14:19 +01:00
valentinThomazic
34f631ffc5
remove hard-coded gcc options (#1652) 2023-11-23 23:35:20 +01:00
Jalali
e2a5250473
Updates to match the latest version of RISCV-DV (#1576) 2023-10-30 14:10:58 +01:00
Fatima Saleem
38b1da26c3
adding bitmanip and atomic arch-tests (#1560) 2023-10-20 16:03:12 +02:00
Zbigniew Chamski
1683c818c4
Streamline installation process (Spike and toolchain variables, README file). (#1468) 2023-09-26 16:51:03 +02:00
Jean-Roch Coulon
b13530ccbc fix regress tests and makefiles
Co-authored-by: Côme Allart <come.allart@thalesgroup.com>
2023-09-07 11:38:34 +02:00