The ever increasing complexity of electronic systems has made designers of MPSoc (Multiprocessor System-on-chip) adopt higher abstraction levels. In this scenario, virtual platforms play an important role. Considering the importance of virtual platforms verification, co-verification mechanisms based on matching execution traces are going to be studied in this project, focusing on comparing the execution trace of the same program in two distinct architectures.