diff --git a/apple b/apple
deleted file mode 100644
index e69de29..0000000
diff --git a/ass.sv b/ass.sv
new file mode 100644
index 0000000..2c344c8
--- /dev/null
+++ b/ass.sv
@@ -0,0 +1,35 @@
+module ass();
+
+//wvalid id high and wready is low then wdata,wid,wstb should be stable
+
+property p1();
+
+    @(posedge clk)
+   disable iff(rst)
+   (wvalid & !wready) |-> ($stable(wdata) && $stable(wid) && $stable(wstrb));
+
+endproperty
+
+
+assert property (p1)
+    $display("PASS");
+ else
+	 $diplay("FAIL");
+
+ //In write transaction when burst type is wrap then len must have 2,4,8 or 16
+
+property p1();
+
+    @(posedge clk)
+   disable iff(rst)
+   (awvalid & awburst==2'b01) |-> ((awlen==8'b00000010)||(awlen==8`b00000100)||(awlen==8'b00001000)||(awlen==8`b00010000));
+
+endproperty
+
+
+assert property (p1)
+    $display("PASS");
+ else
+	 $diplay("FAIL");
+
+ endmodule
diff --git a/mango b/mango
deleted file mode 100644
index e69de29..0000000