Dissertation
-Benjamim Neil Gerdemann advised by João M. P. Cardoso and Pedro DinizFunctional verification of multi-core processors by combining software simulation with custom configurable hardware emulation techniques PhD Thesis on Department of Computer Science and Engineering, IST, work in progress, [bibTex]