Commit Graph

105 Commits

Author SHA1 Message Date
David Harris
028ffe9f4a Removing obsolete *** 2024-11-20 07:23:51 -08:00
Corey Hickson
def3b46afa Add ZicsrU to fcov 2024-11-16 14:13:54 -08:00
David Harris
45f6cb055d Changed reservation set size to one word to fix RV32GC lrsc privileged test failure Issue #1092 2024-11-16 11:47:45 -08:00
David Harris
8e6170cc83 Merge branch 'main' of https://github.com/openhwgroup/cvw into dev 2024-11-14 08:15:44 -08:00
David Harris
eacc8c0f07 Define XLEN32/XLEN64 in coverage configuration 2024-11-14 08:14:22 -08:00
David Harris
b6c69fa8a3
Merge pull request #1089 from coreyqh/dev
Add ZicsrF coverage to fcov
2024-11-13 03:02:01 -08:00
Corey Hickson
dcaef2080b Add ZicsrF coverage to fcov 2024-11-12 19:09:50 -08:00
Daniyal-R-A
c6734e148e Merge branch 'main' of https://github.com/openhwgroup/cvw into Z_enable 2024-11-10 20:32:08 -08:00
Daniyal-R-A
f824d15c89 Enabling Zb Instructions 2024-11-09 02:54:50 -08:00
Zain2050
83b07a0d27 enable show_c_prefix 2024-11-08 07:12:44 -08:00
David Harris
18ddf1f77b
Revert "Enabling ZB and Zk extensions in coverage.svh of congif/rv32gc and congif/rv64gc" 2024-11-07 17:04:09 -08:00
Daniyal-R-A
4dff7d17e6 Merge branch 'main' of https://github.com/openhwgroup/cvw into Z_enable 2024-11-04 21:39:05 -08:00
Daniyal-R-A
912d593acf Enabling Zb* and Zk* 2024-11-04 21:38:51 -08:00
Huda-10xe
f258384596 Adding sv32 coverpoins 2024-11-01 06:07:49 -07:00
Corey Hickson
27492499c6 Enabled ZfaF, ZfaD, ZfaZfh coverage 2024-10-31 02:48:53 -07:00
David Harris
874d5f6cce Updated ImperasDV config to fix issue #1031 2024-10-28 15:55:34 -07:00
Zain2050
d22988b678 also added Zcd 2024-10-26 09:17:34 -07:00
Zain2050
3ba9295060 enabled Zcf in rv32gc 2024-10-26 09:06:01 -07:00
David Harris
e618596e52 Added CSR coverage 2024-10-26 02:11:40 -07:00
Corey Hickson
885d8cb936 Enabling D and ZfhD Coverage 2024-10-24 04:53:41 -07:00
David Harris
b848a1abfe added no_pseudo_inst to only print regular instructions. 2024-10-22 05:26:29 -07:00
David Harris
aaa2edac18 Merge branch 'main' of https://github.com/openhwgroup/cvw into dev 2024-10-16 13:26:51 -07:00
David Harris
01805d9fb1 Corrected RV32gc imperas configuration 2024-10-16 13:26:20 -07:00
David Harris
69898f65da Disabled some features in imperasdv not implemented by Wally 2024-10-15 09:09:42 -07:00
Mysterio-Abdullah
da35944dce Configuring Zcb 2024-10-13 17:41:59 -07:00
Corey Hickson
91299e3ce4 added Zfh coverage for rv{32/64}gc 2024-10-10 12:58:17 -07:00
David Harris
1924140f52 Added Zca coverage for RV32GC 2024-09-22 19:25:28 -07:00
David Harris
42400db9e2 Simplified per-config coverage statements 2024-09-14 19:33:29 -07:00
Jordan Carlin
ae593ed81d
Merge branch 'main' of https://github.com/openhwgroup/cvw into imperas_verbose 2024-09-10 16:10:05 -07:00
David Harris
f36eb6f73d Added support for RV64GC coverage and fixed regression so that --fcov doesn't send --lockstep flag to wsim, which messed up wsim 2024-09-07 12:05:48 -07:00
David Harris
de26b7b6a7 Per config coverage initially working with RV32M in rv32gc config 2024-09-07 07:00:52 -07:00
David Harris
92c305ca3b Starting to define per-config coverage 2024-09-07 06:26:54 -07:00
David Harris
ecb444697c Starting to define per-config coverage 2024-09-07 06:14:50 -07:00
David Harris
6e0b0487dd Recreated coverage changes 2024-09-05 16:32:45 -07:00
Jordan Carlin
9e98c834f1
Add lockstepverbose flag 2024-08-30 12:32:41 -07:00
David Harris
26f3c2a607 Added lockstep support for RV32. Not all wally privileged tests pass yet 2024-08-29 10:44:37 -07:00
Jordan Carlin
291d1e62d5
M implies Zmmul 2024-05-14 19:38:34 -07:00
Jordan Carlin
bf397f791f
Change all SUPPORTED type localparamters to one bit logic. Update configs for consistency. 2024-05-14 16:24:26 -07:00
Jordan Carlin
1065b8977a
Fix Q_SUPPORTED on derived configs 2024-05-14 11:49:54 -07:00
Jordan Carlin
4a72922087
update config to derive MISA from macros
- Remove C_SUPPORTED and update decompress unit based on Zc* extensions
- Derive A_SUPPORTED from A subextensions
- Derive B_SUPPORTED from B subextensions
- Derive C_SUPPORTED from C subextensions
2024-05-14 06:49:18 -07:00
David Harris
77137f0f60 ZAAMO and ZALRSC implemented but not tested 2024-05-07 16:45:49 -07:00
KelvinTr
01c45ab9d7 Fixed K extension changes 2024-02-28 17:05:08 -06:00
James E. Stine
171da97fe3 add config for K extensions (7 so far) 2024-02-22 12:12:56 -06:00
Rose Thompson
da65928f04 Fixed issue with branch deriv configs. 2024-02-06 16:07:41 -06:00
David Harris
bf7e20e846 IEEE754 derivatives for testfloat 2024-01-30 09:49:27 -08:00
David Harris
f37c7bb1f6 Incorporated RAM_LATENCY and BURST_EN as parameters rather than define in code. Still need to update testbench to use this 2024-01-30 06:27:18 -08:00
David Harris
32c102d89a All deriv tests generated, use sim/make deriv 2024-01-29 14:34:42 -08:00
David Harris
9260d3c424 Add Zfh support to imperas.ic, use Zicond in riscof now that it is fixed in riscv-arch-test 2024-01-18 22:46:07 -08:00
David Harris
da4eca4854 Tested Zfh support using unreleased version of risch-arch-test Zfh tests. Fixed two bugs in fmv to/from int. 2024-01-15 13:24:57 -08:00
David Harris
9eb6d9c8b8 Added Zicond support 2024-01-11 07:37:15 -08:00