Hardware
/
VexRiscv
mirror of https://github.com/SpinalHDL/VexRiscv.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
1,525 Commits 39 Branches 2 Tags 15 MiB
Commit Graph

1525 Commits

Author SHA1 Message Date
Andreas Wallner d8f6f28020 Remove sbt-assembly dependency 
The plugin is not used in the VexRiscV build and causes issues for users
since repo.scala-sbt.org seems to be down/sunset/?.

See also https://github.com/sbt/sbt/issues/7202

Updating the dependency would also have been an option, but since it's not
used removal is easier.
 2023-04-07 18:59:20 +02:00
Dolu1990 f3d7442e2d Merge remote-tracking branch 'origin/dev' 2023-04-04 11:50:11 +02:00
Dolu1990 95e61a7951 Revert CfuPlugin 2023-04-04 11:47:49 +02:00
Dolu1990 cb0bacfce9 implement dummy pmp as 1.10 spec says 2023-03-31 10:12:52 +02:00
Dolu1990 b4d5a315cf CsrPlugin implement dummy pmp if no pmp is there 2023-03-31 10:11:53 +02:00
Dolu1990 9c2e05cce0 Ensure that fence.i wait d$ inflight write and reschedule the next instruction 2023-03-29 14:56:53 +02:00
Dolu1990 e357420d11 CsrPluginConfig more var 2023-03-29 11:10:51 +02:00
Dolu1990 f0bb6e94e4 SpinalHDL 1.8.1 / Merge branch 'dev' 
# Conflicts:
#	src/main/scala/vexriscv/plugin/CsrPlugin.scala
 2023-03-27 10:02:14 +02:00
Dolu1990 a33380894c sync 2023-03-27 09:57:55 +02:00
Dolu1990 e754c5c3a0 cleanup IBusDBusCachedTightlyCoupledRam 2023-03-27 08:23:32 +02:00
Dolu1990 eeb65ed1c0 VexRiscvBmbGenrator now use relaxedReset 2023-03-24 08:39:07 +01:00
Dolu1990 c69852c0cc ClockDomainResetGeneratorIf introduction 2023-03-23 16:57:10 +01:00
Dolu1990 8195bec788 privSpec now check FPU dirty flag 2023-03-23 11:24:38 +01:00
Dolu1990 8c5071ce42 VexRiscvSmpCluster fullCsr improvement 2023-03-23 08:53:41 +01:00
Dolu1990 b01490b5f3 Implement counteren (1.10+ spec) 2023-03-23 08:53:10 +01:00
Dolu1990 570720fdd8 Cfu add enableInit option 2023-03-22 17:13:47 +01:00
Dolu1990 0e59a56bd1 add privSpec test 2023-03-22 16:25:23 +01:00
Dolu1990 bba022b746 fix a few csr related WARL (minor) 2023-03-22 16:25:03 +01:00
Dolu1990 385a195d16 few more var parameters 2023-03-22 12:58:43 +01:00
Dolu1990 a755d839b3 Add VexRiscvSmpClusterGen csrFull (wip) 2023-03-22 11:07:18 +01:00
Dolu1990 5b47564024 A few plugins config are now var 2023-03-22 11:06:56 +01:00
Dolu1990 4972a27ae9 More verbose main.cpp on failure, fix C.ADDSP regfile initialisation 2023-03-22 11:06:23 +01:00
Charles Papon 0aa8cb11e0 BranchPlugin do not use casez anymore 2023-03-15 17:43:44 +08:00
Charles Papon 13061b8b2e debug unavailable is now BufferCC 2023-03-15 09:50:09 +08:00
Charles Papon 876222d886 Fix FPU access port instanciation when not needed 2023-03-14 15:23:04 +08:00
Charles Papon 25eda80fee FpuTest document how to install berkley testfloat 2023-03-10 14:46:21 +08:00
Charles Papon 94f19032f0 FpuPlugin.access port added 
Privileged debug access added
 2023-03-10 14:44:14 +08:00
Charles Papon 6be1531d36 Fpu will not trap anymore on debug access if fs==0 2023-03-10 09:17:01 +08:00
Charles Papon 1179c6551f Fix #321 #322 #333 FPU precision removal 2023-03-08 16:00:22 +08:00
Charles Papon f11c642cd6 CfuPlugin encoding can now specify cmd/rsp less instruction 2023-03-07 16:49:07 +08:00
Charles Papon 3cf8508db1 DBus coupled timings improvement 2023-03-05 20:31:40 +08:00
Charles Papon 153445ff21 Fix CFU / FPU decoder stage fork on illegal instruction 2023-03-05 20:29:53 +08:00
Dolu1990 cf70bc6b1f fix last push 2023-03-03 14:20:12 +01:00
Dolu1990 b03b00a5c4 Improve d$ coupled timings 2023-03-03 14:13:51 +01:00
Dolu1990 5493c55ab0 Alows Fetcher to have multiple debug injection ports 2023-03-03 09:06:20 +01:00
Dolu1990 5f67075e30 Fix FPU with F64 support, not removing mantissa precision from F32 #317 2023-03-01 13:56:25 +01:00
Dolu1990 b29eb542f2
Merge pull request #306 from lschuermann/dev/csr-plugin-formal-halt 
CsrPlugin: insert FORMAL_HALT := False
 2023-02-27 09:22:46 +01:00
Dolu1990 c655abbb1e
Merge pull request #304 from lschuermann/dev/fetcher-formal-mode 
Fetcher: insert FORMAL_MODE encoded from privilegeService
 2023-02-27 09:09:58 +01:00
Leon Schuermann 49246e757f CsrPlugin: insert FORMAL_HALT := False 2023-02-26 16:56:00 -05:00
Leon Schuermann 13d66b3ae4 Fetcher: insert FORMAL_MODE encoded from privilegeService 
Previously, FORMAL_MODE would simply be hard-coded to "11", indicating
machine mode. However, that's not necessarily true when using the
CsrPlugin, which allows to switch the hart into either User or
optional Supervisor mode. Hence we create a FORMAL_MODE insert in the
fetch-phase (which is generally when the MPP register can take effect)
and generate `rvfi_mode` based on that insert.
 2023-02-24 16:40:47 -05:00
Dolu1990 6f76a45e7d update mmu test 2023-02-23 15:54:39 +01:00
Dolu1990 d7e9c726c3 Fix datacache initial flush 2023-02-23 14:42:21 +01:00
Dolu1990 c5689e512c CsrPlugin now provide regression args 2023-02-23 12:00:25 +01:00
Dolu1990 a40d5f19b2 Fix MMU A and D flag handeling 2023-02-23 12:00:08 +01:00
Dolu1990 344b2d4eda TestIndividual supervisor missing CSR=yes 2023-02-23 11:59:13 +01:00
Dolu1990 9605b663bf D$ now support thightly coupled ram. 
Add IBusDBusCachedTightlyCoupledRam plugin
 2023-02-22 15:26:14 +01:00
Dolu1990 220b599c9a Fix d$ invalidation when the mmu is enabled 2023-02-22 13:16:02 +01:00
Dolu1990 366f09a14a fix too early 2023-02-19 09:51:54 +01:00
Dolu1990 15a665af53 fix too early 2023-02-19 09:51:18 +01:00
Dolu1990 c57da3c7dc fix too early 2023-02-19 09:50:41 +01:00