diff --git a/alu/Makefile b/alu/Makefile
index 0b56f53..6797133 100644
--- a/alu/Makefile
+++ b/alu/Makefile
@@ -1,16 +1,10 @@
 DUT := alu
 
-.PHONY: cover prove all clean
+.PHONY: cover bmc prove all clean
 
 all: cover bmc prove
 
-cover: ${DUT}.vhd symbiyosys.sby
-	sby --yosys "yosys -m ghdl" -f -d work/${DUT}-$@ symbiyosys.sby $@
-
-bmc: ${DUT}.vhd symbiyosys.sby
-	sby --yosys "yosys -m ghdl" -f -d work/${DUT}-$@ symbiyosys.sby $@
-
-prove: ${DUT}.vhd symbiyosys.sby
+cover bmc prove: ${DUT}.vhd symbiyosys.sby
 	sby --yosys "yosys -m ghdl" -f -d work/${DUT}-$@ symbiyosys.sby $@
 
 clean:
diff --git a/vai_reg/Makefile b/vai_reg/Makefile
index 7545589..c0fd71a 100644
--- a/vai_reg/Makefile
+++ b/vai_reg/Makefile
@@ -1,16 +1,10 @@
 DUT := vai_reg
 
-.PHONY: cover prove all clean
+.PHONY: cover bmc prove all clean
 
 all: cover bmc prove
 
-cover: ${DUT}.vhd symbiyosys.sby
-	sby --yosys "yosys -m ghdl" -f -d work/${DUT}-$@ symbiyosys.sby $@
-
-bmc: ${DUT}.vhd symbiyosys.sby
-	sby --yosys "yosys -m ghdl" -f -d work/${DUT}-$@ symbiyosys.sby $@
-
-prove: ${DUT}.vhd symbiyosys.sby
+cover bmc prove: ${DUT}.vhd symbiyosys.sby
 	sby --yosys "yosys -m ghdl" -f -d work/${DUT}-$@ symbiyosys.sby $@
 
 clean: