David Harris
|
7695ad4755
|
More fround stub code to keep VCS happy
|
2024-04-28 22:21:51 -07:00 |
|
David Harris
|
32b6e6a8ab
|
fround progress
|
2024-04-24 04:42:47 -07:00 |
|
David Harris
|
03f49dea3f
|
regression printing improvements
|
2024-04-21 19:45:09 -07:00 |
|
David Harris
|
3f195884e9
|
Defined bit sizes more precisely to help VCS lint and conform to coding style
|
2024-04-21 08:40:11 -07:00 |
|
David Harris
|
db330b35b2
|
Removed unnecessary muxes from shiftcorrection; changed flag to --nightly in lint-wally
|
2024-04-16 20:57:49 -07:00 |
|
David Harris
|
499e4d6a6e
|
Changed 2 to 1 in FmaPreResultSubnorm logic, fixing issue 655 about multiply on f/fh. Not entirely confident this is the right change, but can't find any failures. See https://docs.google.com/document/d/1p7zb4Vvd1LMBLRgEpXjHyp7etCaFaiBVrBZJM8jediE/edit
|
2024-04-03 17:28:31 -07:00 |
|
Kunlin Han
|
22b59138f0
|
Remove all #delay from non-testbench.
|
2024-03-16 11:20:32 -07:00 |
|
Jordan Carlin
|
cbd61d008f
|
fix size of CVTLEN to support fcvtmod.w.d; add max macro to config-shared.vh
|
2024-03-14 14:07:15 -07:00 |
|
Kunlin Han
|
8c67a76912
|
Remove all #delay from non-testbench.
|
2024-03-13 10:31:40 -07:00 |
|
David Harris
|
eb87a4a5c3
|
UM comments in fdivsqrtotfc
|
2024-03-06 15:53:14 -08:00 |
|
David Harris
|
2c6588d4ae
|
Timinig optimization for radix 4 division, added missing derived config
|
2024-03-06 15:05:04 -08:00 |
|
David Harris
|
b386331cc8
|
Changed '0 to 0 where possible per Chapter 4 style guidelines
|
2024-03-06 05:48:17 -08:00 |
|
David Harris
|
dd33479056
|
Switched to ?: for gating per section 4.2.4.3
|
2024-03-06 04:59:58 -08:00 |
|
David Harris
|
1a0097f6e7
|
Further fdivsqrt simplification after starting Sqrt at iteration 0
|
2024-03-04 16:40:49 -08:00 |
|
Kevin Kim
|
10ab07975f
|
uslc comments
|
2024-03-04 14:31:21 -08:00 |
|
Kevin Kim
|
9b87a00698
|
sqrt mux lint fixes
|
2024-03-04 14:31:07 -08:00 |
|
Kevin Kim
|
587fdbdf8e
|
removed j1,j0 from iteration and put inside divider stage
|
2024-03-04 14:30:05 -08:00 |
|
Kevin Kim
|
7dec9cdf21
|
optimization in uslc
|
2024-03-04 10:46:16 -08:00 |
|
Kevin Kim
|
9c95cba865
|
remove sqrt cycle muxing
|
2024-03-03 18:51:10 -08:00 |
|
Kevin Kim
|
0ff59ff157
|
remove redundant mux
|
2024-03-03 13:00:20 -08:00 |
|
Kevin Kim
|
c32173f163
|
changed U/C initialization to account for integer bit generation on divider stage for sqrt. Quick and dirty j1 logic fix
|
2024-03-03 10:30:18 -08:00 |
|
Kevin Kim
|
6c24afaf98
|
changed cycle count to account for integer bit generation for sqrt
|
2024-03-03 10:29:32 -08:00 |
|
Kevin Kim
|
c45d67f8ba
|
fdivsqrt changes
|
2024-03-02 20:29:03 -08:00 |
|
Kevin Kim
|
77ccc7b319
|
removed square root pre-process muxes
|
2024-03-02 15:55:34 -08:00 |
|
David Harris
|
9ba35991e3
|
Finished FPU coverage
|
2024-02-15 20:01:28 -08:00 |
|
David Harris
|
36259b4e16
|
Removed unused term affecting cvt coverage
|
2024-02-15 17:46:05 -08:00 |
|
David Harris
|
944e33dcd6
|
Fixed spelling of operation in FPU
|
2024-02-15 17:22:32 -08:00 |
|
David Harris
|
c664c9717d
|
Commented fcvtmod behavior in specialcase
|
2024-02-15 17:19:21 -08:00 |
|
Kevin Kim
|
15da037794
|
added back comment
|
2024-02-07 15:40:52 -08:00 |
|
Kevin Kim
|
61c8b4d269
|
shift correction fix
|
2024-02-07 15:04: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
|
5d8d82414b
|
Coverage improvements
|
2024-02-04 11:40:38 -08:00 |
|
harshinisrinath
|
c7b647bde7
|
Wrote exclusions for ifu and lsu peripherals which were always supported
|
2024-02-01 17:12:33 -08:00 |
|
David Harris
|
1c62c5e433
|
Fixed logic to work with FLEN < XLEN
|
2024-01-31 20:24:16 -08:00 |
|
David Harris
|
0abfe5cb55
|
Fixed some lint errors in derived configs
|
2024-01-31 11:39:59 -08:00 |
|
David Harris
|
06778088ab
|
Merge pull request #603 from stineje/main
Update cvt bug that was caught with new testbench-fp
|
2024-01-30 08:52:01 -08:00 |
|
James E. Stine
|
7e036e6f75
|
Update cvt bug that was caught with new testbench-fp
|
2024-01-30 10:51:07 -06:00 |
|
David Harris
|
3db5b6d9a9
|
Fix FLI to support quads
|
2024-01-29 14:51:21 -08:00 |
|
David Harris
|
45e2317636
|
Added Wally github address to header comments
|
2024-01-29 05:38:11 -08:00 |
|
David Harris
|
2449e06e55
|
Fixed FPU coverage, solved Issue 596 by misaligned AMO throwing access fault when misaligned non-amo are supported
|
2024-01-25 21:03:41 -08:00 |
|
David Harris
|
17f579d4ba
|
Reenabled fmadd.h, which is really supported by Zfh
|
2024-01-24 07:46:50 -08:00 |
|
Rose Thompson
|
117ff1828a
|
Merge pull request #590 from openhwgroup/revert-589-shiftcorrectiondebug
Revert "more shiftcorrection bug fixes"
|
2024-01-23 16:05:30 -06:00 |
|
David Harris
|
171430a695
|
FPU and PMP tests
|
2024-01-21 14:41:22 -08:00 |
|
David Harris
|
ff055c404c
|
fpu coverage improvements
|
2024-01-21 13:17:56 -08:00 |
|
David Harris
|
9d4a14b209
|
coverage improvements
|
2024-01-21 11:39:51 -08:00 |
|
David Harris
|
d801bf5d6c
|
Revert "more shiftcorrection bug fixes"
|
2024-01-21 10:41:14 -08:00 |
|
David Harris
|
9e6fa8076f
|
Merge branch 'main' of https://github.com/openhwgroup/cvw into dev
|
2024-01-21 10:15:38 -08:00 |
|
Kevin Kim
|
1459943a75
|
more shiftcorrection bug fixes
|
2024-01-21 10:08:48 -08:00 |
|
David Harris
|
69218b4b86
|
Coverage improvements
|
2024-01-21 10:03:07 -08:00 |
|
David Harris
|
17c9be7695
|
Cleanup typos, remove Zicond from riscof until it is working
|
2024-01-18 21:36:52 -08:00 |
|
David Harris
|
74b242ce5c
|
Partial implementation of fcvtmod.w.d; flags disagree in one case where Sail might be wrong, and result 134 is wrong because of overflow
|
2024-01-17 12:25:06 -08:00 |
|
David Harris
|
4cfc86140c
|
Zfa fmvh complete and passing tests:
|
2024-01-17 06:18:00 -08:00 |
|
David Harris
|
07e7e02241
|
Coded Zfa fmvp but no tests exist
|
2024-01-16 21:26:42 -08:00 |
|
David Harris
|
8654375f26
|
Zfa fminm/fmaxm/fltq/fleq implemented and tested
|
2024-01-16 20:03:54 -08:00 |
|
David Harris
|
9d57002c07
|
Zfa fli support working for F and D (add fli.sv module)
|
2024-01-16 17:27:59 -08:00 |
|
David Harris
|
0588d611ea
|
Zfa fli support working for F and D
|
2024-01-16 17:27:40 -08:00 |
|
David Harris
|
846a0c4d50
|
Check fma operations don't support H precision
|
2024-01-16 11:12:06 -08:00 |
|
David Harris
|
1a77c08f6e
|
Fixed issues 575 and 477 about FPU tests failing when Zfh = 1.
|
2024-01-16 10:46:44 -08:00 |
|
David Harris
|
dcd40c6be7
|
Fixed spelling of output
|
2024-01-16 10:27:31 -08:00 |
|
David Harris
|
abecc98563
|
Fixed spelling of precision
|
2024-01-16 10:26:00 -08:00 |
|
David Harris
|
0235970313
|
Optimized away unused support for fmv with quads
|
2024-01-15 13:40:12 -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
|
9e78a7e290
|
Incorporated jstine fixes of FPU special case and testbench for conversion
|
2024-01-15 07:25:08 -08:00 |
|
David Harris
|
fd181169fe
|
Corrected spelling of negative
|
2024-01-15 07:15:23 -08:00 |
|
James E. Stine
|
b14cd67bef
|
Values for IEEE 754 vs. RISC-V Table 11.4 in the RISC-V Unprivileged ISA
|
2024-01-14 22:08:42 -06:00 |
|
David Harris
|
6226c3db96
|
Revert "Fixes for Issue #541"
|
2024-01-12 07:50:13 -08:00 |
|
James E. Stine
|
e707eeb7c8
|
THis includes fix for special case when conversion from fp to int/long. The previous src did not test both the flags and result and so missed this subtle bug when an Invalid happens for this type of conversion. These results are indications of undefined behavior for these operations. All fp operations now passs when this update is fixed. Much of the information why these outputs should occur is somewhat alluded to by Pascal Cuoq originally from INSA in Lyon here: https://frama-c.com/2013/10/09/Overflow-float-integer.html
|
2024-01-12 00:37:50 -06:00 |
|
David Harris
|
d3ce683e06
|
Removed other unused signals from Verilog
|
2023-11-20 23:37:56 -08:00 |
|
David Harris
|
121f685fa2
|
Removed assign statement inside always block
|
2023-11-13 07:23:15 -08:00 |
|
David Harris
|
c44ae93e22
|
DivStickyM no longer mysteriously needs to be gated with SqrtM after divder improvemenst
|
2023-11-12 20:23:27 -08:00 |
|
David Harris
|
065f3f3f6d
|
DivStickyM no longer mysteriously needs to be gated with SqrtM after divder improvemenst
|
2023-11-12 20:23:14 -08:00 |
|
David Harris
|
571c7d3be4
|
Divider cleanup
|
2023-11-12 19:41:12 -08:00 |
|
David Harris
|
f437336540
|
Explained sqrt preshifting
|
2023-11-12 10:05:54 -08:00 |
|
David Harris
|
7c50b2c571
|
Renamed qsel to uslc and simplified radix2 uslc
|
2023-11-12 06:36:57 -08:00 |
|
David Harris
|
002034845a
|
fdivsqrt comment improvements
|
2023-11-12 06:15:47 -08:00 |
|
David Harris
|
6ac83c776e
|
Cleaned up number of bits in fdivsqrt
|
2023-11-11 15:50:06 -08:00 |
|
David Harris
|
2bf5143163
|
Bug fixes related to size of fpdivsqrt bit count and number of cycles
|
2023-11-11 05:58:53 -08:00 |
|
David Harris
|
3cae2385ab
|
Simplified out LOGRK parameter
|
2023-11-10 18:19:41 -08:00 |
|
David Harris
|
7d0d9dcebe
|
divider cleanup
|
2023-11-10 18:01:13 -08:00 |
|
David Harris
|
03864642a7
|
fdivsqrt cleanup
|
2023-11-10 16:42:32 -08:00 |
|
David Harris
|
3108b58290
|
Simplified integer postnormalization shift
|
2023-11-10 14:55:36 -08:00 |
|
David Harris
|
b315ead575
|
Simplified IntDivNormShift
|
2023-11-10 14:28:57 -08:00 |
|
David Harris
|
2903791820
|
Simplified cycle count logic
|
2023-11-10 14:00:27 -08:00 |
|
David Harris
|
8f87860146
|
Reduced duplicated logic in fdivsqrtcycles
|
2023-11-10 11:25:54 -08:00 |
|
David Harris
|
255873a50c
|
Divsqrt cleanup: change Q to U, commenting code
|
2023-11-10 11:21:02 -08:00 |
|
David Harris
|
953c53d065
|
fdivsqrt parameter cleanup
|
2023-11-10 09:11:15 -08:00 |
|
David Harris
|
4c106215f4
|
Started cleaning up shifting leading 1 in fdivsqrt
|
2023-11-10 08:46:55 -08:00 |
|
David Harris
|
637cc3b78a
|
Reparitioned sign logic in fdivsqrt to match paper
|
2023-11-06 14:11:42 -08:00 |
|
David Harris
|
1f2899de14
|
Modified rams to take USE_SRAM rather than P to facilitate synthesis
|
2023-11-03 05:44:13 -07:00 |
|
David Harris
|
1a6e57f8c0
|
Renamed wally-config to config in many comments
|
2023-10-16 13:49:09 -07:00 |
|
Ross Thompson
|
faaf43fa10
|
Merge pull request #372 from davidharrishmc/dev
PLIC part select warnings fixed
|
2023-07-31 11:28:28 -04:00 |
|
David Harris
|
6ff2b0cc2c
|
Merge pull request #373 from harshinisrinath1001/main
Improved testing of pmd in priv, fixed bugs, and attempted to reset menvcfg and fixed spacing in fpu/fma and fpu/postprocessing
|
2023-07-30 22:46:44 -07:00 |
|
Harshini Srinath
|
7ed4cf97ed
|
Fixed formatting
|
2023-07-30 18:36:25 -07:00 |
|
Harshini Srinath
|
603ed2160e
|
Fixed formatting
|
2023-07-30 18:30:23 -07:00 |
|
Harshini Srinath
|
acbbe7941a
|
Fixed formatting
|
2023-07-30 18:27:22 -07:00 |
|
Harshini Srinath
|
e4de9ae87c
|
Fixed formatting
|
2023-07-30 18:18:24 -07:00 |
|
Harshini Srinath
|
4c1a07eb9c
|
Fixed formatting
|
2023-07-30 18:06:25 -07:00 |
|
Harshini Srinath
|
1badc8a8c5
|
Fixed formatting
|
2023-07-30 18:00:39 -07:00 |
|
Harshini Srinath
|
41555b149e
|
Fixed formatting
|
2023-07-30 17:54:47 -07:00 |
|
Harshini Srinath
|
8e97224cd7
|
Fixed formatting
|
2023-07-30 17:46:23 -07:00 |
|