diff --git a/test/formal/common/ahbl_master_assertions.v b/test/formal/common/ahbl_master_assertions.v
index 0d39622..e9dd009 100644
--- a/test/formal/common/ahbl_master_assertions.v
+++ b/test/formal/common/ahbl_master_assertions.v
@@ -96,3 +96,5 @@ always @ (posedge clk) if (rst_n) begin: dst_ahbl_req_properties
 			assert($stable(src_hwdata));
 	end
 end
+
+endmodule