make verify
diff --git a/Makefile b/Makefile
index dc9d74c..26c6371 100644
--- a/Makefile
+++ b/Makefile
@@ -78,6 +78,7 @@
 .PHONY: verify
 verify:
 	echo "verify"
+	cd verilog/dv/caravel/fpga_250 && make clean && make
 
 $(LARGE_FILES_XZ_PART): %.xz.part: %
 	@xz --extreme --force --threads=$(THREADS) $< && \