diff --git a/Makefile b/Makefile
index 635c7bc..25f1985 100644
--- a/Makefile
+++ b/Makefile
@@ -18,6 +18,9 @@ verilog-wrappers: CHERICapWrap.bsv CHERICap.bsv CHERICC_Fat.bsv
 verilog-props: CHERICapProps.bsv CHERICap.bsv CHERICC_Fat.bsv
 	bsc $(BSCFLAGS) -verilog -u $<
 
+check-prop: assertions.sv verilog-wrappers verilog-props
+	sby -f check.sby
+
 blarney-wrappers: CHERICapWrap.py verilog-wrappers
 	./CHERICapWrap.py -o CHERIBlarneyWrappers *.v
 
@@ -30,4 +33,4 @@ clean-blarney-wrappers: clean
 	rm -f *.hs
 
 clean:
-	rm -f *.bo
+	rm -f *.bo
\ No newline at end of file