mirror of
https://github.com/openhwgroup/cvw
synced 2025-01-23 13:04:28 +00:00
57 lines
1.9 KiB
Plaintext
57 lines
1.9 KiB
Plaintext
Procedure for Runnning SoftFloat/TestFloat with Wally
|
|
|
|
1.) First, compile SoftFloat and TestFloat by going to the addins
|
|
directory and finding the specific build directory (e.g.,
|
|
Linux_x86_64-GCC. Currently, we are using v3e of
|
|
SoftFloat/TestFloat. I am not sure of the order, but I always compile
|
|
SoftFloat first as I believe TestFloat uses the static library
|
|
SoftFloat creates.
|
|
|
|
2.) Once compiled both, go to the tests/fp directory and run the
|
|
create_vectors.sh Linux script. In the past, we have automated this,
|
|
but I believe this has fallen into more of a manual state lately.
|
|
|
|
3.) Then, run remove_spaces.sh which will remove spaces from the
|
|
output and put underscores between vectors (this helps differentiate
|
|
the vectors that are generated). Again, this can be combined with
|
|
Step 2.
|
|
|
|
4.) TestFloat is run from wally/cvw/sim and sim-testfloat-batch with
|
|
its respective test. The format is ./sim-testfloat-add add. All of
|
|
the tests are listed below. This can be augmented or added to for
|
|
other FP tests given by the great SoftFloat/TestFloat output.
|
|
|
|
cvtint - test integer conversion unit (fcvtint)
|
|
cvtfp - test floating-point conversion unit (fcvtfp)
|
|
cmp - test comparison unit's LT, LE, EQ opperations (fcmp)
|
|
add - test addition
|
|
fma - test fma
|
|
mul - test mult with fma
|
|
sub - test subtraction
|
|
div - test division
|
|
sqrt - test square root
|
|
all - test everything
|
|
|
|
4a.) Each test will test all its vectors - if you want to test a
|
|
subset of the vectors (e.g., only binary16), you should modify the
|
|
testfloat.do in the sim directory. Change the TEST_SIZE="all" to the
|
|
specific test you want to run. For example, if you want to run only
|
|
binary16, you should set this variable to TEST_SIZE="HP".
|
|
|
|
4b.) If you want to turn off the generation of wlf files while running
|
|
sim-testfloat-batch, you can modify testfloat.do in the sim
|
|
directory. Inside this DO file, modify the WAV file to 0 --> i.e.,
|
|
set "quietly set WAV 0;"
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|