Integration of a Cycle-approximate Model Into a Cycle-accurate Environment
Software models can simulate hardware components to varying degrees of ac- curacy. On the extreme ends, there are purely functional models which have no concept of time and execute requests right away, and cycle-accurate models which capture all the implementation details and clock the time they take. In this thesis we study a model of an Arm Mali GPU which is a cycle-approximate model, meaning it
