From 3036de316a9ddb50d6aec08a658e4f62b04314fe Mon Sep 17 00:00:00 2001
From: David Harris <david_harris@hmc.edu>
Date: Thu, 17 Feb 2022 17:57:02 +0000
Subject: [PATCH] Started make allsynth to try many experiments

---
 pipelined/src/ebu/ahblite.sv |  2 +-
 synthDC/Makefile             | 35 ++++++++++++++++++++++++++++++++---
 2 files changed, 33 insertions(+), 4 deletions(-)

diff --git a/pipelined/src/ebu/ahblite.sv b/pipelined/src/ebu/ahblite.sv
index 9b82aff4..a68370cd 100644
--- a/pipelined/src/ebu/ahblite.sv
+++ b/pipelined/src/ebu/ahblite.sv
@@ -111,7 +111,7 @@ module ahblite (
             else if (IFUBusRead)   NextBusState = INSTRREAD;
             else                   NextBusState = IDLE;
       INSTRREAD: if (~HREADY)      NextBusState = INSTRREAD;
-            else                   NextBusState = IDLE;  // if (IFUBusRead still high)
+            else                   NextBusState = IDLE;  // if (IFUBusRead still high) *** need to wait?
       default:                     NextBusState = IDLE;
     endcase
 
diff --git a/synthDC/Makefile b/synthDC/Makefile
index da6b70a8..aa148802 100755
--- a/synthDC/Makefile
+++ b/synthDC/Makefile
@@ -21,10 +21,39 @@ hash := $(shell git rev-parse --short HEAD)
 export OUTPUTDIR := runs/$(DESIGN)_$(CONFIG)_$(TECH)nm_$(FREQ)_MHz_$(time)_$(hash)
 export SAIFPOWER ?= 0
 
+CONFIGDIR ?= ~/riscv-wally/pipelined/config
+#CONFIGS	?= $(shell find $(CONFIGDIR) -name "rv*")
+CONFIGS ?= ("rv32e", "rv32ic")
+
+print:
+	echo "files in $(CONFIGDIR) are $(CONFIGS)."
+
 default:
-	@echo "Basic synthesis procedure for OSU/HMC/UNLV:"
-	@echo " adapt Makefile to your liking..."
-	@echo
+	@echo "Basic synthesis procedure for Wally:"
+	@echo "  Invoke with make synth"
+
+test: rv%
+	echo "Running test on $<"
+
+rv%.log: rv%
+	echo $<
+
+flavors:
+	rm -rf $(CONFIGDIR)/rv32em
+	cp -r $(CONFIGDIR)/rv32e $(CONFIGDIR)/rv32em
+	sed -i 's/h00000010/h00001010/' $(CONFIGDIR)/rv32em/wally-config.vh
+	# rv32e, 32ic, 32gc 64ic, 64gc
+	# 64gc - FPU
+	# PMP16
+	# PMP0
+	# No virtual memory
+	# Muldiv
+	
+
+allsynth: 
+	make flavors
+	make synth DESIGN=wallypipelinedcore CONFIG=rv32e TECH=sky90 FREQ=500 MAXCORES=1
+	make synth DESIGN=wallypipelinedcore CONFIG=rv32em TECH=sky90 FREQ=500 MAXCORES=1
 
 synth:
 	@echo "DC Synthesis"