diff --git a/Makefile b/Makefile
index 1468413..dcb8763 100644
--- a/Makefile
+++ b/Makefile
@@ -115,6 +115,10 @@
 .PHONY: harden
 harden: $(blocks)
 
+.PHONY: verify
+verify:
+	@echo $@
+
 .PHONY: verify-all-rtl
 verify-all-rtl: $(dv-targets-rtl)