An ARM architecture, based on an ARM1176 core [9]
according to state-of-the-art mobile phones is used in the
hardware platform. The high speed AMBA AXI bus interface
[10] provided by the processor connects the data and
instruction bus with a 64-bit memory bus