diff --git a/Makefile b/Makefile
index 716e83a..2758cd8 100644
--- a/Makefile
+++ b/Makefile
@@ -92,6 +92,10 @@
 .PHONY: harden
 harden: $(blocks)
 
+.PHONY: verify
+verify:
+	@echo $@
+
 .PHONY: verify-all-rtl
 verify-all-rtl: $(dv-targets-rtl)