diff --git a/Makefile b/Makefile
index 5465552..b6de718 100644
--- a/Makefile
+++ b/Makefile
@@ -92,6 +92,9 @@
 .PHONY: harden
 harden: $(blocks)
 
+.PHONY: verify
+verify: $(dv-targets-rtl)
+
 .PHONY: verify-all-rtl
 verify-all-rtl: $(dv-targets-rtl)