From 298d690d4db4954e4671e52309fa6eceefaf5234 Mon Sep 17 00:00:00 2001
From: mounika <mounika.kalal@bitsilica.com>
Date: Thu, 16 May 2024 09:26:58 +0100
Subject: [PATCH] mounika

---
 apple  |  0
 ass.sv | 35 +++++++++++++++++++++++++++++++++++
 mango  |  0
 3 files changed, 35 insertions(+)
 delete mode 100644 apple
 create mode 100644 ass.sv
 delete mode 100644 mango

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