diff --git a/.gitignore b/.gitignore index 3d3d875f0..85d753d82 100644 --- a/.gitignore +++ b/.gitignore @@ -106,6 +106,8 @@ sim/sd_model.log fpga/src/sdc/* fpga/src/sdc.tar.gz fpga/src/CopiedFiles_do_not_add_to_repo/* +fpga/src/boot.mem +fpga/src/data.mem sim/branch.log /fpga/generator/sim/imp-funcsim.v /fpga/generator/sim/imp-timesim.sdf diff --git a/Makefile b/Makefile index b0f01c49c..b385d0d12 100644 --- a/Makefile +++ b/Makefile @@ -5,7 +5,8 @@ SIM = ${WALLY}/sim all: - make riscof + make riscof + make zsbl make testfloat # make verify # make coverage @@ -20,6 +21,9 @@ testfloat: cd ${WALLY}/addins/TestFloat-3e/build/Linux-x86_64-GCC; make cd ${WALLY}/tests/fp; ./create_all_vectors.sh +zsbl: + $(MAKE) -C ${WALLY}/fpga/zsbl + verify: cd ${SIM}; ./regression-wally cd ${SIM}/sim; ./sim-testfloat-batch all