This thesis addresses topics faced during a 6-month internship within the ARM company located in Cambridge, UK. The aim of the project is the development of a Software Test Library (STL) for the Cortex-R5 processor. Such process can be split in two parts: the writing of the library itself, and the verification of the written code, which is the main focus of this document. The purpose of a STL is to detect faults in the hardware logic through the execution of a piece of software that can be run during the operational phase of the device without affecting the behaviour of the system. Ensuring the quality of the design and its conformity to the specifications is the objective of verification.