Makefile

# call with make MODULE=moduleName sim|svg|upload

TOP:=game_of_life_top
PROJECT_PATH:=~/Game-of-Life/
FORMAL_PATH:=$(PROJECT_PATH)formal/
RTL_PATH:=$(PROJECT_PATH)rtl/
SIM_PATH:=$(PROJECT_PATH)sim/
SYNTH_PATH:=$(PROJECT_PATH)syn/

ifndef $(MODULE)
	MODULE=$(TOP)
endif
ifeq ($(MODULE), $(TOP))
  DEPS:=\
    $(RTL_PATH)vga_controller.v \
		$(RTL_PATH)clk_25MHz_generator.v \
		$(RTL_PATH)matrix.v

FORMAL:=\
    ship.v \
    bullet.v
#   AUXFILES:=\
# 	const.vh

# YOSYSOPT:=-retime -abc2
endif

ifndef $(MEMORY)
	MEMORY="1k"
endif

all: bin
bin: $(MODULE).bin
sim: $(MODULE)_tb.vcd
json: $(MODULE).json
svg: assets/$(MODULE).svg


$(MODULE)_tb.vcd: $(RTL_PATH)$(MODULE).v $(DEPS) $(SIM_PATH)$(MODULE)_tb.v  $(AUXFILES)

	iverilog $^ -o $(MODULE)_tb.out
	./$(MODULE)_tb.out
	gtkwave $@ $(MODULE)_tb.gtkw &

$(MODULE).bin: $(SYNTH_PATH)$(MODULE).pcf $(RTL_PATH)$(MODULE).v $(DEPS) $(AUXFILES)
	yosys -p "synth_ice40 -blif $(MODULE).blif $(YOSYSOPT)" -l $(MODULE).log -q $(RTL_PATH)$(MODULE).v $(DEPS)
	arachne-pnr -d $(MEMORY) -p $(SYNTH_PATH)$(MODULE).pcf $(MODULE).blif -o $(MODULE).pnr
	icepack $(MODULE).pnr $(MODULE).bin

$(MODULE).json: $(MODULE).v $(DEPS)
	yosys -p "prep -top $(MODULE); write_json $(MODULE).json" (MODULE).v $(DEPS)

assets/$(MODULE).svg: $(MODULE).json
	netlistsvg $(MODULE).json -o assets/$(MODULE).svg

upload: $(MODULE).bin
	iceprog $(MODULE).bin

clean:
	rm -f *.bin *.pnr *.blif *.out *.vcd *~

verify_bullet:
	sby -f  $(FORMAL_PATH)bullet.sby
verify_clk_25MHz_generator:
	sby -f  $(FORMAL_PATH)clk_25MHz_generator.sby
verify_edge_detector_debouncer:
	sby -f  $(FORMAL_PATH)edge_detector_debouncer.sby
verify_gameplay:
	sby -f  $(FORMAL_PATH)gameplay.sby
verify_invaders:
	sby -f  $(FORMAL_PATH)invaders.sby
verify_player:
	sby -f  $(FORMAL_PATH)player.sby
verify_ship:
	sby -f  $(FORMAL_PATH)ship.sby
verify_space_invaders_top:
	sby -f  $(FORMAL_PATH)space_invaders_top.sby
verify_sprite_drawer:
	sby -f  $(FORMAL_PATH)sprite_drawer.sby
verify_timer_1us:
	sby -f  $(FORMAL_PATH)timer_1us.sby
verify_tone_generator:
	sby -f  $(FORMAL_PATH)tone_generator.sby
verify_vga_controller:
	sby -f  $(FORMAL_PATH)vga_controller.sby

.PHONY: all clean json svg sim