Commit graph

2292 commits

Author SHA1 Message Date
davide schiavone
7071272fe1 fix xif 2025-04-10 10:49:03 +02:00
Cairo Caplan
6c47cd261b
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.
2025-04-08 21:29:25 +02:00
Cairo Caplan
3bc12617f4
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
2025-03-25 09:27:12 +01:00
Cairo Caplan
e8e7967079
Changes to make the X_if addition compatible with the golden version of the core, minus the rf_we line (#289) 2025-03-17 14:57:02 +01:00
davide schiavone
73ba22204f merge main 2025-03-17 11:06:35 +01:00
Cairo Caplan
44393eb863
Logical Equivalence Checking with Yosys EQY (#287)
* [rtl] Changed the default number of performance counters from 0 to 10 (#214)

* Implementation of sequential equivalence checking option using Yosys EQY.

* [sec] Automatic removal of new IO when performing SEC against (current) golden design with Yosys EQY
2025-03-17 10:49:24 +01:00
Luis Waucquez
7472bc1ce3
Modification debug interface output halted status (#288) 2025-03-14 17:01:09 +01:00
Mike Thompson
ca6bc061a2
Add content about the ECA/MCCA. 2025-03-11 16:30:20 -04:00
Cairo Caplan
9df7ab1bab
Modification of some Debug Modules parameters into (static) signals, as part of (#269) (#286)
* [rtl] Changed the default number of performance counters from 0 to 10 (#214)

* [rtl] Turning debug halt and exception addresses from parameters into signals (#269)

* [doc] Updating the docs regarding the turning of debug halt and exception addresses into signals (#269)

* Adding buildsim.log to .gitignore, as it is created by some make targets
2025-03-03 16:56:26 +01:00
davide schiavone
2814470132 minor fix again 2025-02-27 19:37:20 +01:00
Davide Schiavone
9046348e29
minor fixes (#283) 2025-02-27 14:37:10 +01:00
FrancescoDeMalde-synthara
4cd1a8ddc2
Core-V eXtension Interface (CV-X-IF) integration (#277) 2025-02-27 14:28:23 +01:00
Mohammed Eladawy
b7e5534480
Update marchid, mvendorid, mimpid values in docs (#278)
* Update marchid, mvendorid, mimpid values in docs

* Update getting_started.rst

---------

Co-authored-by: Davide Schiavone <davide@openhwgroup.org>
2025-02-05 18:13:33 +01:00
Mike Thompson
4b782ac0d7
Hot fix for pr_trigger workflow
v2 versions of `actions/checkout` and `actions/upload-artifact` are no longer supported.
2025-01-14 16:49:31 -05:00
Ahmed Eid
8640594d0d
Adding the proper Reset-Value and detailed table to the MISA in the UM (#276)
* Adding Reset-value and detailed table to MISA register in the CV32E20 UM

* Adding detailed table to MISA register in the CV32E20 UM

* Replace Hardcoded Values with Parameters

* Removing RVB Comment
2025-01-14 21:57:54 +01:00
MarioOpenHWGroup
370793f524
RVFI CSRs improvements (#266) 2024-06-19 14:02:12 +02:00
Davide Schiavone
cd43ee5dbf adding back obi2ahbm example 2024-06-06 11:38:53 +02:00
Mike Thompson
42f76f433c
Remove the Ibex example system (#272) 2024-05-28 20:23:18 +02:00
Davide Schiavone
7f3bb9fcb2
fix design compiler (#270) 2024-05-27 15:23:26 +02:00
MarioOpenHWGroup
1786fbfab7
add RVFI CSRs tracing (#184) 2024-02-26 13:05:23 +01:00
szbieg
00bad9703a
Do not count dret instruction when not in debug mode - it won't retire (#180)
fixes #164

Signed-off-by: Szymon Bieganski <szymon.bieganski@oss.nxp.com>
2024-02-26 12:30:02 +01:00
Mike Thompson
8a561eddcf
HotFix: need the latest version of Sphinx 2024-01-30 10:26:13 -05:00
christian-herber-nxp
ebddc3938f
Merge pull request #148 from NXP/feature/specification-improvements
Feature/specification improvements
2023-12-21 20:07:21 +01:00
Davide Schiavone
f5b21e71c9
removed unused irq_enable signal in controller (#178) 2023-12-12 13:40:59 +01:00
Lee Hoff
13c86e6a0a
adding obi2ahb gasket (#160)
* correcting copywrite string

Signed-off-by: Lee Hoff <lhoff@intrinsix.com>

* updating obi2ahb gasket

Signed-off-by: Lee Hoff <lhoff@intrinsix.com>

---------

Signed-off-by: Lee Hoff <lhoff@intrinsix.com>
2023-12-12 08:31:46 +01:00
christian-herber-nxp
fd2ff1897a
Merge pull request #170 from davideschiavone/main
fix readme and add reference
2023-11-14 09:13:25 -06:00
Davide Schiavone
e58f0593c3
Merge pull request #1 from davideschiavone/davideschiavone-fixreadme
add references and fix typos in README
2023-11-14 10:22:44 +01:00
Davide Schiavone
a325e5ebba
add references and fix typos in README 2023-11-14 10:20:20 +01:00
christian-herber-nxp
9e0615bc3b
Merge pull request #156 from davideschiavone/patch_lowRISC_3
[rtl] do not take interrupts when single stepping and ignore MIE bit in U mode
2023-10-04 11:40:41 +02:00
davide schiavone
d981574b42 Merge branch 'patch_lowRISC_4' into patch_lowRISC_3 2023-10-03 13:11:07 +02:00
Christian Herber
c63271c5cf Removing requirement to encode supervisor mode in AHB as supervisor mode is not supported 2023-09-27 15:46:31 +02:00
Christian Herber
4eab586b79 Removing interrupt controller from coreplex components
- CLINT is completely implemented at the core level
2023-09-27 15:46:31 +02:00
Christian Herber
48d32b4625 Fixed wrong OBI version referenced
- substituted with explicit reference
- removed the redundanst section on memory interfaces
2023-09-27 15:46:30 +02:00
Davide Schiavone
d2a1be82ef
[rtl] Make PMP CSRs illegal in non PMP configurations (#155)
The previous behaviour was also acceptable but this matches spike.

Co-authored-by: Greg Chadwick <gac@lowrisc.org>
2023-09-26 18:23:17 +02:00
Davide Schiavone
cb3c4a4bf4
Fix incorrect debug_cause priority against riscv-debug 1.0.0-STABLE (#154)
The relevant page [Debug Spec v1.0.0-STABLE, p.53] gives the following
priorities for resolving multiple concurrent reasons for entering debug mode....

DCSR.cause : Explains why Debug Mode was entered.

When there are multiple reasons to enter Debug Mode in a single cycle,
hardware should set cause to the cause with the highest priority.
1: An ebreak instruction was executed.                        (priority 3)
2: A Trigger Module trigger fired with action=1.              (priority 4)
3: The debugger requested entry to Debug Mode using haltreq.  (priority 1)
4: The hart single stepped because step was set.              (priority 0, lowest)
5: The hart halted directly out of reset due to resethaltreq. (priority 2)
   It is also acceptable to report 3 when this happens.
6: The hart halted because it’s part of a halt group.         (priority 5, highest)
   Harts may report 3 for this cause instead.

Other values are reserved for future use.

Co-authored-by: Harry Callahan <hcallahan@lowrisc.org>
2023-09-26 18:23:01 +02:00
Greg Chadwick
72c2f3ec4e merge [rtl] Ignore MIE bit in U mode 2023-09-26 17:50:30 +02:00
Greg Chadwick
1ca5dab56e do not take interrupts when single stepping 2023-09-26 17:47:26 +02:00
christian-herber-nxp
45e97c2265
Merge pull request #152 from davideschiavone/fix12
fix vendorid and marchid
2023-09-26 17:27:04 +02:00
davide schiavone
9b3fb44a17 fix vendorid and marchid 2023-09-20 17:04:03 +02:00
Lee Hoff
4e11d547fd
Update cve2_core.sv to accomodate MRET instruction (#143)
Change the timing of rvfi_id_done to accomodate MRET instruction. The signal rvfi_valid is a single clock delayed from rvfi_id_done
2023-09-20 16:47:22 +02:00
Mike Thompson
4be52dedc2
Merge pull request #145 from NXP/bugfix/remove-unwanted-documentation
Removing outdated documentation that is missleading for CV32E20
2023-09-06 15:36:01 -04:00
Mike Thompson
8279981d63
Merge pull request #144 from NXP/bugfix/add-openhwgroup-logo-to-docs
Adding OpenHW group logo to documentation
2023-09-06 15:27:11 -04:00
Christian Herber
7f4b48045d Fixing link to documentation in README.md 2023-09-06 11:08:50 +02:00
Christian Herber
4b4dbd5739 Removing outdated documentation that is missleading in the context of CV32E20 2023-09-06 10:56:15 +02:00
Christian Herber
7e087664ed Adding OpenHW group logo to documentation 2023-09-06 10:39:22 +02:00
Davide Schiavone
9a79be864f
move nmi to irq 32 (#139)
* move nmi to irq 32

* fix exc cause

* update top tracing

* fix mcause read
2023-08-30 14:24:16 +02:00
DBees
4e5dc5bf8b
Merge pull request #141 from NXP/bugfix/remove-github-changelog
Sphinx github changelog was unintentionally included in the extensions
2023-08-29 06:41:53 -07:00
Christian Herber
488c7cbf9c Sphinx github changelog was unintentionally included in the extensions 2023-08-28 07:47:25 +02:00
DBees
b3bf9c639b
Merge pull request #138 from NXP/feature/prepare-documentation
Feature/prepare documentation
2023-08-25 09:18:48 -07:00
Christian Herber
fdf0c8d044 Added rtd yaml config file 2023-08-23 09:29:14 +02:00