Moved ADP Verify script into soctools

tools/adp_verify.py

+#-----------------------------------------------------------------------------
+# ADP Command File Verification Script
+# A joint work commissioned on behalf of SoC Labs, under Arm Academic Access license.
+#
+# Contributors
+#
+# David Mapstone (d.a.mapstone@soton.ac.uk)
+#
+# Copyright � 2021-3, SoC Labs (www.soclabs.org)
+#-----------------------------------------------------------------------------
+
+class address_region():
+    def __init__(self, base, size):
+        self.base = base
+        self.size = size
+        self.end = base + size - 4
+
+class read_word():
+    def __init__(self, index, region, address, read_data = 0,exp_data = 0):
+        self.index = index
+        self.region = region
+        self.address = int(str(address), 16)
+        self.read_data = int(str(read_data), 16)
+        self.exp_data = int(str(exp_data), 16)
+    
+    def validate(self):
+        if (self.address >= self.region.base and self.address <= self.region.end):
+            return True
+        else:
+            return False
+    
+    def check_address(self, address):
+        # print(f"self: {hex(self.address)} test: {address}")
+        if (self.address == int(str(address), 16)):
+            return True
+        else:
+            return False
+    
+    def set_read_data(self, read_data):
+        self.read_data = int(read_data, 16)
+
+    def set_exp_data(self, exp_data):
+        self.exp_data = int(exp_data, 16)
+    
+    def verify(self):
+        assert (self.read_data == self.exp_data)
+
+def adp_verify(adp_input, adp_output, out_log):
+    # Create Input Region for Accelerator
+    accel_input_port  = address_region(base = 0x6001_0000, size = 0x0000_0800)
+    accel_output_port = address_region(base = 0x6001_0800, size = 0x0000_0800)
+
+    word_list = []
+    temp_address_buf = 0x0
+
+    # Read in adp input
+    adp_input_lines = open(adp_input, "r").readlines()
+    idx = 0
+    for line in adp_input_lines:
+        line_split = str(line).split()
+        if len(line_split) > 1:
+            if line_split[0].lower() == "a":
+                # Capture Address
+                temp_address_buf = line_split[1]
+            if line_split[0].lower() == "r":
+                temp_read_word = read_word(idx, accel_output_port, temp_address_buf, exp_data = line_split[1])
+                if temp_read_word.validate():
+                    word_list.append(temp_read_word)
+                    idx += 1
+
+    # Read in adp output
+    adp_output_lines = open(adp_output, "r").readlines()
+    idx = 0
+    temp_address_buf = 0x0
+    for line in adp_output_lines:
+        line_split = str(line).split()
+        if len(line_split) > 1:
+            if line_split[0] == "]A":
+                # Capture Address
+                temp_address_buf = line_split[1]
+            if line_split[0] == "]R":
+                if word_list[idx].check_address(temp_address_buf):
+                    word_list[idx].set_read_data(line_split[1])
+                    idx += 1
+
+    # Perform Verification
+    for word in word_list:
+        word.verify()
+    print(f"Tests Passed on {len(word_list)} reads")
+
+if __name__ == "__main__":
+    adp_input = "ft1248_ip.log"
+    adp_output = "ft1248_op.log"
+    output_log = "verify.log"
+    adp_verify(adp_input,adp_output,output_log)