From 538da35db55a07b362046aef9c9d8602b21dd378 Mon Sep 17 00:00:00 2001
From: Wojciech Kosior <kwojtus@protonmail.com>
Date: Wed, 2 Sep 2020 20:30:03 +0200
Subject: add a VGA-based bench for entire sock

---
 Makefile | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

(limited to 'Makefile')

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
-- 
cgit v1.2.3