Merge branch 'main' of github.com:davidharrishmc/riscv-wally into main

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
 

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"