Rose Thompson
|
e295454948
|
Merge pull request #798 from jordancarlin/newConfig
Update config to derive MISA from macros and update MISA bits based on the spec
|
2024-05-15 10:28:44 -05:00 |
|
Jordan Carlin
|
1065b8977a
|
Fix Q_SUPPORTED on derived configs
|
2024-05-14 11:49:54 -07:00 |
|
David Harris
|
990d40410b
|
Test using fpcalc for fp_dataset.py
|
2024-05-14 11:11:24 -07:00 |
|
Shreesh-Kulkarni
|
9aebc1526e
|
Python script to generate coverpoints for the IBM FP Dataset
|
2024-05-14 10:43:32 -07:00 |
|
Shreesh-Kulkarni
|
0887e90367
|
Modified IBM Floating Point Dataset Generator for Quads
|
2024-05-14 10:34:45 -07:00 |
|
David Harris
|
75c10bddfa
|
Moved case.sh to tests/fp
|
2024-05-13 07:12:16 -07:00 |
|
David Harris
|
025e65ce1a
|
Removed unnecessary printing from extract_arch_vectors
|
2024-05-06 06:28:15 -07:00 |
|
David Harris
|
c8269c34a5
|
Changed error to warning
|
2024-05-06 03:50:17 -07:00 |
|
David Harris
|
99282165ae
|
Directed functional coverage tests
|
2024-05-04 02:45:01 -07:00 |
|
David Harris
|
712a167a3a
|
Removed obsolete testgen files
|
2024-05-04 02:44:31 -07:00 |
|
David Harris
|
5d6665cc50
|
More directed testing
|
2024-05-03 11:44:03 -07:00 |
|
David Harris
|
325ec4c8c8
|
Removed obsolete utility
|
2024-05-03 10:58:44 -07:00 |
|
David Harris
|
e667adf946
|
Added covergen directed coverage generator
|
2024-05-01 14:47:37 -07:00 |
|
David Harris
|
b7e66ec7d6
|
Added Zcb tests to riscof
|
2024-04-20 13:17:33 -07:00 |
|
Jordan Carlin
|
6ef6bc042d
|
Update RISCOF ISA config MISA values to be consistent
|
2024-04-06 18:18:50 -07:00 |
|
Rose Thompson
|
b87cdd49a3
|
Merge pull request #690 from davidharrishmc/dev
fcvt.h.l fixes, removed delays
|
2024-03-28 13:42:41 -05:00 |
|
David Harris
|
2b29b107a7
|
Wrote initial covergen for a few R-type instructions
|
2024-03-27 16:22:13 -07:00 |
|
Rose Thompson
|
7c3e93bb2c
|
added lpddrtest.
|
2024-03-26 18:42:48 -05:00 |
|
David Harris
|
4eb7de7381
|
Removed Zfh tests from wally-riscv-arch-test now that they are available in riscv-arch-test
|
2024-03-26 13:58:59 -07:00 |
|
David Harris
|
6688577bc4
|
Fixed fcvt test macro
|
2024-03-25 12:21:15 -07:00 |
|
David Harris
|
690338b758
|
Incorporated fixed fcvt.h.l* instructions; they now run in the testbench
|
2024-03-25 06:08:27 -07:00 |
|
David Harris
|
b3661a0af4
|
Removed unused WALLY-lrsc reference outputs that were incorrect and are not used because Sail is the reference instead
|
2024-03-24 12:31:49 -07:00 |
|
Rose Thompson
|
e97c2cbd83
|
Merge pull request #676 from davidharrishmc/dev
Incorporated Zfa and Zfh tests into wally-riscv-arch-test, mcmodel example code, minor cleanup
|
2024-03-20 09:45:39 -05:00 |
|
Kevin Kim
|
d790a88277
|
fixed bug in intdivrem test vector extraction
|
2024-03-17 14:47:37 -07:00 |
|
David Harris
|
9ff9f9e0ae
|
Updated wally-riscv-arch-test to be able to compile zfh and zfa tests. This caused a change in startup code, so certain reference_output results needed to change to compensate. Also commented out fcvtmod test in Zfa that fails because Sail produces the wrong expected value.
|
2024-03-14 19:03:57 -07:00 |
|
David Harris
|
48799aa87c
|
Added Zfh and Zfa tests to wally-riscv-arch-test until they are accepted in riscv-arch-test repo
|
2024-03-14 10:49:36 -07:00 |
|
David Harris
|
5e3ff3e871
|
Merge pull request #671 from Karl-Han/increase_riscof_jobs
Increase number of jobs in riscof to speedup building.
|
2024-03-13 14:52:05 -07:00 |
|
Kunlin Han
|
b5419ccfc9
|
Increase number of jobs in riscof to speedup building.
|
2024-03-13 12:28:30 -07:00 |
|
Rose Thompson
|
3cf6a19729
|
Merge branch 'main' into main
|
2024-03-10 10:48:21 -05:00 |
|
Rose Thompson
|
402d71e5f4
|
Added basic Quad testing.
|
2024-03-07 15:19:53 -06:00 |
|
Rose Thompson
|
a85ace87c7
|
Sold progress towards a decent q test.
|
2024-03-07 15:01:48 -06:00 |
|
Rose Thompson
|
1872966b0b
|
Progress.
|
2024-03-07 13:02:24 -06:00 |
|
Rose Thompson
|
24dffa39d5
|
Yay. David and I got our first Quad load/store instructions working!
|
2024-03-07 12:48:52 -06:00 |
|
Rose Thompson
|
60f96112db
|
Moved the zero stage boot loader to the fpga directory.
|
2024-03-01 10:23:55 -06:00 |
|
KelvinTr
|
01c45ab9d7
|
Fixed K extension changes
|
2024-02-28 17:05:08 -06:00 |
|
James E. Stine
|
0d4d996655
|
add spike riscof items for K extension test
|
2024-02-24 22:43:33 -06:00 |
|
David Harris
|
824bc0dab7
|
Fixed expected value on WALLY-satp-invalid
|
2024-02-16 11:12:57 -08:00 |
|
Rose Thompson
|
6110799a1e
|
Updated the wally rv32 priv tests to not use sail.
|
2024-02-16 11:39:06 -06:00 |
|
David Harris
|
b362320dd9
|
Removed unused Makefiles and Makefrags from wally-riscv-arch-test now that it is only used by riscof
|
2024-02-16 06:46:49 -08:00 |
|
David Harris
|
d094201362
|
Added NO_SAIL to wally-riscv-arch-test cases that stopped passing in Sail
|
2024-02-16 06:27:49 -08:00 |
|
David Harris
|
9ba35991e3
|
Finished FPU coverage
|
2024-02-15 20:01:28 -08:00 |
|
harshinisrinath
|
86c35bad9f
|
Wrote illegal instructions for remaining floating point instructions
|
2024-02-07 17:13:49 -08:00 |
|
harshinisrinath
|
96c8526754
|
Wrote illegal instructions for remaining floating point instructions
|
2024-02-07 17:08:19 -08:00 |
|
David Harris
|
e7364290e3
|
Restored instead of in testbench because prevents coverage analysis. Improved FPU coverage
|
2024-02-07 06:27:53 -08:00 |
|
David Harris
|
dfee790ad7
|
Fixed derivative generation when derivs don't already exist. Fixed lint to print success when no failures. Added Zfh fma tests. Some fp tests not running yet.
|
2024-02-06 12:35:56 -08:00 |
|
David Harris
|
5d8d82414b
|
Coverage improvements
|
2024-02-04 11:40:38 -08:00 |
|
Jordan Carlin
|
2dce774d34
|
tlb ramline coverage improvements
|
2024-02-03 09:50:15 -08:00 |
|
Jordan Carlin
|
0312476fb3
|
Update tlb camline ASID coverage to use single file
|
2024-02-03 09:48:57 -08:00 |
|
Jordan Carlin
|
8633f263a2
|
Complete coverage of tlb camlines in IFU
|
2024-02-01 20:41:05 -08:00 |
|
Rose Thompson
|
87d91c5b14
|
Coverage updates.
|
2024-02-01 12:12:01 -06:00 |
|