2023-02-04 12:29:27 +00:00
|
|
|
# David_Harris@hmc.edu 2023
|
|
|
|
|
# Top-level Makefile for CORE-V-Wally
|
|
|
|
|
# SPDX-License-Identifier: Apache-2.0 WITH SHL-2.1
|
|
|
|
|
|
2024-04-24 18:46:38 +00:00
|
|
|
SIM = ${WALLY}/sim
|
|
|
|
|
|
2021-12-21 05:10:14 +00:00
|
|
|
all:
|
2024-08-09 03:53:40 +00:00
|
|
|
make riscof
|
|
|
|
|
make zsbl
|
2023-10-03 14:32:45 +00:00
|
|
|
make testfloat
|
2024-03-24 21:42:09 +00:00
|
|
|
# make verify
|
2024-08-09 04:03:59 +00:00
|
|
|
make coverage
|
2024-05-06 11:54:46 +00:00
|
|
|
# make benchmarks
|
2021-12-21 05:10:14 +00:00
|
|
|
|
2024-05-06 11:54:46 +00:00
|
|
|
# riscof builds the riscv-arch-test and wally-riscv-arch-test suites
|
2023-06-09 16:37:09 +00:00
|
|
|
riscof:
|
2023-02-02 22:48:23 +00:00
|
|
|
make -C sim
|
2021-11-17 20:17:56 +00:00
|
|
|
|
2023-06-09 16:37:09 +00:00
|
|
|
testfloat:
|
|
|
|
|
cd ${WALLY}/addins/SoftFloat-3e/build/Linux-x86_64-GCC; make
|
|
|
|
|
cd ${WALLY}/addins/TestFloat-3e/build/Linux-x86_64-GCC; make
|
|
|
|
|
cd ${WALLY}/tests/fp; ./create_all_vectors.sh
|
|
|
|
|
|
2024-08-09 03:53:40 +00:00
|
|
|
zsbl:
|
|
|
|
|
$(MAKE) -C ${WALLY}/fpga/zsbl
|
|
|
|
|
|
2023-06-09 16:37:09 +00:00
|
|
|
verify:
|
2024-04-24 18:46:38 +00:00
|
|
|
cd ${SIM}; ./regression-wally
|
|
|
|
|
cd ${SIM}/sim; ./sim-testfloat-batch all
|
2023-06-09 16:37:09 +00:00
|
|
|
make imperasdv
|
|
|
|
|
|
|
|
|
|
benchmarks:
|
|
|
|
|
make coremark
|
|
|
|
|
make embench
|
|
|
|
|
|
|
|
|
|
coremark:
|
|
|
|
|
cd ${WALLY}/benchmarks/coremark; make; make run
|
|
|
|
|
|
|
|
|
|
embench:
|
|
|
|
|
cd ${WALLY}/benchmarks/embench; make; make run
|
|
|
|
|
|
2024-08-09 04:03:59 +00:00
|
|
|
coverage:
|
|
|
|
|
make -C tests/coverage
|
|
|
|
|
|
2023-06-09 16:37:09 +00:00
|
|
|
|
2022-01-20 14:17:26 +00:00
|
|
|
clean:
|
2023-02-02 22:48:23 +00:00
|
|
|
make clean -C sim
|
2021-11-17 20:17:56 +00:00
|
|
|
|
