From b68320ee3825ffdebf894b93337b663b09b54b18 Mon Sep 17 00:00:00 2001
From: gandra_pravalika <pravalika.gandra@bitsilica.com>
Date: Fri, 10 May 2024 06:40:07 +0000
Subject: [PATCH] Delete 'axi interface.sv'

---
 axi interface.sv | 103 -----------------------------------------------
 1 file changed, 103 deletions(-)
 delete mode 100644 axi interface.sv

diff --git a/axi interface.sv b/axi interface.sv
deleted file mode 100644
index ce253c6..0000000
--- a/axi interface.sv	
+++ /dev/null
@@ -1,103 +0,0 @@
-Interface intf(input bit clock,bit reset);
-
-/////////////////write_address channel///////////////////
- input rand bit [3:0] awid;
- input rand logic [31:0]awaddr;
- input rand logic [3:0] awlen;
- input rand logic [2:0] awsize;
- input rand logic [1:0] awburst;
- input logic awvalid;
- output logic awready;
-
-////////////write_data channel///////////////////////////
-
-input rand bit[3:0] wid;
-input rand logic [31:0]wdata[];
-input logic [3:0]wstrb;
-input logic wlast;
-input logic wvalid;
-output logic wready;
-
-//////////write_response channel////////////////////////
-
-output bit [3:0]bid;
-output logic [1:0]bresp;
-output logic bvalid;
-input logic bready;
-
-/////////////read_address//////////////////////////////
-
- input randc bit [3:0] arid;
- input rand logic [31:0]araddr;
- input rand logic [3:0]arlen;
- input rand logic [2:0]arsize;
- input rand logic [1:0]arburst;
- input logic arvalid;
- output logic arready;
-
-//////////////read_data/////////////////////////////
- input bit [3:0] rid;
- input logic [31:0]rdata[];
- output logic [1:0]rresp;
- output logic rlast;
- output logic rvalid;
- input logic rready;
-
-
-///Value of 2'b11 on AWBURST is not permitted when AWVALID is high///
-
-property p;
-@(posedge clk) awvalid |-> !(awburst==2'b11);
-endproperty
-
-assert property(p);
-$display("assertion pass")
-else
-$uvm_fatal("assertion fail")
-
-
-///When AWVALID is high,AWADDR cannot be unknown values////
-
-property p1;
-@(posedge clk) awvalid |-> !($isunknown(awaddr)) ;
-endproperty
-
-assert property(p1)
-$display("assertion pass")
-else
-$uvm_fatal("assertion fail")
-
-
-
-///WVALID can assert before AWVALID///
-
-property p2;
-@(posedge clk) wvalid |=> awvalid;
-endproperty
-
-assert property(p2)
-$display("assertion pass")
-else
-$uvm_fatal("assertion fail")
-
-
-///AWREADY should  be asserted before or after AWVALID is asserted////
-
-property p3;
-@(posedge clk) awready |=> awvalid;
-endproperty
-
-assert property(p3)
-$display("assertion pass")
-else
-$uvm_fatal("assertion fail")
-
-
-
-
-
-
-
-
-
-