School of Computing Science

PhD Theses

Correct Synthesis and Integration of Compiler-Generated Function Units (2008)

The full text of this thesis is available from the Newcastle University Library website:

Ellis, M.A., School of Computing Science, University of Newcastle upon Tyne

Computer architectures can use custom logic in addition to general purpose processors to improve performance for a variety of applications. The use of custom logic allows greater parallelism for some algorithms. While conventional CPUs typically operate on words, ne-grained custom logic can improve efficiency for many bit level operations. The commodifcation of field programmable devices, particularly FPGAs, has improved the viability of using custom logic in an architecture. This thesis introduces an approach to reasoning about the correctness of compilers that generate custom logic that can be synthesized to provide hardware acceleration for a given application. Compiler intermediate representations (IRs) and transformations that are relevant to generation of custom logic are presented. Architectures may vary in the way that custom logic is incorporated, and suitable abstractions are used in order that the results apply to compilation for a variety of the design parameters that are introduced by the use of custom logic.