aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorWojciech Kosior <kwojtus@protonmail.com>2020-09-02 20:30:03 +0200
committerWojciech Kosior <kwojtus@protonmail.com>2020-09-02 20:30:03 +0200
commit538da35db55a07b362046aef9c9d8602b21dd378 (patch)
tree398a68a46761be0b62acd276234b9bd08d8c9df6 /Makefile
parent1349d6276d05ded573f4a1e52e4e2ad1ccb95abf (diff)
downloadAGH-engineering-thesis-538da35db55a07b362046aef9c9d8602b21dd378.tar.gz
AGH-engineering-thesis-538da35db55a07b362046aef9c9d8602b21dd378.zip
add a VGA-based bench for entire sock
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile11
1 files changed, 10 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 1103ff8..e28a276 100644
--- a/Makefile
+++ b/Makefile
@@ -31,11 +31,14 @@ TESTS := \
vga \
sram_slave \
embedded_bram_slave \
+ soc_simple_display \
$(addprefix stack_machine_,$(STACK_MACHINE_TESTS))
# For each of these Makefile will attempt to generate VGAdump.ppm
# and compare it to VGAdump_expected.ppm inside that test's directory
-TESTS_WITH_VGA := vga
+TESTS_WITH_VGA := \
+ vga \
+ soc_simple_display
# Short C programs
TOOLS := VGAdump2ppm
@@ -115,6 +118,12 @@ tests/stack_machine_%/test.vvp : tests/stack_machine_%/instructions.mem \
-DWORDS_TO_VERIFY_COUNT=$(call FILE_LINES,$(filter %fy.mem,$^)) \
$(filter %.v,$^) -o $@
+tests/soc_simple_display/test.vvp : tests/soc_simple_display/instructions.mem \
+ tests/soc_simple_display/test.v models/sram.v \
+ models/vga_display.v design/*.v include/messages.vh
+ $(IV) $(IVFLAGS) -s soc_test -DROM_WORDS_COUNT=$(call FILE_LINES,$<) \
+ $(filter %.v,$^) -o $@
+
$(foreach TEST,$(TESTS_WITH_VGA),tests/$(TEST)/report.log) \
$(foreach TEST,$(TESTS_WITH_VGA),tests/$(TEST)/VGAdump.ppm) : design/font.mem