TB = tb_top SOURCES = gb.sv cpu.sv ppu.sv ppu_ioregs.sv idec.sv ctrl.sv alu.sv alu16.sv regbank.sv rom.sv ram.sv cart.sv display.sv tb_top.sv vgasim.sv clkgen.sv INCLUDES = cpu_pkg.svh sva_common.svh DPI_SOURCES = vgasim.c DPI_CFLAGS = DPI_LIBS = PATH_SRC = ../rtl:../rtl/cpu:../rtl/ppu:../sim:../dpi DEFINES = SVA_ENABLE include ../synthflow/vivado/Makefile.rules